FiniteGroups / CONCEPT
Nikolov-Segal Lemma 2: Supplements and Alternating Sections
Every normal subgroup of a finite group has a supplement controlling all alternating sections of degree at least five and the largest alternating section degree.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
Sections descend through the quotient
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
- Bounded lifts of a fixed quotient tuplestructural-affinity · Closed
- Closure of the bounded-section classstructural-affinity · Closed
- Gaschutz Lifting with an Arbitrary Fixed Setstructural-affinity · Closed
- Generator decomposition under explicit absorptionstructural-affinity · Closed
- Large minimal normal subgroupsstructural-affinity · Closed
- Orders of Large Alternating Groupsstructural-affinity · Closed
- Sections of Arbitrary Subgroupsstructural-affinity · Closed
- Simple sections of finite productsstructural-affinity · Closed
- Simple Sections of Sylow Normalizersstructural-affinity · Closed
- The Largest Alternating Section Degreestructural-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