Abstract:The maximality of Abelian subgroups play a role in various parts of group theory. For example, Mycielski has extended a classical result of Lie groups and shown that a maximal Abelian subgroup of a compact connected group is connected and, furthermore, all the maximal Abelian subgroups are conjugate. For finite symmetric groups the question of the size of maximal Abelian subgroups has been examined by Burns and Goldsmith in 1989 and Winkler in 1993. We show that there is not much interest in generalizing this study to infinite symmetric groups; the cardinality of any maximal Abelian subgroup of the symmetric group of the integers is 2^{aleph_0}. Our purpose is also to examine the size of maximal Abelian subgroups for a class of groups closely related to the the symmetric group of the integers; these arise by taking an ideal on the integers, considering the subgroup of all permutations which respect the ideal and then taking the quotient by the normal subgroup of permutations which fix all integers except a set in the ideal. We prove that the maximal size of Abelian subgroups in such groups is sensitive to the nature of the ideal as well as various set theoretic hypotheses.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper mainly explores the cardinality (i.e., the number of elements) of maximal abelian subgroups in the quotient groups of the integer permutation group under certain ideals. Specifically, the authors study the following problems:
1. **The size of maximal abelian subgroups**: For some classes of groups closely related to the integer permutation group, calculate the maximum cardinality of their maximal abelian subgroups. These groups are obtained by taking an ideal of integers, considering all permutations that preserve this ideal, and taking the quotient of the normal subgroup consisting of permutations that fix almost all integers.
2. **The influence of ideals and set - theoretic assumptions**: Study how the size of maximal abelian subgroups depends on the properties of the selected ideal and various set - theoretic assumptions. For example, different ideals may lead to maximal abelian subgroups of different sizes.
3. **Distinguishing isomorphism types**: Use the cardinality of maximal abelian subgroups as a tool to distinguish the isomorphism types of different quotient groups. This helps to understand the structural differences between these quotient groups.
4. **The application of cardinal invariants**: Introduce and study some cardinal invariants related to maximal abelian subgroups (such as \(A(I)\)), and explore the properties of groups through these invariants.
5. **Consistency results**: Prove some consistency results about these cardinal invariants, showing the possible value ranges in different models. For example, in the iterated Laver model, \(A([N]^{<\aleph_0})\) is strictly less than \(a\).
6. **The influence of other ideals**: Explore the situation when using other ideals (such as density ideals), and prove that for many such ideals \(I\), \(A(I) = 2^{\aleph_0}\).
In summary, this paper aims to gain an in - depth understanding of the properties of maximal abelian subgroups and their behavior under different ideals and set - theoretic assumptions, providing new perspectives and tools for the study of group theory and set theory.