## Functiones et Approximatio Commentarii Mathematici

### On the Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{p})$, III

#### Abstract

In the preceding papers, two of authors developed criteria for Greenberg conjecture of the cyclotomic $\mathbb{Z}_2$-extension of $k=\mathbb{Q}(\sqrt{p})$ with prime number $p$. Criteria and numerical algorithm in [5], [3] and [6] enable us to show $\lambda_2(k)=0$ for all $p$ less than $10^5$ except $p=13841, 67073$. All the known criteria at present can not handle $p=13841, 67073$. In this paper, we develop another criterion for $\lambda_2(k)=0$ using cyclotomic units and Iwasawa polynomials, which is considered a slight modification of the method of Ichimura and Sumida. Our new criterion fits the numerical examination and quickly shows that $\lambda_2(\mathbb{Q}(\sqrt{p}))=0$ for $p=13841, 67073$. So we announce here that $\lambda_2(\mathbb{Q}(\sqrt{p}))=0$ for all prime numbers $p$ less that $10^5$.

#### Article information

Source
Funct. Approx. Comment. Math., Volume 54, Number 1 (2016), 7-17.

Dates
First available in Project Euclid: 22 March 2016

https://projecteuclid.org/euclid.facm/1458656158

Digital Object Identifier
doi:10.7169/facm/2016.54.1.1

Mathematical Reviews number (MathSciNet)
MR3477730

Zentralblatt MATH identifier
06862330

Subjects
Primary: 11R23: Iwasawa theory
Secondary: 11Y40: Algebraic number theory computations

#### Citation

Fukuda, Takashi; Komatsu, Keiichi; Ozaki, Manabu; Tsuji, Takae. On the Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{p})$, III. Funct. Approx. Comment. Math. 54 (2016), no. 1, 7--17. doi:10.7169/facm/2016.54.1.1. https://projecteuclid.org/euclid.facm/1458656158

#### References

• A. Brumer, On the units of algebraic number fields, Mathematika 14 (1967), 121–124.
• B. Ferrero and L.C. Washington, The Iwasawa invariant $\mu_{p}$ vanishes for abelian number fields, Ann. of Math. 109 (1979), no. 2, 377–395.
• T. Fukuda, Greenberg conjecture for the cyclotomic $\ADGGZ_2$-extension of $\ADGGQ(\sqrt{p}\,)$, Interdisciplinary Information Sciences, 16-1 (2010), 21–32.
• T. Fukuda and K. Komatsu, Ichimura-Sumida criterion for Iwasawa $\lambda$-invariants, Proc. Japan Acad. Ser. A Math. Sci. 76 (2000), 111-115.
• T. Fukuda and K. Komatsu, On the Iwasawa $\lambda$-invariant of the cyclotomic $\ADGGZ_2$-extension of $\ADGGQ(\sqrt{p}\,)$, Math. Comp. 78 (2009), 1797–1808.
• T. Fukuda and K. Komatsu, On the Iwasawa $\lambda$-invariant of the cyclotomic $\ADGGZ_2$-extension of $\ADGGQ(\sqrt{p}\,)$ II, Funct. Approx. Comment. Math. 51 (2014), no. 1, 167–179.
• R. Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976), 263–284.
• R. Greenberg, On the structure of certain Galois groups, Inv. math. 47 (1978), 85–99.
• C. Greither, Class groups of abelian fields, and the main conjecture, Ann. Inst. Fourier (Grenoble), 42, (1992), 449-499.
• H. Ichimura and H. Sumida, On the Iwasawa Invariants of certain real abelian fields II, Inter. J. Math. 7 (1996), 721–744.
• H. Ichimura, S. Nakajima and H. Sumida-Takahashi, On the Iwasawa lambda invariants of an imaginary abelian field of conductor $3p^{n+1}$, J. Number Theory 133 (2013), 787–801.
• K. Iwasawa, On $\ADGGZ_\ell$-extensions of algebraic number fields, Ann. of Math. 98 (1973), 246–326.
• S. Lang, Algebraic Number Theory, Graduate Texts in Math. vol. 110, Springer, 1994.
• M. Ozaki and H. Taya, On the Iwasawa $\lambda_2$-invariants of certain families of real quadratic fields, Manuscripta Math. 94 (1997), no. 4, 437–444.
• T. Tsuji, Semi-local units modulo cyclotomic units, J. Number Theory 78 (1999), 1–26.
• T. Tsuji, On the Iwasawa $\lambda$-invariants of real abelian fields, Trans. Amer. Math. Soc. 355 (2003), 3699-3714.
• L.C. Washington, Introduction to cyclotomic fields. Second edition, Graduate Texts in Mathematics, 83, Springer-Verlag, New York, 1997.
• A. Wiles, The Iwasawa conjecture for totally real fields, Ann. Math. 131 (1990), 493–540.