FiniteGroups / CONCEPT
The Largest Alternating Section Degree
The alternating section degrees of a finite group form a nonempty bounded set whose supremum is attained.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS1
The supremum is an attained maximum
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 minimal-normal factor orbitsstructural-affinity · Closed
- Bounded lifts of a fixed quotient tuplestructural-affinity · Closed
- Closure of the bounded-section classstructural-affinity · Closed
- Large minimal normal subgroupsstructural-affinity · Closed
- Nikolov-Segal Lemma 2: Supplements and Alternating Sectionsstructural-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
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance