A characterization of completely regular abelian extensions (Q1969619)

Ist \(L/K\) eine endliche Galoiserweiterung, so heisst \(x \in L\) \textit{regulär in \(L/K\)}, wenn die \(K\)-Konjugierten von \(x\) eine \(K\)-Vektorraumbasis von \(L\) bilden (eine solche Basis nennt man eine \textit{Normalbasis}). Bilden für jeden Zwischenkörper \(N\) von \(L/K\) die \(N\)-Konjugierten von \(x\) eine Normalbasis von \(L/N\), so heisst \(x\) \textit{vollständig regulär} in \(L/K\). Die Erweiterung \(L/K\) heisst \textit{vollständig regulär}, wenn jedes reguläre Element von \(L/K\) bereits volständig regulär in \(L/K\) ist. Mit Hilfe modularer Darstellungstheorie haben \textit{D. Blessenohl} und \textit{K. Johnsen} [Arch. Math. 56, 245-253 (1991; Zbl 0714.12007)] alle vollständig regulären, abelschen Erweiterungen charakterisiert. Die Autorin beschreibt in der vorliegenden Arbeit einen Weg zur Charakterisierung von vollständig regulären, abelschen Erweiterungen, der ohne modulare Darstellungstheorie auskommt. Ihr gelingt es auch, vollständige Erweiterungen über Körpern der Charakteristik \(p\) mit Galoisgruppen der Form \(G=U\times P\) zu charakterisieren, wobei \(U\) abelsch und \(P\) die (nicht unbedingt abelsche) \(p\)-Sylowgruppe von \(G\) ist. Die Hauptergebnisse sind wie folgt: Ist \(L/K\) eine endliche, abelsche Körpererweiterung, deren Grad nicht von der Charakteristik von \(K\) geteilt wird, dann ist \(L/K\) vollständig regulär genau dann, wenn für jeden minimalen Zwischenkörper \(M\) von \(L/K\) gilt \(K=M\cap K[\zeta_{e(U_M)}]\) (wobei \(U_M\) die Galoisgruppe von \(L/M\) ist, \(e(U_M)\) der Exponent von \(U_M\) ist, und \(\zeta_{e(U_M)}\) eine primitive \(e(U_M)\)te Einheitswurzel ist). Ist \(K\) ein Körper der Charakteristik \(p\) und \(L/K\) eine endliche Körpererweiterung mit Galoisgruppe \(G=U\times P\), wobei \(U\) abelsch und \(P\) die \(p\)-Sylowgruppe von \(G\) ist, so ist \(L/K\) genau dann vollständig regulär, wenn \(M \cap K[\zeta_{e(U)}]=K\) ist und \(N/K\) vollständig regulär ist (dabei ist \(M\) der Fixkörper von \(U\) und \(N\) der Fixkörper von \(P\)).