Thompson subgroup

In mathematical finite group theory, the Thompson subgroup [math]\displaystyle{ J(P) }[/math] of a finite p-group P refers to one of several characteristic subgroups of P. John G. Thompson (1964) originally defined [math]\displaystyle{ J(P) }[/math] to be the subgroup generated by the abelian subgroups of P of maximal rank. More often the Thompson subgroup [math]\displaystyle{ J(P) }[/math] is defined to be the subgroup generated by the abelian subgroups of P of maximal order or the subgroup generated by the elementary abelian subgroups of P of maximal rank. In general these three subgroups can be different, though they are all called the Thompson subgroup and denoted by [math]\displaystyle{ J(P) }[/math].

See also

• Glauberman normal p-complement theorem
• ZJ theorem
• Puig subgroup, a subgroup analogous to the Thompson subgroup

References

• Gorenstein, Daniel; Lyons, Richard; Solomon, Ronald (1996), The classification of the finite simple groups. Number 2. Part I. Chapter G, Mathematical Surveys and Monographs, 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0390-5, http://www.ams.org/online_bks/surv402 
• Thompson, John G. (1964), "Normal p-complements for finite groups", Journal of Algebra 1: 43–46, doi:10.1016/0021-8693(64)90006-7, ISSN 0021-8693 
• Thompson, John G. (1969), "A replacement theorem for p-groups and a conjecture", Journal of Algebra 13: 149–151, doi:10.1016/0021-8693(69)90068-4, ISSN 0021-8693