On the ambiguous classes and monogenic orders of a cyclic extension of odd prime degree over \(\mathbb Q\) or an imaginary quadratic field. (Q2563181): Difference between revisions

\(k\) bezeichne den Körper \(\mathbb Q\) der rationalen Zahlen oder einen imaginär quadratischen Zahlkörper. Ferner sei \(K/k\) eine zyklische Erweiterung vom Primzahlgrad \(p\,(\neq 2)\) und \(A_K\) bzw. \(A_k\) seien die ganzen Elemente von \(K\) bzw. \(k\). Verf. beschäftigt sich mit der Frage, wann der Ring \(A_K\) monogen bezüglich \(A_k\), d.h. wann \(A_K=A_k[\theta]\) für ein \(\theta\in A_k\) ist. Ein Ergebnis: Seien \(\mathfrak P_1,\dots,\mathfrak P_t\) die in \(K/k\) verzweigten Primideale von \(K\). Falls \(A_K=A_k[\theta]\), so ist \(\mathfrak P_1,\dots,\mathfrak P_t\) ein Hauptideal, von dem sich ein erzeugendes Element in Beziehung zu \(\theta\) angeben läßt.