zbMATH — the first resource for mathematics

On duality for skew field extensions. (English) Zbl 0661.16015
Let N be a skew field and \(L\supseteq K\), \(L_ 1\supseteq K_ 1\) subfields (possibly skew). The extensions L/K and \(L_ 1/K_ 1\) are said to be dual if L, K have centralizers \(K_ 1\), \(L_ 1\) and \(L_ 1\), \(K_ 1\) have centralizers K, L in N. In this paper the author makes a study of such dual extensions. He shows (using field coproducts) that any extension L/K can be embedded in a field N in which it has a dual \(L_ 1/K_ 1\) and the right degree of L/K equals the left degree of \(L_ 1/K_ 1\). Moreover dual extensions have dual lattices of intermediate fields. The author considers the following four types, where \(Z_ L(K)\) denotes the centralizer of K in L: L/K is central if \(K.Z_ L(K)=L\), plain if \(K.Z_ L(K)=K\), outer if \(Z_ LZ_ L(K)=L\) and inner if \(Z_ LZ_ L(K)=K\). An extension is plain if and only if its dual is outer; if L/K is central, its dual is inner, and the converse holds provided L/K has finite left degree. An element c of L is said to be normalizing for K if \(c\neq 0\) and \(cK=Kc\); if L has a normalizing basis over K, the extension is said to be normalizing. Now for dual extensions of finite degree, L/K is Galois if and only if \(L_ 1/K_ 1\) is normalizing. The author examines a number of special cases, thus he shows that \(L_ 1/K_ 1\) is a crossed product if and only if K is the fixed field of the group G of L/K and \(| G| =[L:K]\).
Reviewer: P.M.Cohn

16Kxx Division rings and semisimple Artin rings
16S20 Centralizing and normalizing extensions
12E15 Skew fields, division rings
16W20 Automorphisms and endomorphisms
Full Text: DOI
[1] Amitsur, S.A, Non commutative cyclic fields, Duke math. J., 21, 87-105, (1954) · Zbl 0055.03001
[2] Bortfeld, R, Ein satz zur galoistheorie in schiefkörpern, J. reine angew. math., 201, 196-206, (1959) · Zbl 0228.16015
[3] Cohn, P.M, Skewfield constructions, (1977), Cambridge Univ. Press London/New York · Zbl 0355.16009
[4] Jacobson, N, Structure of rings, (1968), Amer. Math. Soc Providence, RI
[5] Treur, J, A duality for skew field extensions, Thesis, (1976), Utrecht
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.