ConceptDynamics / CONCEPT
Rectangular nilpotence barrier
Nilpotence depth cannot change by more than the number of rectangular exchanges.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES9
PROOF DEPTH0
DOCUMENT LINKS0
Shared cumulative lag witnesses
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- A positive family from given rational matrix unitstruth-dependency · Closed
- Actual kernel quotients and original-power invariantstruth-dependency · Closed
- Baker polynomial obstructiontruth-dependency · Closed
- Coordinates for actual fixed blockstruth-dependency · Closed
- Counted group-labelled overlap codestruth-dependency · Closed
- Counted matrix chains and bounded-window codestruth-dependency · Closed
- First response diamondtruth-dependency · Closed
- Fixed positive partition exchange distancetruth-dependency · Closed
- Original18.3: fixed block rigiditytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A positive family from given rational matrix unitsstructural-affinity · Closed
- Actual kernel quotients and original-power invariantsstructural-affinity · Closed
- Baker polynomial obstructionstructural-affinity · Closed
- Bipartite overlap conjugacystructural-affinity · Closed
- Coordinates for actual fixed blocksstructural-affinity · Closed
- Counted group-labelled overlap codesstructural-affinity · Closed
- Counted matrix chains and bounded-window codesstructural-affinity · Closed
- Endpoint-confined geodesics of partitionsstructural-affinity · Closed
- Equivariant overlap recodingstructural-affinity · Closed
- First response diamondstructural-affinity · Closed
- Fixed positive partition exchange distancestructural-affinity · Closed
- Involution uniform exchangestructural-affinity · Closed
- Original18.3: fixed block rigiditystructural-affinity · Closed
- Prescribed-word realizationstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance