Arith / CONCEPT
Effective product-ideal residue fibre count
Effective product-ideal residue fibre count.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS1
Effective product-ideal residue fibre count
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
- Effective coset lattice-point countstructural-affinity 路 Closed
- Effective count of cone points of idealSet K J with a norm residuestructural-affinity 路 Closed
- Effective residue count in an orthant cellstructural-affinity 路 Closed
- Fourier decay from realized residuesstructural-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
- Zeta Product Arithmeticstructural-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