Admissible groups over number fields

DOI10.1016/J.JALGEBRA.2025.11.023MaRDI QIDQ6873030zbMATH OpenFDO

Publication date 19 January 2026

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.11.023

admissibility Brauer group crossed products division algebras Grunwald problem inverse Galois theory

Galois theory (11R32) Ramification and extension theory (11S15) Galois theory (11S20) Field arithmetic (12E30) Inverse Galois theory (12F12) Finite-dimensional division rings (16K20) Brauer groups (algebraic aspects) (16K50) Twisted and skew group rings, crossed products (16S35)

Review text

The paper under review investigates the admissibility problem over number fields, a topic that connects inverse Galois theory with the theory of central division algebras. A finite group \(G\) is said to be admissible over a field \(K\) if there exists a \(G\)-Galois extension \(L/K\) such that \(L\) is a maximal subfield of a central division algebra with center \(K\). This property is equivalent to the existence of a \(G\)-crossed product division algebra over \(K\).\N\NThe author primarily focuses on characterizing number fields \(K\) for which every solvable Sylow-metacyclic group is admissible, thereby extending several classical results. A central tool in this study is Schacher's Criterion, which relates admissibility over a global field to the existence of a Galois extension with specific local conditions on decomposition groups at two or more distinct places.\N\NKey contributions of the paper include:\N\N\begin{itemize}\N\item \textbf{Classification of Sylow-metacyclic Admissibility:} The author provides a complete characterization of number fields \(K\) where every solvable Sylow-metacyclic group is tamely admissible. Specifically, for \(p=2\), every metacyclic \(2\)-group is tamely admissible over \(K\) if and only if \(K \cap \mathbb{Q}(\zeta_8) = \mathbb{Q}\). For an odd prime \(p\), every metacyclic \(p\)-group is tamely admissible over \(K\) if and only if \(K \cap F = \mathbb{Q}\), where \(F\) is the unique subextension of degree \(p\) in \(\mathbb{Q}(\zeta_{p^2})/\mathbb{Q}\). As a corollary, for cyclotomic fields \(K = \mathbb{Q}(\zeta_m)\), every solvable Sylow-metacyclic group is tamely admissible if and only if \(m\) is squarefree.\N\N\item \textbf{Admissibility of \(p\)-groups:} The paper goes beyond the Sylow-metacyclic case by studying the influence of the degree of the number field on the class of admissible groups. Using Neukirch's generalization of the Grunwald-Wang theorem and results on the absolute Galois group of the maximal \(p\)-extension of local fields (Shafarevich-Demushkin), the author establishes criteria for the admissibility of \(p\)-groups. For instance, a characterization is given for admissible \(p\)-groups over quadratic number fields and fields of odd degree.\N\N\item \textbf{Non-admissibility Results:} The author provides new examples of groups that fail to be admissible over certain fields. Notably, it is shown that the unique non-abelian group \(\mathbb{Z}/p^2 \rtimes \mathbb{Z}/p\) is not admissible over \(\mathbb{Q}(\zeta_{p^n})\) for \(n \ge 2\), generalizing the known result that \(D_8\) is not admissible over \(\mathbb{Q}(i)\).\N\end{itemize}\N\NThe manuscript is well-structured, providing necessary background on Brauer groups and local-global principles before proceeding to the original results. The use of Liedahl presentations and the consideration of both tamely and wildly ramified cases provide a comprehensive view of the current state of the admissibility problem over number fields.

Cites work

This page was built for publication: Admissible groups over number fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6873030)