Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Proves property satisfaction of::Powering-invariant subgroup]] was answered by the SMWSQLStore3 in 0.0022 seconds.


Results 1 – 11    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
 UsesFact about
C-closed implies powering-invariantC-closed implies local powering-invariant
Local powering-invariant implies powering-invariant
C-closed subgroup (2)
Powering-invariant subgroup (2)
Characteristic subgroup of abelian group implies powering-invariantAbelian implies universal power map is endomorphismCharacteristic subgroup of abelian group (2)
Powering-invariant subgroup (2)
Derived subgroup not is powering-invariantSdf (1)
Property (2)
Divisibility-closed implies powering-invariantDivisibility-closed subgroup (2)
Powering-invariant subgroup (2)
Endomorphism image implies powering-invariantEndomorphism image implies divisibility-closed
Divisibility-closed implies powering-invariant
Endomorphism image (2)
Powering-invariant subgroup (2)
Every normal subgroup satisfies the quotient-to-subgroup powering-invariance implicationQuotient-powering-invariant subgroup (2)
Powering-invariant subgroup (2)
Finite implies powering-invariantFinite subgroup (2)
Powering-invariant subgroup (2)
Finite index implies powering-invariantPoincare's theorem
Normal of finite index implies quotient-powering-invariant
Finite implies powering-invariant
Powering-invariant over quotient-powering-invariant implies powering-invariant
Subgroup of finite index (2)
Powering-invariant subgroup (2)
Powering-invariance is centralizer-closedC-closed implies powering-invariantPowering-invariant subgroup (1)
Centralizer-closed subgroup property (2)
Powering-invariance is strongly intersection-closedPowering-invariant subgroup (1)
Strongly intersection-closed subgroup property (2)
Powering-invariance is transitivePowering-invariant subgroup (1)
Transitive subgroup property (2)