Order of Group Element equals Order of Coprime Power/Corollary
Jump to navigation
Jump to search
Corollary to Order of Group Element equals Order of Coprime Power
Let $\struct {G, \circ}$ be a group whose identity is $e$.
Let $g \in G$ be an element of $g$.
Let $\order g$ denote the order of $g$ in $G$.
Let $H \le G$ be a subgroup of $G$.
Let $\order g = n$.
Let $g^m \in H$.
Let $m$ and $n$ be coprime.
Then $g \in H$.
Proof
From Order of Group Element equals Order of Coprime Power:
- $m \perp n \iff \order {g^m} = \order g$
As $\order g = n$ and $n \perp m$, from Power of Generator of Cyclic Group is Generator iff Power is Coprime with Order:
- $\gen g = \gen {g^m}$
Thus as $g^m \in H$ it follows that $\gen {g^m} \le H$
Hence $\gen g \le H$.
The result follows.
$\blacksquare$
Sources
- 1978: John S. Rose: A Course on Group Theory ... (previous) ... (next): $0$: Some Conventions and some Basic Facts: Exercise $12$