Über komplexe Einheiten. (Q1496858)

\textit{Kummer} hat den Satz bewiesen, daß im Körper der \(\lambda\)-ten Einheitswurzel \(\alpha \;(\lambda\) eine ungerade Primzahl) eine ganze Zahl \(f(\alpha )\) eine \(2\lambda\)-te Einheitswurzel ist, falls \[ f(\alpha )f(\alpha^{-1})=1. \] \textit{Kronecker} hat allgemeiner gezeigt, daß im Körper der primitiven \(n\)-ten Einheitswurzel \(\omega\) der Quotient \(\frac {E(\omega^{-1})}{E(\omega )}\) eine \(n\)-te, resp. \(2n\)-te Einheitswurzel ist, falls \(E\) eine Einheitswurzzel ist. Der Verf. gibt hiervon neue Beweise. Mit Hülfe des \textit{Kronecker}schen Satzes, daß der absolute Betrag einer Einheit des Körpers \((\omega )\) gleich 1 ist, zeigt er für \(f(\omega )f(\omega^{-1})=1\): \[ f(\omega )^p=f(\omega^p) \] für jede ungerade Primzahl \(p\), also allgemein \[ f(\omega )^m=f(\omega^m). \] Nimmt man hier \(m=n+1\) oder \(2n+1\), je nachdem \(n\) gerade oder ungerade ist, so wird \(f(\omega )^n=1\), resp. \(f(\omega )^{2n}=1\). Wendet man dieses Resultat auch auf \(f(\omega )=\frac {E(\omega )}{E(\omega^{-1})}\) an, so findet sich einfach die \textit{Kronecker}sche Behauptung bewiesen.