Factorization / CONCEPT
Analytic input of the cyclotomic case (Dirichlet's argument)
Analytic input of the cyclotomic case (Dirichlet's argument).
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH17
DOCUMENT LINKS1
Analytic input of the cyclotomic case (Dirichlet's argument)
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
- Analytic Extension of Nontrivial Cyclotomic Artin Seriesstructural-affinity · Closed
- Cyclotomicstructural-affinity · Closed
- Frobenii of coprime-norm primes generate the Galois groupstructural-affinity · Closed
- the degree-one part of T carries the main termstructural-affinity · Closed
- the degree-≥ 2 part of T vanishes in the density ratiostructural-affinity · Closed
- The L2 count as a sum of norm-residue countsstructural-affinity · Closed
- unramified-supported Frobenius-fibre equidistributionstructural-affinity · Closed
- Zeta Productstructural-affinity · Closed
- Zeta Product Factorizationstructural-affinity · Closed
- 𝔓 is the unique prime of 𝓞 L above 𝔓 ∩ 𝓞 Estructural-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