NikolovSegal
Navigation page for Blueprint/D5/S3/FiniteGroups/NikolovSegal/ at upstream snapshot b27a6b9d0e4bc3cb6a8527d5d5d13173a32e821b.
Contents
- The Largest Alternating Section Degree
- Orders of Large Alternating Groups
- Crossings in reduced balanced words
- Literal crossings before reduction
- Ordered bounded-small twisted PRODUCT coverage
- Bounded lifts of a fixed quotient tuple
- The algebraic reduction of prescribed coset powers
- Proposition 8.4 and normalized-value inputs
- Movement classification and root selection
- Compressed colour rank and crossing surgery
- Component movement and residual support budgets
- Directed forest reconstruction
- Mixed component reconstruction
- Conditional simultaneous type-I coverage
- Cycle boundaries and genuine commutator values
- Actual cycle and movement counts
- Genuine corrected factor-tuple fibre lower bounds
- Actual type-II component reconstruction
- Signed occurrence balance
- Exact value-link elimination
- Value elimination and reconstruction
- Leaf orders for actual value links
- Value links and powered components
- Normalization by actual cycle-base values
- Retaining unused genuine values
- Component colour and exact support counts
- Balance and support after leaf elimination
- Literal words and twisted products
- Retained literal variables and fibre counting
- Distinct extraction keys
- Fresh final extraction residual
- Actual minimal-normal factor orbits
- Strict growth of finite product sets
- Minimal normal subgroups and smaller quotients
- Generator decomposition under explicit absorption
- Combining invariant product blocks
- Large minimal normal subgroups
- Crossings with arbitrary letter automorphisms
- Ambient conjugacy of the actual factors
- Minimal normal factors and the socle
- Elementary minimal normal structure
- Nikolov-Segal Lemma 2: Supplements and Alternating Sections
- Exact ordered power products
- Signed-word and normalized-value correspondence
- Part II A1RootSupply
- Part II A1ScalarSupply
- Part II A2BareOrbital
- Part II A2ExponentDescent
- Part II A2GraphReconstruction
- Part II A2GraphSupply
- Part II A2GraphTorus
- Part II A2Orbital
- Part II A2RootGeometry
- Part II A2RootNormalization
- Part II A2RootSeparation
- Part II A2ScalarSupply
- Part II A2TorusAlignment
- Part II FieldMaps
- Lemma 4.1 with ordered genuine corrections
- Part II PSL2RootNormalization
- Actual PSL3 BareOrbital
- Actual PSL3 FieldReconstruction
- Actual PSL3 ModelCorrections
- Actual PSL3 RootGeometry
- Actual PSL3 RootSeparation
- Actual PSL3 ScalarSupply
- Actual PSL3 TorusAlignment
- Actual PSL3 UnipotentGeometry
- Actual PSL3 UnipotentNormalizer
- Part II SL2GeneralLinear
- Part II SL2Projective
- Part II SL2RootAlignment
- Part II SL2RootNormalization
- Part II SL2RootSylow
- Part II SL2Scalar
- Part II SL2Semilinear
- Part II SL3UnipotentNormalizer
- Part II SL3UnipotentStructure
- Part II SL3UnipotentSylow
- Part II SL3UnipotentWidth
- Part II SL3UnipotentWidthGeometry
- Part II TransvectionSupply
- Conditional chosen-length centreless assembly
- Quantitative literal extraction
- Closure of the bounded-section class
- Sections of Arbitrary Subgroups
- Simple sections of finite products
- Twisted values generate a noncommutative simple group
- Simple quotients of finite subdirect products
- Simple Sections of Sylow Normalizers
- Actual cycle coordinates and Hall interval selection
- From transitive blocks to conditional absorption
- Hall interval selection on actual permutation cycles
- Identity padding for twisted products
- TypeA
- Conditional all-simple small-large extension
- Unitary