Factorization / CONCEPT
Frobenii of coprime-norm primes generate the Galois group
Frobenii of coprime-norm primes generate the Galois group.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES3
PROOF DEPTH5
DOCUMENT LINKS1
Frobenii of coprime-norm primes generate the Galois group
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 input of the cyclotomic case (Dirichlet's argument)structural-affinity · Closed
- Coprime Prime Sumstructural-affinity · Closed
- Count ↔ volume bridgestructural-affinity · Closed
- Cyclotomicstructural-affinity · Closed
- Density of a finite set of primes is 0structural-affinity · Closed
- Frobeniusstructural-affinity · Closed
- Prime Ideal Log Tailstructural-affinity · Closed
- Prime-ideal Euler productstructural-affinity · Closed
- The L2 count as a sum of norm-residue countsstructural-affinity · Closed
- unramified-supported Frobenius-fibre equidistributionstructural-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