Tšebotarevin tiheyslause

Olkoon $L/K$ $K$:n Galois'n laajennus Galois'n ryhmänään $G$. Asetetaan kaikille $K$:n alkuideaaleille ${\mathfrak {p}}$, jotka ovat haarautumattomia $L$:ssä, $({\mathfrak {p}},L/K):=\{({\mathfrak {P}},L/K)|{\mathfrak {P}}|{\mathfrak {p}}\}$. Tämä on $G$:n konjugaattiluokka.

Tšebotarevin tiheyslause: Olkoon $L/K$ lukukuntien äärellinen laajennus Galois'n ryhmänään $G$ ja olkoon $C$ $G$:n konjugaattiluokka. Tällöin niiden $K$:n alkuideaalien joukko, jolle $({\mathfrak {p}},L/K)=C$, on Dirichlet'n tiheys $|C|/|G|$ kaikkien $K$:n alkuideaalien joukossa. Erityisesti jos $G$ on Abelin ryhmä, kaikilla kiinnitetyillä $\tau \in G$, joukon $K$ niiden alkuideaalien ${\mathfrak {p}}$ joukolla, jolle $({\mathfrak {p}},L/K)=\tau$, on tiheys $(G:1)$.

Lause todistetaan yleensä luokkakuntateorian avulla, mutta lauseelle on esitetty myös alkeellisia todistuksia (Fried, Jarden:Field Arithmetic) samoin kuin algebralliseen lukuteoriaan perustuva todistus (Schoof: Catalan's Conjecture).

Lähteet

• Milne, J. S.: Class field theory.