Normal subgroup satisfying the subgroup-to-quotient powering-invariance implication
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Suppose is a normal subgroup of a group . We say that satisfies a subgroup-to-quotient powering-invariance implication if for any prime such that both and are powered over , the quotient group is also powered over .