ConceptDynamics / CONCEPT
Signed congruence for the fixed positive-lift cochain
CountedLocalizedGyrationResidue
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH9
DOCUMENT LINKS0
The dyadic cochain recovers the actual forward residue
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Actual kernel quotients and original-power invariantstruth-dependency · Closed
- The fixed localized character on the original reset actiontruth-dependency · Closed
- The rectangular localized cochain equals the same actual positive-word gyration modulo threetruth-dependency · Closed
- The same cochain on a finite unit word and its collapsed edgetruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Actual kernel quotients and original-power invariantsstructural-affinity · Closed
- Actual kernel towers and exact endpoint coordinatesstructural-affinity · Closed
- Kotěšovec's first monomial-sum conjecturestructural-affinity · Closed
- Kotěšovec's second monomial-sum conjecturestructural-affinity · Closed
- Signed support and dense occurrence ranksstructural-affinity · Closed
- Signed time powers of a triangle cocyclestructural-affinity · Closed
- The actual numbered-path triangle modulo threestructural-affinity · Closed
- The binomial polynomial and explicit integral numeratorstructural-affinity · Closed
- The fixed localized character on the original reset actionstructural-affinity · Closed
- The rectangular localized cochain equals the same actual positive-word gyration modulo threestructural-affinity · Closed
- The same cochain on a finite unit word and its collapsed edgestructural-affinity · Closed
- The same ranked-edge weight in natural coordinatesstructural-affinity · Closed
- The same signed integer gyration liftstructural-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