Subgroups of infinite symmetric groups which are full for large sets
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\).
- scientific article; zbMATH DE number 4146227 (Why is no real title available?)
- Subgroups of small Index in infinite Symmetric Groups
- scientific article; zbMATH DE number 4035820 (Why is no real title available?)
- Implausible Subgroups of Infinite Symmetric Groups
- Subgroups of Infinite Symmetric Groups
- Maximal Subgroups of Infinite Symmetric Groups
- Maximal Subgroups of Infinite Symmetric Groups
- Stabilizers of Trivial Ideals
- scientific article; zbMATH DE number 887773 (Why is no real title available?)
- scientific article; zbMATH DE number 938700 (Why is no real title available?)
- Possible cardinalities of maximal abelian subgroups of quotients of permutation groups of the integers
- Large totally symmetric sets
- Maximal subgroups of infinite symmetric groups
This page was built for publication: Subgroups of infinite symmetric groups which are full for large sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320167)
