Factorization / CONCEPT
Principal Classes and Faithful Prime Counts
The class map detects principality, while every integer prime count detects ideals.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
The trivial ideal class is exactly the principal locus
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
- A Local-to-Global Principal-Ideal Gapstructural-affinity · Closed
- A Norm-Two Ideal in the Minus-Five Quadratic Orderstructural-affinity · Closed
- Dirichlet Unit Completionstructural-affinity · Closed
- Factorized Transcript Kernel Barrierstructural-affinity · Closed
- Fractional-Ideal Prime-Valuation Faithfulnessstructural-affinity · Closed
- Ideal Identity, Principality, and Generator Coordinatesstructural-affinity · Closed
- Ideal Recovery Does Not Imply Principalitystructural-affinity · Closed
- Local Principality Is Blind to the Global Ideal Classstructural-affinity · Closed
- Three Completion Tasksstructural-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