FiniteGroups / CONCEPT
From transitive blocks to conditional absorption
An independent transitive simple-group value supplier yields exact large-minimal-normal absorption through the actual factor orbits.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES2
PROOF DEPTH6
DOCUMENT LINKS1
Coverage from actual invariant orbits
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
- Generator decomposition under explicit absorptionstructural-affinity · Closed
- Hall interval selection on actual permutation cyclesstructural-affinity · Closed
- Large minimal normal subgroupsstructural-affinity · Closed
- Minimal normal subgroups and smaller quotientsstructural-affinity · Closed
- Type-A SLn Large Field Productstructural-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