On a generalization of the normal basis in abelian algebraic number fields (Q3233283)

Nach \textit{A. Speiser} [Math. Ann. 77, 546-562 (1916; JFM 46.0182.05)] und \textit{E. Noether} [J. Reine Angew. Math. 167, 147--152 (1932; Zbl 0003.14601)] hat ein absolut-abelscher Zahlkörper \(F\) eine Normal-Ganzheitsbasis \(\alpha^{(S)}\) \((S\) aus der Galoisgruppe \(\mathfrak{g}\) von \(F\) ) genau dann, wenn er regulär verzweigt ist. Eine komplexe xMatrix \(A\) heißt \glqq normal\grqq{}, wenn für die konjugiert-komplexe Transponierte \(A^* =\overline{A'}\) gilt: \(A^*A = A A^*\). Die Verff. zeigen für die genannten Körper, daß die \glqq Diskriminantenmatrix\grqq{} \(D=\left(\alpha^{(ST)}\right)\) \((S, T\) durchlaufen \(\mathfrak{g})\) einer Normal-Ganzheitsbasis normal ist, und stellen die Frage, ob umgekehrt jede Ganzheitsbasis mit normaler Diskriminantenmatrix eine Normalbasis ist. Für zyklische Körper \(F\) wird bewiesen: Genau für die Körpergrade \(n=2,3,4,6\) ist die Normal-Ganzheitsbasis eindeutig bestimmt. Die Ganzheitsbasen mit normaler Diskriminantenmatrix sind genau die verallgemeinerten Permutationen von Normal-Ganzheitsbasen \(\alpha^{(S_i)}\to \pm \alpha^{S(\nu_i)}\) mit Permutation \(i\to \nu_i\). Der Beweis beruht auf folgender Eigenschaft von rational-unimodularen Gruppenmatrizen (im zyklischen Fall Cirkulanten genannt): Ist \(C\) eine unimodulare Cirkulante der Form \(C=AA'\) mit ganzrationaler unimodularer Matrix \(A\), so gilt \(A = BPE\) mit unimodularer Cirkulante \(B\), Permutationsmatrix \(P\) und Diagonalmatrix \(E\) mit Elementen \(\pm 1\).