# Subgroups of all orders dividing the group order not implies Sylow tower

From Groupprops

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) neednotsatisfy 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

## Statement

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 (?).

## Related facts

## Proof

### Example of the symmetric group

`Further information: symmetric group:S4, subgroup structure of symmetric group:S4`

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.