Sylow implies order-dominated

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-dominated subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about Sylow subgroup|Get more facts about order-dominated subgroup

Statement

Statement with symbols

Suppose $G$ is a finite group and $P$ is a $p$ -Sylow subgroup of $G$ . Suppose $H$ is a subgroup of $G$ such that the order of $H$ is a multiple of the order of $P$ (equivalently, the index of $H$ is relatively prime to $P$ ). Then, there exists $g \in G$ such that $g P g^{- 1} \leq H$ .

Facts used

Sylow subgroups exist
Sylow implies order-conjugate: Any two $p$ -Sylow subgroups in a finite group are conjugate.

Proof

Given: A finite group $G$ , a $p$ -Sylow subgroup $P$ of $G$ . A subgroup $H$ of $G$ whose order is a multiple of the order of $P$ .

To prove: There exists $g \in G$ such that $g P g^{- 1} \leq H$ .

Proof:

$H$ has a $p$ -Sylow subgroup, say $Q$ : This follows from fact (1).
$Q$ is also a $p$ -Sylow subgroup of $G$ : This follows from order considerations. Since the order of $P$ divides the order of $H$ , the largest power of $p$ dividing the order of $H$ is the same as the largest power of $p$ dividing the order of $G$ . Thus, a $p$ -Sylow subgroup of $H$ has the correct order for being a $p$ -Sylow subgroup of $G$ .
There exists $g \in G$ such that $g P g^{- 1} = Q$ . In particular, $g P g^{- 1} \leq H$ : This follows from fact (2), and the previous step, which established that both $P$ and $Q$ are $p$ -sylow in $G$ .