# Order-conjugate and Hall not implies order-dominating

This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., order-conjugate Hall subgroup) neednotsatisfy the second subgroup property (i.e., order-dominating Hall subgroup)

View a complete list of subgroup property non-implications | View a complete list of subgroup property implications

Get more facts about order-conjugate Hall subgroup|Get more facts about order-dominating Hall subgroup

EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property order-conjugate Hall subgroup but not order-dominating Hall subgroup|View examples of subgroups satisfying property order-conjugate Hall subgroup and order-dominating Hall subgroup

## Statement

There can exist a finite group with a Hall subgroup such that the order and index of in are relatively prime, and such that is conjugate to any subgroup of of the same order as , but such that there exists a subgroup math>K</math> of such that the order of divides the order of , but is not contained in .

## Proof

### Example of the alternating group of degree five

`Further information: alternating group:A5, subgroup structure of alternating group:A5`

Suppose is the alternating group on the set . Suppose is the subgroup of that is the alternating group on (it is isomorphic to alternating group:A4). In other words, is the stabilizer of the point . Then, is a Hall subgroup of . Further, is order-conjugate in : the subgroups of the same order as are precisely the stabilizers of points in , and these are conjugate to by suitable -cycles.

On the other hand, consider the subgroup :

.

is a group of order six, isomorphic to the symmetric group of degree three. However, is not contained in any conjugate of , because any conjugate of stabilizes some element, and does not stabilize any element.