Embedding problems with cyclic kernel of order 4
type: Item
instance of: scholarly article
title: Embedding problems with cyclic kernel of order 4
zbMATH Open document ID: 0913.12004
DOI: 10.1007/BF02773463
author: Arne Ledet
published in: Israel Journal of Mathematics
publication date: 1999-01-17T00:00:00Z
review text: This paper considers Galois embedding problems with kernel \(C_4\) cyclic of order 4, over a field of characteristic not 2. In particular, if \(M/K\) is a finite Galois extension with Galois group \(G\) and \[ 1 \to C_4 \to E \to G \to 1 \] is a group extension, one asks whether there exists a Galois extension \(F/K\) with \(M \subseteq F\) and an isomorphism (or monomorphism) \(\phi\) from the Galois group of \(F/K\) to \(E\) such that the composition of the projection \(E \to G\) with \(\phi\) is the natural restriction from the Galois group of \(F/K\) to the Galois group of \(M/K\). It is shown that such an embedding problem with kernel \(C_4\) can be constructively reduced to two embedding problems where the kernels are groups of roots of unity. These embedding problems are called Brauer type embedding problems and have the advantage that they have a nice criterion for solvability in terms of crossed product algebras. These results in turn are used to obtain criteria for embedding cyclic extensions of degree 4 in cyclic extensions of degree 16, and for embedding dihedral extensions of degree 8 in dihedral, quasi-dihedral, and quaternionic extensions of degree 32. Finally, these results are applied to obtain some automatic realizability results \(G \Rightarrow H\), where any field admitting a \(G\)-extension must also admit an \(H\)-extension. It is shown that \(Q_{32} \Rightarrow D_{16}\) and \(D_8 \Rightarrow D_{16}\) or \(Q_{16}\), where \(D_{2n}\) denotes the dihedral group of order \(2^{n+1}\) and \(Q_{2n}\) denotes the quaternionic group of order \(2^n\).
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12F12
zbMATH DE Number: 1216488
zbMATH Keywords: Galois groups
zbMATH Keywords: Galois embedding problem
zbMATH Keywords: cyclic kernel of order 4
zbMATH Keywords: Galois extension
zbMATH Keywords: Brauer type embedding problems
zbMATH Keywords: solvability
MaRDI profile type: Publication
cites work: Cyclic Extensions of K(√-1)/K
cites work: Über die Konstruktion der Schiefkörper, die von endlichem Rang in bezug auf ein gegebenes Zentrum sind.
cites work: Automatic realizability of Galois groups of order 16
cites work: Zum Einbettungsproblem.
cites work: Q4693118
cites work: Q3032353
cites work: Explicit Classifications of Some 2-Extensions of a Field of Characteristic Different from 2
cites work: On 2-Groups as Galois Groups
cites work: Q3998022
cites work: Explicit realisations of subgroups of \(GL_ 2({\mathbb{F}}_ 3)\) as Galois groups
cites work: Konstruktion von galoisschen Körpern der Charakteristik p zu vorgegebener Gruppe der Ordnung pf.
description: scientific article; zbMATH DE number 1216488