Subgroups of infinite symmetric groups which are full for large sets (Q1320167)

This elegant paper uses a single construction to answer three questions on maximal subgroups of infinite symmetric groups. If \(\Omega\) is a set, \(G\leq\text{Sym}(\Omega)\), and \(\Gamma\subseteq\Omega\), then \(G\) is full for \(\Gamma\) if every permutation of \(\Gamma\) extends to an element of \(G\). The main theorem states that if \(\Omega\) has infinite cardinality \(\kappa\), \(\lambda\leq\kappa\) with \(2^ \lambda=2^ \kappa\), and \(A= A_ 0\cup A_ 1\cup A_ 2\) where the \(A_ i\) are disjoint subsets of \(\Omega\) such that \(| A_ i|=\lambda\) and \(|\Omega\setminus A|=\kappa\), then there is a proper subgroup \(G <\text{Sym}(\Omega)\), containing permutations with support of size less then \(\lambda\), and full for each set \(A_ i\cup (\Omega\setminus A)\). This has the following corollaries. (1) With \(\Omega\) as above, there is a maximal subgroup \(H\) of \(\text{Sym}(\Omega)\) and set \(\Gamma,\Delta\subseteq\Omega\) such that \(|\Gamma\cap\Delta|=\min\{|\Gamma|,|\Delta|\}\), such that \(H\) is full for \(\Gamma\) and \(\Delta\) but not for \(\Gamma\cup\Delta\). (2) With \(\Omega\) as above, there is a maximal subgroup \(H\) of \(\text{Sym}(\Omega)\) and a moiety \(\Gamma\) of \(\Omega\) such that \(H\) is full for \(\Gamma\) but is not the stabilizer of any proper quasi-ideal. (A quasi-ideal on \(\Omega\) is a non-empty family \(F\) of subsets of \(\Omega\) closed under subsets, such that if \(\Gamma,\Delta\in F\) then either \(\Gamma\cup\Delta\in F\) or \(|\Gamma\cap\Delta| <\kappa\).) (3) Assume there is \(\lambda <\kappa\) with \(2^ \lambda= 2^{\kappa}\). Then there is a maximal subgroup \(H\) of \(\text{Sym}(\Omega)\) and a subset \(\Gamma\subseteq\Omega\) with \(|\Omega\setminus\Gamma| <\kappa\), such that \(H\) is full for \(\Gamma\) but \(H\) is not the stabilizer of any ideal on \(\Omega\).