On the maximal \(p\)-ramified \(p\)-abelian extensions over \(\mathbb Z^d_p\)-extensions
type: Item
instance of: scholarly article
title: On the maximal \(p\)-ramified \(p\)-abelian extensions over \(\mathbb Z^d_p\)-extensions
zbMATH Open document ID: 0616.12003
author: Masaru Ueda
published in: Journal of Mathematics of Kyoto University
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.kjm/1250520876
review text: Let \(p\) be an odd prime, let \(k\) be a number field, and let \(k_\infty/k\) be a \(\mathbb Z^d_p\)-extension, so \(G=\text{Gal}(k_\infty/k)\simeq \mathbb Z^d_p\). Let \(\tilde X(k_\infty)\) denote the Galois group of the maximal abelian \(p\)-extension of \(k_\infty\) unramified outside the primes lying above \(p\). Let \(\Lambda_G\) denote the completed \(\mathbb Z^d_p\)-group ring of \(G\) and \(\rho(k_\infty)\) the rank of \(\tilde X(k_\infty)\) as a \(\Lambda_G\)-module. Let \(r_2(k)\) be the number of complex places of \(k\). The author considers the question of when \(\rho(k_\infty)=r_2(k)\). \textit{V. A. Babaitsev} [Math. USSR, Izv. 19, 1--12 (1982); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 45, 691--703 (1981; Zbl 0495.12012)] and \textit{R. Greenberg} have shown this is the case for almost all \(\mathbb Z_p\)-extensions of \(k\), and also when Leopoldt's conjecture holds for \(k\) [Invent. Math. 47, 85--99 (1978; Zbl 0403.12004)]. In the present paper, the author proves the following. Assume \(d=1\), \(k\) contains a primitive \(p\)-th root of unity, no prime of \(k\) above \(p\) splits completely in \(k_\infty/k\), and Iwasawa's invariant \(\mu(k_\infty/k)=0\). Then \(\rho(k_\infty)=r_2(k)\). The author also studies the behavior of \(\rho(k_\infty H_n)\) where \(H_n\) runs through the sequence of fields in a \(\mathbb Z_p\)-extension \(H_\infty/k\) disjoint from the \(\mathbb Z^d_p\)-extension \(k_\infty/k\), and shows that there exist non-negative integers \(r\) and \(c\) such that \(\rho(k_\infty H_n)=r p^n+c\) for all sufficiently large \(n\). Conditions implying \(c=0\) are given.
Mathematics Subject Classification ID: 11R23
zbMATH DE Number: 3997932
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: \(\mathbb Z^d_p\)-extension
zbMATH Keywords: Galois group
zbMATH Keywords: maximal abelian p-extension
zbMATH Keywords: Zp-group ring
zbMATH Keywords: Zp-extensions
zbMATH Keywords: Iwasawa's invariant
reviewed by: Lawrence C. Washington
MaRDI profile type: Publication
OpenAlex ID: W1487518337
DOI: 10.1215/KJM/1250520876
Recommended article: On restricted ramifications and pseudo-null submodules of Iwasawa modules for \(\mathbb{Z}^2_p\)-extensions
Recommended article: Bases normales, unités et conjecture faible de Leopoldt. (Normal bases, units, and the weak Leopoldt conjecture)
Recommended article: The class group of \(\mathbb{Z}_p\)-extensions over totally real number fields
Recommended article: Leopoldt's conjecture and Reiner's theorem
Recommended article: Cyclic Galois Extensions and Normal Bases
Recommended article: Q3724434
Recommended article: A note on free pro-\(p\)-extensions of algebraic number fields. II
Recommended article: The vanishing of Iwasawa's \(\mu\)-invariant implies the weak Leopoldt conjecture
Recommended article: Some remarks on finite submodules of the unramified Iwasawa module of totally real fields
Recommended article: On a bound of \(\lambda\) and the vanishing of \(\mu\) of \(\mathbb{Z}_p\)-extensions of an imaginary quadratic field
description: scientific article; zbMATH DE number 3997932