A note on units in super-cyclic fields. (Q2620163)

Die Beweise folgender Sätze werden skizziert: Ist \(K\) eine endliche Erweiterung des Körpers \(k(\zeta )\) der \(l\)-ten Einheitswurzeln (\(l\) Primzahl \(\neq 2\)), so ist jede primäre Einheit von \(k\) gleich der \(l\)-ten Potenz einer Einheit von \(K\), falls die Klassenzahl von \(K\) prim zu \(l\) ist. - Ist \(l\) nicht regulär, so ist die Kreiseinheit \[ E_n = \prod _{i=0}^d \varepsilon (\zeta ^{ri})^{r^{-2in}} \text{ mit } \;d = \frac {l-3}{2}, \;\varepsilon = \left (\frac {(l-\zeta ^r)(1-\zeta ^{-r})}{(1-\zeta )(1-\zeta ^{-1})}\right )^{\frac 12} \] keine \(l^2\)-te Potenz einer Einheit von \(k(\zeta )\), wenn nur \(r^{l-1} \neq 1 (\mod l^2).\) - Der letzte Satz stützt sich auf eine vom Verf. früher nachgewiesene Eigenschaft der \textit{Bernoullis}chen Zahlen (1929; F. d. M. \(55_{\text{II}}\), 701).