On the embedding problem with cyclic kernel for number fields (Q744489): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5834989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existenz und Mannigfaltigkeit abelscher Algebren mit vorgegebener Galoisgruppe über einem Teilkörper des Grundkörpers. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5825756 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5333434 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4346209 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the embedding problem for number fields in the case of an elementary abelian kernel / rank | |||
Normal rank |
Latest revision as of 02:40, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the embedding problem with cyclic kernel for number fields |
scientific article |
Statements
On the embedding problem with cyclic kernel for number fields (English)
0 references
25 September 2014
0 references
Let \(K/k\) be a finite Galois extension with Galois group \(F=\mathrm{Gal} (K/k)\), and let \(\varphi\) be an epimorphism of a finite group \(G\) onto \(F\). Let \(A:=\ker \varphi\). Then \((K/k,\varphi)\) denotes the following \textit{embedding problem}: construct a Galois extension \(L/k\) with Galois group \(G\) such that \(K\subseteq L\) and the restriction of any \(g\in G\) to \(K\) is \(\varphi(g)\in F\). The group \(A\) is called the kernel of the embedding problem \((K/k,\varphi)\). An embedding problem \((K/k,\varphi)\) is called a \textit{Brauer embedding problem} if \(A\) is a cyclic group of order \(n\), the field \(K\) contains the \(n\)-th roots of \(1\), and the group \(F=\mathrm{Gal}(K/k)\) acts trivially on the character group \(\hat{A}\). \textit{B. N. Delone} and \textit{D. K. Faddeev} [Mat. Sb., Nov. Ser. 15(57), 243--284 (1944; Zbl 0061.05802)] found a necessary condition for the existence of a solution of an embedding problem. It is called the \textit{consistency condition}. The consistency condition is sufficient for the solvability of an embedding problem with cyclic kernel of odd order. But it is not sufficient even if \(K\) is a number field and \(A=\ker \varphi\) is a \(2\)-cyclic group. The main goal of this paper is to prove that in some cases, the consistency condition suffices for the solution of the embedding problem. Namely, the author proves the following theorem: Theorem. Let \(k\) be a number field, let \(K/k\) be a Galois extension such that \(2\) splits fully in \(K\), and let \(\varphi: G \to \mathrm{Gal}(K/k)\) be an epimorphism of groups with cyclic kernel. If the consistency condition holds, then the embedding problem \((K/k,\varphi)\) has a solution. As a corollary the author proves that under the same conditions on \(k, K\) and \(2\) as above and such that \(\ker \varphi\) is abelian, then the consistency condition holds for \((K/k,\varphi)\) if and only if all its accompanying problems with cyclic kernels have solution.
0 references
inverse problem in Galois theory
0 references
embedding problem
0 references
Brauer embedding
0 references
consistency condition
0 references