On duality for skew field extensions.

*(English)*Zbl 0661.16015Let 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

##### MSC:

16Kxx | Division rings and semisimple Artin rings |

16S20 | Centralizing and normalizing extensions |

12E15 | Skew fields, division rings |

16W20 | Automorphisms and endomorphisms |

##### Keywords:

skew field; centralizers; dual extensions; coproducts; right degree; left degree; dual lattices of intermediate fields; plain; outer; inner; normalizing basis; Galois; crossed product; fixed field
Full Text:
DOI

**OpenURL**

##### References:

[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.