Endomorphism kernel implies quotient-powering-invariant

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., endomorphism kernel) must also satisfy the second subgroup property (i.e., quotient-powering-invariant subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about endomorphism kernel|Get more facts about quotient-powering-invariant subgroup

Statement

Suppose $G$ is a group and $H$ is an endomorphism kernel in $G$ , i.e., $H$ is a normal subgroup of $G$ and there is a subgroup $K$ of $G$ such that $G / H ≅ K$ . Then, $H$ is a quotient-powering-invariant subgroup of $G$ , i.e., for any prime number $p$ such that $G$ is $p$ -powered, so is the quotient group $G / H$ .

Related facts

Proof

This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

Given: A group $G$ , a normal subgroup $H$ of $G$ such that $G / H$ is isomorphic to a subgroup $K$ of $G$ . $G$ is powered over a prime number $p$ .

To prove: $G / H$ is powered over $p$ .

Proof:

Step no.	Assertion/construction	Given data used	Previous steps used	Explanation
1	Let $φ : G \to K$ be the composite of the quotient map $G \to G / H$ and the isomorphism from $G / H$ to $K$ .	$H$ is normal in $G$ and $G / H ≅ K$ .
2	For $g \in K$ , there exists a unique $x \in G$ such that $x^{p} = g$ .	$G$ is powered over $p$ .
3	The $x$ obtained in Step (2) is actually an element of $K$ . In other words, for $g \in K$ , there exists a unique $x \in K$ such that $x^{p} = g$ . So, $K$ is powered over $p$ .		Steps (1), (2)	Suppose $u \in φ^{- 1} ({g})$ (note that such a $u$ exists because the image of $φ$ is $K$ ). Then, since $u \in G$ , there exists $v \in G$ such that $v^{p} = u$ . Thus, $(φ (v))^{p} = φ (u) = g$ , with $φ (v) \in K$ . By the uniqueness of $x$ from Step (2), $φ (v) = x$ . Thus, $x \in K$ .
4	$G / H$ is powered over $p$ .	$G / H ≅ K$ .	Steps (1), (3)	Step (1) says that $G / H ≅ K$ . Step (3) says that $K$ is powered over $p$ . Thus, $G / H$ is powered over $p$ .