FiniteGroups / CONCEPT
Generator decomposition under explicit absorption
Finite-order induction gives the generator decomposition with a fixed exact power-product length under a uniform minimal-normal absorption premise.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Complete induction for every finite group
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual cycle coordinates and Hall interval selectionstructural-affinity · Closed
- Actual minimal-normal factor orbitsstructural-affinity · Closed
- Ambient conjugacy of the actual factorsstructural-affinity · Closed
- Bounded lifts of a fixed quotient tuplestructural-affinity · Closed
- Closure of the bounded-section classstructural-affinity · Closed
- Combining invariant product blocksstructural-affinity · Closed
- Elementary minimal normal structurestructural-affinity · Closed
- Exact ordered power productsstructural-affinity · Closed
- From transitive blocks to conditional absorptionstructural-affinity · Closed
- Gaschutz Lifting with an Arbitrary Fixed Setstructural-affinity · Closed
- Hall interval selection on actual permutation cyclesstructural-affinity · Closed
- Minimal normal factors and the soclestructural-affinity · Closed
- Minimal normal subgroups and smaller quotientsstructural-affinity · Closed
- Nikolov-Segal Lemma 2: Supplements and Alternating Sectionsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance