CA group

This article needs additional citations for verification. Please help improve this article by adding reliable references. Unsourced material may be challenged and removed. (November 2009)

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please improve this article by introducing more precise citations where appropriate. (November 2009)

This article is in need of attention from an expert on the subject. WikiProject Mathematics or the Mathematics Portal may be able to help recruit one. (November 2009)

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 CT groups 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

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 (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,2^f) 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–299). 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

Every abelian group is a CA group, and a group with a non-trivial center is a CA group iff it is abelian. The finite CA groups are classified, and include groups such as the dihedral groups of order 4k+2, and the alternating group on 4 points of order 12. Infinite CA groups include free groups, the PSL2(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.

Properties

Any maximal abelian subgroup of a finite CA group is a SA subgroup, i.e., it equals the centralizer of every nonidentity element in it.

References

• 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: 718–745, MR0104734, ISSN 0019-2082 
• Schupp, Paul E.; Lyndon, Roger C. (2001), Combinatorial group theory, Berlin, New York: Springer-Verlag, MR0577064, ISBN 978-3-540-41158-1 
• Suzuki, Michio (1957), "The nonexistence of a certain type of simple groups of odd order", Proceedings of the American Mathematical Society 8: 686–695, doi:10.2307/2033280, MR0086818, ISSN 0002-9939 
• Suzuki, Michio (1986), Group theory. II, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 248, Berlin, New York: Springer-Verlag, MR815926, ISBN 978-0-387-10916-9 
• Weisner, L. (1925), "Groups in which the normaliser of every element except identity is abelian." (in English), Bulletin of the American Mathematical Society 31: 413–416, doi:10.1090/S0002-9904-1925-04079-3, JFM 51.0112.06, ISSN 0002-9904 
• 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, MR1643082, ISSN 0021-8693 

This algebra-related article is a stub. You can help Wikipedia by expanding it. v • d • e