CA-group
In mathematics, in the realm of group theory, a group is said to be a CA-group or centralizer abelian group if the centralizer of any nonidentity element is an abelian subgroup. Finite CA-groups are of historical importance as an early example of the type of classifications that would be used in the Feit–Thompson theorem and the classification of finite simple groups. Several important infinite groups are CA-groups, such as free groups, Tarski monsters, and some Burnside groups, and the locally finite CA-groups have been classified explicitly. CA-groups are also called commutative-transitive groups (or CT-groups for short) because commutativity is a transitive relation amongst the non-identity elements of a group if and only if the group is a CA-group.
History
[edit]Locally finite CA-groups were classified by several mathematicians from 1925 to 1998. First, finite CA-groups were shown to be simple or solvable in (Weisner 1925). Then in the Brauer–Suzuki–Wall theorem (Brauer, Suzuki & Wall 1958), finite CA-groups of even order were shown to be Frobenius groups, abelian groups, or two dimensional projective special linear groups over a finite field of even order, PSL(2, 2f) for f ≥ 2. Finally, finite CA-groups of odd order were shown to be Frobenius groups or abelian groups in (Suzuki 1957), and so in particular, are never non-abelian simple.
CA-groups were important in the context of the classification of finite simple groups. Michio Suzuki showed that every finite, simple, non-abelian, CA-group is of even order. This result was first extended to the Feit–Hall–Thompson theorem showing that finite, simple, non-abelian, CN-groups had even order, and then to the Feit–Thompson theorem which states that every finite, simple, non-abelian group is of even order. A textbook exposition of the classification of finite CA-groups is given as example 1 and 2 in (Suzuki 1986, pp. 291–305). A more detailed description of the Frobenius groups appearing is included in (Wu 1998), where it is shown that a finite, solvable CA-group is a semidirect product of an abelian group and a fixed-point-free automorphism, and that conversely every such semidirect product is a finite, solvable CA-group. Wu also extended the classification of Suzuki et al. to locally finite groups.
Examples
[edit]Every abelian group is a CA-group, and a group with a non-trivial center is a CA-group if and only if it is abelian. The finite CA-groups are classified: the solvable ones are semidirect products of abelian groups by cyclic groups such that every non-trivial element acts fixed-point-freely and include groups such as the dihedral groups of order 4k+2, and the alternating group on 4 points of order 12, while the nonsolvable ones are all simple and are the 2-dimensional projective special linear groups PSL(2, 2n) for n ≥ 2. Infinite CA-groups include free groups, PSL(2, R), and Burnside groups of large prime exponent, (Lyndon & Schupp 2001, p. 10). Some more recent results in the infinite case are included in (Wu 1998), including a classification of locally finite CA-groups. Wu also observes that Tarski monsters are obvious examples of infinite simple CA-groups.
Works cited
[edit]- Brauer, R.; Suzuki, Michio; Wall, G. E. (1958), "A characterization of the one-dimensional unimodular projective groups over finite fields", Illinois Journal of Mathematics, 2 (4B): 718–745, doi:10.1215/ijm/1255448336, ISSN 0019-2082, MR 0104734
- Lyndon, Roger C.; Schupp, Paul E. (2001), Combinatorial group theory, Berlin, New York: Springer-Verlag, ISBN 978-3-540-41158-1, MR 0577064
- Suzuki, Michio (1957), "The nonexistence of a certain type of simple groups of odd order", Proceedings of the American Mathematical Society, 8 (4): 686–695, doi:10.2307/2033280, ISSN 0002-9939, JSTOR 2033280, MR 0086818
- Suzuki, Michio (1986), Group theory. II, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 248, Berlin, New York: Springer-Verlag, ISBN 978-0-387-10916-9, MR 0815926
- Weisner, L. (1925), "Groups in which the normaliser of every element except identity is abelian", Bulletin of the American Mathematical Society, 31 (8): 413–416, doi:10.1090/S0002-9904-1925-04079-3, ISSN 0002-9904, JFM 51.0112.06
- Wu, Yu-Fen (1998), "Groups in which commutativity is a transitive relation", Journal of Algebra, 207 (1): 165–181, doi:10.1006/jabr.1998.7468, ISSN 0021-8693, MR 1643082