Arith / CONCEPT
Effective count of cone points of idealSet K J with a norm residue
Effective count of cone points of idealSet K J with a norm residue.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS1
Effective count of cone points of idealSet K J with a norm residue
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Count ↔ volume bridgestructural-affinity · Closed
- Effective coset lattice-point countstructural-affinity · Closed
- Effective product-ideal residue fibre countstructural-affinity · Closed
- Effective residue count in an orthant cellstructural-affinity · Closed
- Lipschitz frontier cover of an orthant-cut regionstructural-affinity · Closed
- Sublattice cell correspondencestructural-affinity · Closed
- Sublattice cell countstructural-affinity · Closed
- The dvd-density is the full density divided by N(𝔟) (Lang VI §3 Thm 3; GRS Thm 1)structural-affinity · Closed
- The J- and 𝔟J-cone residue counts share a leading constant up to N(𝔟)structural-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