Several classes of maximal subgroups of symmetric groups \(S=\text{Sym}(\Omega)\) where \(|\Omega|=\kappa\) is infinite are investigated. A collection \(\mathcal I\) of subsets of \(\Omega\) is called an ideal on \(\Omega\) if \(\emptyset\in{\mathcal I}\), \(\Omega\notin{\mathcal I}\), and \(\mathcal I\) is closed under taking subsets and finite unions. (So the concept of an ideal is dual to that of a filter.) The stabiliser of a collection \(\mathcal K\) of subsets of \(\Omega\) is by definition \(S_{\mathcal K}=\{g\mid g\in S\) and \(\Gamma\in{\mathcal K}\) iff \(\Gamma^g\in{\mathcal K}\) for all \(\Gamma\subseteq\Omega\}\). A moiety of \(\Omega\) is by definition a subset \(\Gamma\subseteq\Omega\) such that \(|\Gamma|=\kappa=|\Omega\setminus\Gamma|\). It has been proved by the second author [in: Finite and infinite combinatorics in sets and logic, Proc. NATO ASI Conf., Banff 1991, NATO ASI Ser., Ser. C, Math. Phys. Sci. 411, 249-278 (1993; Zbl 0845.20004)] that if \(\mathcal I\) is an ideal on \(\Omega\) containing a moiety, and \(S_{\{\mathcal I\}}\) has 3 orbits on moieties on \(\Omega\), then \(S_{\{{\mathcal I}\}}\) is a maximal subgroup of \(S\). In the present paper certain ideals derived from homogeneous structures are shown to fulfill this condition; thus they yield maximal subgroups of \(S\). Also some ideals related to finite wreath power decompositions \(\Omega\cong\Gamma^n\) (wreath products in primitive `product action') are shown to yield maximal subgroups of \(S\). The example types may be viewed as infinite analogues of two types in the O'Nan-Scott Theorem for finite primitive permutation groups.