# Finite implies 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., finite subgroup) must also satisfy the second subgroup property (i.e., powering-invariant subgroup)
View all subgroup property implications | View all subgroup property non-implications

## Statement

Suppose $G$ is a group and $H$ is a finite subgroup of $G$. Then, $H$ is a powering-invariant subgroup of $G$. Explicitly, if $p$ is a prime number such that $G$ is powered over $p$, then $H$ is also powered over $p$.

## Proof

Given: A group $G$, a finite subgroup $H$, a prime number $p$ such that the map $x \mapsto x^p$ is bijective from $G$ to itself.

To prove: The map $x \mapsto x^p$, restricted to $H$, is bijective from $H$ to itself.

Proof:

Step no. Assertion/construction Facts used Given data used Previous steps used Explanation
1 The map $x \mapsto x^p$ sends $H$ to within itself. $H$ is a subgroup.
2 The map $x \mapsto x^p$ (restricted to $H$) is injective from $H$ to itself. The map $x \mapsto x^p$ is bijective from $G$ to itself. Step (1) The map is bijective on $G$, hence injective on $G$, hence its restriction to $H$ must also be injective.
3 the map $x \mapsto x^p$ (restricted to $H$) is injective from $H$ to itself. $H$ is finite. Step (2) Since $H$ is finite, any injective map from $H$ to itself must be bijective.
The text passage is a formal mathematical statement and proof regarding the relationship between finite subgroups and powering-invariant subgroups in group theory. It does not contain any explicit mathematical questions or answers to such questions.
no_question
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
# Finite implies 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., finite subgroup) must also satisfy the second subgroup property (i.e., powering-invariant subgroup)
View all subgroup property implications | View all subgroup property non-implications

## Statement

Suppose $G$ is a group and $H$ is a finite subgroup of $G$. Then, $H$ is a powering-invariant subgroup of $G$. Explicitly, if $p$ is a prime number such that $G$ is powered over $p$, then $H$ is also powered over $p$.

## Proof

Given: A group $G$, a finite subgroup $H$, a prime number $p$ such that the map $x \mapsto x^p$ is bijective from $G$ to itself.

To prove: The map $x \mapsto x^p$, restricted to $H$, is bijective from $H$ to itself.

Proof:

Step no. Assertion/construction Facts used Given data used Previous steps used Explanation
1 The map $x \mapsto x^p$ sends $H$ to within itself. $H$ is a subgroup.
2 The map $x \mapsto x^p$ (restricted to $H$) is injective from $H$ to itself. The map $x \mapsto x^p$ is bijective from $G$ to itself. Step (1) The map is bijective on $G$, hence injective on $G$, hence its restriction to $H$ must also be injective.
3 the map $x \mapsto x^p$ (restricted to $H$) is injective from $H$ to itself. $H$ is finite. Step (2) Since $H$ is finite, any injective map from $H$ to itself must be bijective.
user
The text passage is a formal mathematical statement and proof regarding the relationship between finite subgroups and powering-invariant subgroups in group theory. It does not contain any explicit mathematical questions or answers to such questions.

TYPE: NO_QUESTION