Powering-invariance is strongly intersection-closed

This article gives the statement, and possibly proof, of a subgroup property (i.e., powering-invariant subgroup) satisfying a subgroup metaproperty (i.e., strongly intersection-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 strongly intersection-closed subgroup property

Statement

Suppose $G$ is a group, $I$ is an indexing set, and $H_i, i \in I$ is a collection of powering-invariant subgroups of $G$. Then, the intersection of subgroups $\bigcap_{i \in I} H_i$ is also a powering-invariant subgroup of $G$.

Related facts

• Powering-invariance is transitive
• Powering-invariance does not satisfy intermediate subgroup condition
• Powering-invariance is not finite-join-closed