On the \(T\)-ramified, \(S\)-split \(p\)-class field towers over an extension of degree prime to \(p\)
type: Item
instance of: scholarly article
title: On the \(T\)-ramified, \(S\)-split \(p\)-class field towers over an extension of degree prime to \(p\)
zbMATH Open document ID: 1228.11167
published in: Journal of Number Theory
publication date: 2009-09-15T00:00:00Z
review text: Let \(L/K\) be an extension of number fields, let \(N\) be the normal closure of \(L\) over \(K\), let \(p\) be a prime number not dividing \([N:K]\) and let \(T\) and \(S\) be disjoint finite sets of places of \(K\). The \(T\)-ramified, \(S\)-split \(p\)-class field tower \({\bar H_{K,T}^S}(p)\) of \(K\) is the maximal pro-\(p\)-extension of \(K\) unramified outside \(T\) and totally split on \(S\). The aim of the paper under review is to characterize when \[ {\bar H_{K,T}^S}(p)\cdot L=\bar{H}^{S'}_{L,T'}(p), \] \(T'\) and \(S'\) being the sets of places of \(L\) above those of \(T\) and \(S\). In Theorem 1, using a result of Tate, the author shows that a necessary and sufficient condition for the above equality is that \(\mathrm{Gal}(H_{K,T}^S(p)/K)\) and \(\mathrm{Gal}(H_{L,T'}^{S'}(p)/L)\) have the same \(p\)-rank, where \(H_{K,T}^S(p)/K\) (resp. \(H_{L,T'}^{S'}(p)/L\)) is the maximal abelian subextension of \(\bar H_{K,T}^S(p)/K\) (resp. \(\bar H_{L,T'}^{S'}(p)/L\)). Using this result and some class field theory, in Theorem 2 a characterization in terms of ideal classes and units of \(L\) is obtained. The last part of the article contains some examples and applications.
reviewed by: Alessandro Cobbe
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11R32
zbMATH DE Number: 5604008
zbMATH Keywords: \(p\)-class field towers
zbMATH Keywords: pro-\(p\)-extensions
zbMATH Keywords: \(T\)-ramification
zbMATH Keywords: \(S\)-decomposition
zbMATH Keywords: class field theory
zbMATH Keywords: \(p\)-rational fields
zbMATH Keywords: Tate's theorem
author: Georges Gras
MaRDI profile type: Publication
full work available at URL: j.jnt.2009.02.008
OpenAlex ID: W1985177387
cites work: Galois groups of tamely ramified \(p\)-extensions
cites work: Algorithmic Number Theory
cites work: Maximal 2-extensions with restricted ramification
cites work: Transfer and Tate's theorem.
cites work: Q4779057
cites work: Note on 2-rational fields
cites work: On regular number fields
cites work: Q5706771
cites work: Sur l'indépendance \(\ell\)-adique de nombres algébriques. (On \(\ell\)- adic independence of algebraic numbers)
cites work: \(p\)-rational fields, \(p\)-regular fields and restricted ramification
cites work: Mild pro-p-groups and Galois groups of p-extensions of ℚ
cites work: Some new evidence for the Fontaine-Mazur conjecture
cites work: Q3481807
cites work: Sur les p -extensions des corps p -rationnels
cites work: Q4935965
cites work: Nilpotent quotient groups
cites work: Normal \(p\)-complements and irreducible characters
DOI: 10.1016/J.JNT.2009.02.008
description: scientific article; zbMATH DE number 5604008