Chebotarev density theorem

《A First Course in Modular Forms》 · 第 371 页 · Section 9.1「Galois number fields」, Theorem 9.1.2

Theorem 9.1.2 (Tchebotarov Density Theorem, weak version). Let $F$ be a Galois number field. Then every element of $\operatorname{Gal}(F/\mathbb Q)$ takes the form $\operatorname{Frob}_{\mathfrak p}$ for infinitely many maximal ideals $\mathfrak p$ of $\mathcal O_F$.