Automatic realization of Galois groups with cyclic quotient of order \(p^n\)
type: Item
instance of: scholarly article
title: Automatic realization of Galois groups with cyclic quotient of order \(p^n\)
zbMATH Open document ID: 1180.12002
author: Andrew Schultz
author: Ján Mináč
author: John R. Swallow
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2009-04-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0603594
full work available at URL: https://eudml.org/doc/10844
review text: This article provides a proof of a family of ``automatic realizability'' results for Galois extensions. An automatic realization of Galois groups is a pair of groups \((A,B)\) with the property that for all fields \(F\), the existence of \(A\) as a Galois group over \(F\) implies the existence of \(B\) as a Galois group over \(F\). Such an automatic realization is nontrivial if the group \(B\) is not a quotient of the group \(A\). In this paper, the authors use equivariant Kummer theory to express certain automatic realization problems in terms of Galois modules, and then solve the corresponding Galois module problem. This is a substantially different approach from the more traditional analysis of embedding problems. This article specifically uses this approach to establish automatic realizations for a family of finite metacyclic \(p\)-groups. This family can be described as follows: For \(p\) a prime, \(n\) a positive integer, and \(G\) a cyclic group of order \(p^n\) with generator \(\sigma\), the group ring \({\mathbb{F}}_p[G]\) has \(p^n\) nonzero ring quotients \(M_j, 1 \leq j \leq p^n\), given by \(M_j := {\mathbb{F}}_p[G]/\langle (\sigma-1)^j\rangle\). Each \(M_j\) is a \(G\)-module since multiplication in the ring \({\mathbb{F}}_p[G]\) induces an \({\mathbb{F}}_p[G]\)-action on each \(M_j\). We let \(M_j\rtimes G\) denote the semidirect product. The following automatic realizability result is proved for groups over fields of characteristic \(p\) as well as fields of characteristic not \(p\). {Theorem:} For all \(0 \leq i < n\), realizability of any of the groups \(M_{k} \rtimes G, p^{i} + 1 \leq k < p^{i+1}\), implies realizability of the group \(M_{p^{i+1}}\rtimes G\).
Mathematics Subject Classification ID: 12F12
zbMATH DE Number: 5543170
zbMATH Keywords: inverse Galois theory
zbMATH Keywords: Kummer theory
zbMATH Keywords: Galois modules
zbMATH Keywords: Galois group
zbMATH Keywords: metacyclic group
zbMATH Keywords: \(p\)-group
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1994857491
arXiv ID: math/0603594
cites work: Q4056148
cites work: Automatic realizability of Galois groups of order 16
cites work: Groups of order 16 as Galois groups
cites work: Q3472212
cites work: Q4027071
cites work: Q4258018
cites work: Q4787521
cites work: Q4224184
cites work: Brauer type embedding problems
cites work: Galois module structure of \(p\)th-power classes of extensions of degree \(p\)
cites work: Galois embedding problems with cyclic quotient of order \(p\)
cites work: GALOIS MODULE STRUCTURE OF pTH-POWER CLASSES OF CYCLIC EXTENSIONS OF DEGREE pn
cites work: Generic Galois extensions and problems in field theory
cites work: Q5656860
cites work: The Normal Closures of Certain Kummer Extensions
DOI: 10.5802/JTNB.635
description: scientific article