Vol. 19, No. 1, 1966

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
On a theorem of Philip Hall

Daniel E. Gorenstein

Vol. 19 (1966), No. 1, 77–80
Abstract

Lemma 8.2 of “Solvability of Groups of Odd Order” by W. Feit and J. G. Thompson asserts that every finite p-group P possesses a characteristic subgroup C of class at most 2 with the following properties: (i) C∕Z(C) is elementary abelian, (ii) CP(C) = Z(C), and (iii) [P,C] Z(C). Subgroups of essentially the same type were used by Thompson in an earlier paper “Normal p-complements for Finite Groups”. We shall call a subgroup with these properties a critical subgroup of P.

If C is an arbitrary characteristic subgroup of P such that CP(C) = Z(C), it is easily seen that any nontrivial p-automorphism of P remains nontrivial when restricted to C. This property of critical subgroups together with the restriction on their class are the crucial ones for the applications. However, in the present note we shall show that they can also be used to obtain a rather direct proof of a frequently quoted, unpublished,1 theorem of Philip Hall which gives the structure of all p-groups having no noncyclic characteristic abelian subgroups.

Mathematical Subject Classification
Primary: 20.40
Milestones
Received: 8 December 1965
Published: 1 October 1966
Authors
Daniel E. Gorenstein