ConceptDynamics / CONCEPT
The Joint Kernel of All Finite Quotients
All finite quotients jointly detect exactly the complement of the finite residual.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS1
The joint finite-quotient kernel is the finite residual
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
RELATED KNOWLEDGE
Structural connections
- Bundled Finite Quotient Residual Hierarchystructural-affinity · Closed
- CRT as a Nilpotent Abelian Victorystructural-affinity · Closed
- Finite Prime-Power Quotient Completenessstructural-affinity · Closed
- Finite Quotient Languages and Their Residual Hierarchystructural-affinity · Closed
- Prime-Power and Finite-Quotient Separation for A5structural-affinity · Closed
- Triviality of Homomorphisms from A5 to Finite P-Groupsstructural-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