On criteria concerning singular integers in cyclotomic fields. (Q2595879)

Verf. gibt folgende notwendigen Kriterien für singuläre ganze Zahlen eines irregulären Kreiskörpers \(k(\zeta)\) -- es ist \(k\) der natürliche Zahlkörper, \(\zeta=e^{\tfrac{2\pi i}l}\), hierbei \(l\) eine ungerade natürliche Primzahl --, d. h. für solche ganzen Zahlen \(\alpha\) des Körpers, für die \[ (\alpha) = \mathfrak b^l \] wird, wo \(\mathfrak b\) ein Nichthauptideal in \(k(\zeta)\) ist. (1) Heißt \(\alpha(\zeta)\) das Polynom in \(\zeta\) mit rationalen ganzzahligen Koeffizienten und einem Grad \(\leqq l-2\), das \(\alpha\) definiert, so ist, damit eine semiprimäre ganze Zahl \(\alpha\) singulär ist, notwendig, daß \[ \prod_{d=1}^{l-1}(\alpha(\zeta^d))^{d^{2a-1}} \] die \(l\)-te Potenz einer Zahl aus \(k(\zeta)\) sei für jede natürliche Zahl \(a < \dfrac {l-1}2\) mit der Eigenschaft, daß die Bernoullische Zahl \[ B_a \not\equiv 9 \pmod l \] ist. (2) Für beliebige (also nicht nur semiprimäre) singuläre ganze Zahlen \(\omega\) gilt mit sonst gleichen Bezeichnungen und derselben Voraussetzung für \(B_a\): \[ \prod_{d=1}^{l-1}\omega(\zeta^d)^{d^{2a}}=\beta^l\delta, \] und zwar ist hierbei \(\beta\) eine ganze Zahl in \(k(\zeta)\), \(\delta\) eine Einheit des Körpers der Eigenschaft, daß \[ \delta(\zeta^r)^{r^{2a}}=\delta(\zeta)\gamma^l \] mit \(\gamma\) als Einheit in \(k(\zeta)\) ist. Hierbei ist \(r\) eine primitive Wurzel mod \(l\).