Chebotarev

Navigation page for Blueprint/D5/S3/Factorization/Galois/Chebotarev/ at upstream snapshot 7bc32008ac7f566ff13e4bf16746989cfbaa3114.

Contents

• Chebotarev’s theorem, abelian case
• Abelian Crossing
• Cyclotomic
• Analytic input of the cyclotomic case (Dirichlet’s argument)
• Disjoint cyclotomic-crossing Frobenius fibres
• Frobenii of coprime-norm primes generate the Galois group
• Density-lift through the fixed-field subextension
• 𝔓 is the unique prime of 𝓞 L above 𝔓 ∩ 𝓞 E
• the degree-≥ 2 part of T vanishes in the density ratio
• the degree-one part of T carries the main term
• Frobenius
• Chebotarev Density Theorem