Group having a Sylow tower
From Groupprops
This article defines a property that can be evaluated for finite groups (and hence, a particular kind of group property)
View other properties of finite groups OR View all group properties
Contents
Definition
A group having a Sylow tower is a finite group that possesses a Sylow tower: a normal series such that the successive quotient groups of the normal series all have orders that are powers of primes, and for each dividing the order of , there is a unique quotient that is a -subgroup and this group is isomorphic to a -Sylow subgroup of .
In other words, there exists a normal series:
such that for every dividing the order of , there exists a unique such that is isomorphic to a -Sylow subgroup of .
Relation with other properties
Stronger properties
Weaker properties
Incomparable properties
- Group having subgroups of all orders dividing the group order: For full proof, refer: Sylow tower not implies subgroups of all orders dividing the group order, Subgroups of all orders dividing the group order not implies Sylow tower
References
Textbook references
- Finite Groups by Daniel Gorenstein, ISBN 0821843427, Page 258, Chapter 7 (Fusion, transfer and p-factor groups), Section 7.6 (Elementary applications), ^{More info}