Local units modulo circular units
HTML articles powered by AMS MathViewer
- by R. Coleman PDF
- Proc. Amer. Math. Soc. 89 (1983), 1-7 Request permission
Abstract:
In his paper, Some Modules in the Theory of Cyclotomic Fields [2], Iwasawa obtained the remarkable theorem that the quotient of the $p$-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.References
- Robert F. Coleman, Division values in local fields, Invent. Math. 53 (1979), no. 2, 91–116. MR 560409, DOI 10.1007/BF01390028
- Kenkichi Iwasawa, On some modules in the theory of cyclotomic fields, J. Math. Soc. Japan 16 (1964), 42–82. MR 215811, DOI 10.2969/jmsj/01610042
- Serge Lang, Cyclotomic fields, Graduate Texts in Mathematics, Vol. 59, Springer-Verlag, New York-Heidelberg, 1978. MR 0485768
- Lawrence C. Washington, Introduction to cyclotomic fields, Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1982. MR 718674, DOI 10.1007/978-1-4684-0133-2
Additional Information
- © Copyright 1983 American Mathematical Society
- 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