In mathematical finite group theory, Thompson's original uniqueness theorem (Feit & Thompson 1963, theorems 24.5 and 25.2) states that in a minimal simple finite group of odd order there is a unique maximal subgroup containing a given elementary abelian subgroup of rank 3. Bender (1970) gave a shorter proof of the uniqueness theorem.
References
- Bender, Helmut (1970), "On the uniqueness theorem", Illinois Journal of Mathematics. 14 (3): 376–384, doi:10.1215/ijm/1256053074. ISSN 0019-2082. MR 0262351
- Bender, Helmut & Glauberman, George (1994), Local analysis for the odd order theorem, Vol. 188, London Mathematical Society Lecture Note Series, Cambridge University Press, ISBN 978-0-521-45716-3. MR 1311244
- Feit, Walter & Thompson, John G. (1963), "Solvability of groups of odd order", Pacific Journal of Mathematics. 13: 775–1029, doi:10.2140/pjm.1963.13.775. ISSN 0030-8730. MR 0166261