Subgroups of all orders dividing the group order not implies Sylow tower
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
It is possible to have a group such that has subgroups of order for every natural number dividing the order of , but such that does not possess a Sylow tower (?).
Example of the symmetric group
The symmetric group of degree four has subgroups of every order dividing its order. There are cyclic subgroups of order ; there is a dihedral Sylow subgroup of order ; there is a symmetric group on three elements of order , and there is an alternating group of order .
On the other hand, this group does not possess a Sylow tower, because neither its -Sylow subgroups nor its -Sylow subgroups are normal.