Local units modulo circular units

Author:
R. Coleman

Journal:
Proc. Amer. Math. Soc. **89** (1983), 1-7

MSC:
Primary 11R18; Secondary 11R27

DOI:
https://doi.org/10.1090/S0002-9939-1983-0706497-1

MathSciNet review:
706497

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In his paper, *Some Modules in the Theory of Cyclotomic Fields* [**2**], Iwasawa obtained the remarkable theorem that the quotient of the -adic cyclotomic units by the completion of the circular units is isomorphic to the quotient of the group ring by the Stickleberger ideal. He then used this to deduce some interesting global results, the most striking of which is an explanation of the plus part of the analytic class number formula under the assumption that the class group at the first layer is cyclic, together with a regularity assumption.

In this note, we will show how with the results in our paper, *Division Values in Local Fields* [**1**], it is now possible to give a substantially simpler proof of the above theorem. We also describe, briefly, how one can obtain various global results of Iwasawa from this Theorem, which are not included in either Lang's [**3**], or Washington's [**4**] books.

**[1]**R. Coleman,*Division values in local fields*, Invent. Math.**53**(1979), 91-116. MR**560409 (81g:12017)****[2]**K. Iwasawa,*On some modules in the theory of cyclotomic fields*, J. Math. Soc. Japan**20**(1964), 42-82. MR**0215811 (35:6646)****[3]**S. Lang,*Cyclotomic fields*, Graduate Texts in Math., Springer-Verlag, New York, 1978. MR**0485768 (58:5578)****[4]**L. Washington,*Introduction to cyclotomic fields*, Graduate Texts in Math., Springer-Verlag, New York, 1982. MR**718674 (85g:11001)**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
11R18,
11R27

Retrieve articles in all journals with MSC: 11R18, 11R27

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1983-0706497-1

Article copyright:
© Copyright 1983
American Mathematical Society