Powering-invariance is union-closed

This article gives the statement, and possibly proof, of a subgroup property (i.e., powering-invariant subgroup) satisfying a subgroup metaproperty (i.e., union-closed subgroup property)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about powering-invariant subgroup |Get facts that use property satisfaction of powering-invariant subgroup | Get facts that use property satisfaction of powering-invariant subgroup|Get more facts about union-closed subgroup property

Statement

Suppose $G$ is a group and $H_i,i\in I$ is a collection of powering-invariant subgroups of $G$. Suppose the union ${\bigcup }_{i\in I}{H}_i$ is a subgroup of $G$ (and hence is also the same as the join of subgroups $⟨H_i{⟩}_{i\in I}$). Then, this union of also a powering-invariant subgroup of $G$.

Related facts

• Quotient-powering-invariance is union-closed
• Powering-invariance is not finite-join-closed

Proof

Given: $G$ is a group and $H_i,i\in I$ is a collection of powering-invariant subgroups of $G$. The union $H={\bigcup }_{i\in I}{H}_i$ is a subgroup of $G$. $G$ is powered over a prime $p$. An element $g\in H$.

To prove: There exists $x\in H$ such that $x^p=g$.

Proof:

Step no.	Assertion/construction	Facts used	Given data used	Previous steps used	Explanation
1	There exists $i\in I$ such that $g\in H_i$.		$H$ is the union of $H_i,i\in I$, $g\in H$.		Follows directly from given.
2	$H_i$ is $p$-powered.		$G$ is $p$-powered, $H_i$ is powering-invariant in $G$.		Directly from given data used.
3	There exists $x\in H_i$ such that $x^p=g$.			Steps (1), (2)	direct from steps.
4	There exists $x\in H$ such that $x^p=g$.		$H$ is the union of $H_i,i\in I$	Step (3)	Step-given direct.