Factorization / CONCEPT
A Norm-Two Ideal in the Minus-Five Quadratic Order
The standard two-generator ideal in the minus-five quadratic order has quotient norm two.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
The standard ideal has quotient norm two
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
- Degree Zero Does Not Reconstruct Global Datastructural-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
- Local Principality Is Blind to the Global Ideal Classstructural-affinity · Closed
- Principal Classes and Faithful Prime Countsstructural-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