A characterization of completely regular abelian extensions (Q1969619)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A characterization of completely regular abelian extensions
scientific article

    Statements

    A characterization of completely regular abelian extensions (English)
    0 references
    0 references
    19 March 2000
    0 references
    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\)).
    0 references
    abelian extensions
    0 references
    normal basis
    0 references
    regular extension
    0 references
    regular element
    0 references
    completely regular extension
    0 references
    completely regular element
    0 references

    Identifiers