On a property of units representable as sums of complex numbers satisfying the equation \(\alpha^{\lambda}=1\), and on the second factor of the class number. (Q1564483)

Die Einheiten der complexen Zahlen sind, wenn man von einfachen Einheitswurzeln absieht, welche als Factoren heraustreten können, stets reelle Grössen. Ist die Einheit das Quadrat einer andern, so bildet dieselbe mit allen ihren conjugirten Werthen eine Reihe positiver Grössen. Dieser Satz ist umkehrbar für alle diejenigen Werthe der Primzahl \(\lambda\), für welche die vollständige über alle der Gleichung \(\omega^{\mu}=1\) genügenden \(\mu\) Werthe des \(\omega\) sich erstreckende Norm \(N\psi(\omega)\) einer gewissen Function \(\psi(\omega)\) nicht durch 2 theilbar ist. Diese Bedingung ist identisch mit der, dass der erste Factor der aus \(\lambda^{\text{ten}}\) Einheitswurzeln gebildeten complexen Zahlen nicht durch 2 theilbar sei. Es kann daher der zweite Factor der Klassenzahl nie durch 2 theilbar sein, wenn es nicht zugleich auch der erste ist. Ist der zweite Factor der Klassenzahl durch 2 theilbar, so enthält die complexe Zahl \(\psi(\omega^{-1})\) nothwendig denselben complexen Primfactor von 2, den \(\psi(\omega)\) enthält. Wenn die Einheit \(E(\alpha)=e(\alpha)^{\lambda}e (\alpha\gamma)^{z_{1}}...e (\alpha\gamma^{\mu-1})^{\lambda\mu-1}\) die \(q^{\text{te}}\) Potenz einer fundamentaleren Einheit ist, so dass die Exponenten \(x, x_{1}..\) der Kreistheilungs-Einheit nicht alle \(\equiv 0\) (mod \(p\))sind, sobald einer derselben \(=0\) angenommen wird, so muss die complexe Zahl \(\psi(\omega)\) einen complexen (idealen) Primfactor von \(q\) enthalten, also muss die vollständige Norm von \(\psi(\omega)\) durch \(q\) theilbar sein. Wenn \(\psi(\omega)\) nicht für die primitiven Wurzeln \(\omega\) der Gleichung \(\omega^{\mu}=1\), sondern für die von \(\omega^{m}=1\),wo \(\mu = m \cdot m'\) ist, einen idealen Primfactor von \(q\) enthält, so kann die fundamentalere Einheit, deren \(q^{\text{te}}\) Potenz sich als Product von Potenzen der Kreistheilungseinheiten ausdrücken lässt, nur die \(m\) Perioden von je \(2m'\) Gliedern der Wurzeln der Gleichung \(\alpha^{\lambda}=1\) enthalten.