Sylow tower not implies subgroups of all orders dividing the group order
This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group having subgroups of all orders dividing the group order) need not satisfy the second group property (i.e., group having a Sylow tower)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about group having subgroups of all orders dividing the group order|Get more facts about group having a Sylow tower
Example of the alternating group
Further information: alternating group:A4
The alternating group of degree four has a Sylow tower. Explicitly, if is the alternating group on , the Sylow tower of is given by:
However, the group has no subgroup of order six. To see this, note that any subgroup of order six must contain an element of order two and an element of order three. But picking any element of order two and any element of order three generates the whole group.