# Sylow implies order-conjugate

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., Sylow subgroup) must also satisfy the second subgroup property (i.e., order-conjugate subgroup)

View all subgroup property implications | View all subgroup property non-implications

Get more facts about Sylow subgroup|Get more facts about order-conjugate subgroup

## Contents

## Statement

### Statement with symbols

There are two formulations:

- Any two -Sylow subgroups of a finite group are conjugate subgroups.
- Suppose is a -Sylow subgroup of a finite group , and is a subgroup of of the same order as . Then and are conjugate in .

The equivalence of the formulations follows from the fact that the condition of being a -Sylow subgroup is completely determined by the order.

## Related facts

### Other parts of Sylow's theorem

- Sylow subgroups exist
- Sylow implies order-dominating: A stronger formulation of the result, that can be used to prove it.
- Congruence condition on Sylow numbers: Another corollary of one of the proofs of this result.
- Divisibility condition on Sylow numbers

All these facts together are known as Sylow's theorem.

### Applications

- Sylow implies isomorph-conjugate
- Sylow implies intermediately isomorph-conjugate
- Sylow implies automorph-conjugate
- Sylow implies intermediately automorph-conjugate
- Sylow implies procharacteristic
- Sylow implies pronormal
- Sylow of normal implies pronormal

## Facts used

- Sylow implies order-dominating: This states that if is -Sylow and is a -subgroup, there exists a conjugate of such that .
- Order-dominating implies order-conjugate in finite

## Proof

### Proof using order-domination

This proof follows directly from facts (1) and (2).

### Proof using a group action

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]