A sufficient condition for Leopoldt's conjecture
For a finite algebraic number \(k\) and a rational prime number \(p\), Leopoldt's conjecture (LC) states that for any nonnegative integer \(a\), there exists a nonnegative integer \(b\) such that \(E_ k(p^ b)\subseteq E_ k ^ {p^ a}\) where \(E_ k\) denotes the group of units of \(k\) and \(E_ k (p^ b)= \{\varepsilon \in E_ k \mid \varepsilon \equiv 1\bmod p^ b {\mathcal O}_ k\}\). LC is equivalent to LC(\(a\)) for all \(a\geq 0\) where LC(\(a\)) means that there exists a nonnegative integer \(b\) such that \(E_ k(p^ b)\subseteq E_ k^{p^ a}\). For \(p\geq 3\), \textit{K. Iwasawa} [`A simple remark on Leopoldt's conjecture, Collected papers, vol. II, Tokyo: Springer-Verlag, 862--870 (2001; Zbl 1021.01006)] proved the equivalence between LC(\(a\)) and the existence of certain abelian extensions of \(k\) called \(({\mathcal Q}, a)\)-fields. \textit{H. Miki} [J. Number Theory 26, 117--128 (1987; Zbl 0621.12009)] proved that if \(k\) contains a primitive \(p\)-th root of unity \(\zeta_ p\), there exists a unique prime ideal of \(k\) above \(p\) and \(B_ {k,p}(S_ k)=\{1\}\), where \(B_{k,p}(S)=\{\alpha\in k^ \ast\mid \alpha{\mathcal O} _ k ={\mathcal A}^ p\) for some ideal \({\mathcal A}\) of \(k\), and \(\alpha \in (k_ {\mathcal I}^ \ast) ^ p\) for any ideal \({\mathcal I}\) of \(S\}/(k^ \ast)^ p\), and \(S_ k\) denotes the set of prime ideals of \(k\) above \(p\), then LC is valid for \(k\) and \(p\). The main result of the paper under review is that if \(p\geq 3\), \(k\) contains \(\zeta_ p\), and there exists a prime ideal \({\mathcal P}\) in \(k\) dividing \(p\) such that \(B_ {k,p}(\{{\mathcal P}\})= 1\), then for any nonnegative integer \(a\), there exists a nonnegative integer \(b\) such that \(E_ k({\mathcal P}^ b)\subseteq E_ k ^ {p^ a}\). It follows that LC holds for \(k\) and \(p\). The proof of the main result makes use of Iwasawa methods for \(({\mathcal Q},a)\)-fields [loc. cit.]. The non Galois extensions \({\mathbb Q}(\root 5\of x, \zeta _ 3)\) with \(x\in\{2,5,7, 10, 11\}\) and \(p=3\) satisfy LC by the main result of this paper. For other papers related to this one, the reader may consult the papers of \textit{A. Movahhedi} and \textit{T. Nguyen Quang Do} [Sémin. Théor. Nombres, Paris/Fr. 1987-88, Prog. Math. 81, 155--200 (1990; Zbl 0703.11059)] and of \textit{J.-F. Jaulent} and \textit{O. Sauzet} [J. Number Theory 65, No. 2, 240--267 (1997; Zbl 0896.11043)].
- Some remarks on Leopoldt's conjecture
- Units in residue classes
- Cohomology groups of units in ℤ^d_p-extensions
- Triviality in ideal class groups of Iwasawa-theoretical abelian number fields
- Leopoldt's conjecture and Reiner's theorem
- On a problem in algebraic number theory
- The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
- A note on -parts of ray class groups
- Heights and principal ideals of certain cyclotomic fields
- An algorithm for testing Leopoldt's conjecture
- Extensions with given points of ramification
- Kummer's and Iwasawa's Version of Leopoldt's Conjecture
- Linear forms in the logarithms of algebraic numbers
- On the Leopoldt conjecture on the p-adic regulators
- On the maximal abelianℓ-extension of a finite algebraic number field with given ramification
- On the units of algebraic number fields
- On the units of an algebraic number field
- Zur Arithmetik in abelschen Zahlkörpern.
- On the Leopoldt conjecture on the p-adic regulators
- Some remarks on Leopoldt's conjecture
- A conditional proof of the Leopoldt conjecture for CM fields
- Exchanging the places p and in the Leopoldt conjecture
- A sufficient condition for Morgan's problem
- The local -regulators of an algebraic number: p-adic conjectures
- Leopoldt's conjecture for some Galois extensions
- Sufficient Condition to Resolve Costa's First Conjecture
- scientific article; zbMATH DE number 4010632 (Why is no real title available?)
- Leopoldt's Conjecture in Parameterized Families
- scientific article; zbMATH DE number 4089666 (Why is no real title available?)
- Kummer's and Iwasawa's Version of Leopoldt's Conjecture
- Remarks on connections between the Leopoldt conjecture, p-class groups and unit groups of algebraic number fields
- Constrained versions of Sauer's Lemma
This page was built for publication: A sufficient condition for Leopoldt's conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2565545)
