COHOMOLOGY GROUPS OF CIRCULAR UNITS

  • Published : 2001.05.01

Abstract

Let $\kappa$ be a real abelian field of conductor f and $\kappa$(sub)$\infty$ = ∪(sub)n$\geq$0$\kappa$(sub)n be its Z(sub)p-extension for an odd prime p such that płf$\phi$(f). he aim of this paper is ot compute the cohomology groups of circular units. For m>n$\geq$0, let G(sub)m,n be the Galois group Gal($\kappa$(sub)m/$\kappa$(sub)n) and C(sub)m be the group of circular units of $\kappa$(sub)m. Let l be the number of prime ideals of $\kappa$ above p. Then, for mm>n$\geq$0, we have (1) C(sub)m(sup)G(sub)m,n = C(sub)n, (2) H(sup)i(G(sub)m,n, C(sub)m) = (Z/p(sup)m-n Z)(sup)l-1 if i is even, (3) H(sup)i(G(sub)m,n, C(sub)m) = (Z/P(sup)m-n Z)(sup l) if i is odd (※Equations, See Full-text).

Keywords

References

  1. J. Number Theory v.69 Sur la structure galoisienne des unites circulaires dans les Zp-extensions J. R. Belliard
  2. Compositio Math. v.71 Bases for cyclotomic units R. Gold;J. M. Kim
  3. Amer. J. Math. v.105 no.1 On cohomology groups of units for Zp-extensions K. Iwasawa
  4. J. Algebra v.152 Cohomology groups of cyclotomic units J. M. Kim
  5. Tohoku Math. J. v.51 Circular units in the Zp-extensions of real abelian fields of prime conductor
  6. G. T. M. 67 Local fields J. P. Serre
  7. Invent. Math. v.62 On the Stickelberger ideal and the circular units of an abelian field W. Sinnott
  8. G. T. M. 83 Introduction to Cyclotomic Fields L. Washington