Kreisteilungsring/Zerlegungsgruppe/Frobenius/Bemerkung

Nach Fakt in Verbindung mit Fakt und Fakt operiert die Galoisgruppe

$\mathrm{Gal}(\mathbb{Q}/K_n)\cong {(\mathbb{Z}/(n))}^{\times }$

auf dem $n$-ten Kreisteilungsring

$R_n=\mathbb{Z}[X]/\left({\mathrm{\Phi }}_n\right)$

derart, dass  $a\in {(\mathbb{Z}/(n))}^{\times }$  durch die Substitution $X\mapsto X^a$ wirkt. Es sei $q$ eine Primzahl, die kein Teiler von $n$ sei, und es sei $𝔮$ ein Primideal oberhalb von $(q)$. Das Element $q$ gehört zur Einheitengruppe ${(\mathbb{Z}/(n))}^{\times }$, seine Ordnung sei $f$, vergleiche Fakt. Zu $q$ gehört der Automorphismus $\psi$ von $R_n$, der $X$ auf die $q$-te Potenz von $X$ abbildet, wobei dies nur von der Restklasse von $q$ modulo $n$ abhängt. Dieser stimmt auf dem Faserring $R_n/(q)R_n$ der Charakteristik $q$ mit dem Frobeniushomomorphismus überein, da er auf einem Erzeuger damit übereinstimmt und da der Frobenius auf $\mathbb{Z}/(q)$ die Identität ist. Daher gilt  $\psi (𝔮)=𝔮$  nach Aufgabe und $\psi$ gehört zur Zerlegungsgruppe $G_{𝔮}$. Da $q$ die Ordnung $f$ besitzt, und die Zerlegungsgruppe nach Fakt  (4) $f$ Elemente besitzt, wird die Zerlegungsgruppe von diesem Element erzeugt. Da $\psi$ auf dem Faserring den Frobenius induziert, gilt dies auch auf dessen Restekörpern. Somit wird unter der in Fakt  (3) beschriebenen natürlichen Korrespondenz zwischen der Zerlegungsgruppe und der Galoisgruppe der Restekörpererweiterungen die Substitution $X\mapsto X^q$ auf den Frobenius abgebildet. Damit ist insbesondere zu jeder Primzahl $q$ das Frobenius-Element (siehe Bemerkung) im Fall von Kreisteilungsringen explizit gegeben.