ON RELATIVE-INVARIANT CIRCULAR UNITS IN FUNCTION FIELDS

  • JUNG, HWANYUP (Department of Mathematics Education Chungbuk National University)
  • Received : 2005.07.08
  • Published : 2005.09.25

Abstract

Let K be an absolutely real abelian number field with $G=Gal(K/{\mathbb{Q}})$. Let E be a subfield of K and ${\Delta}=Gal(K/E)$. Let $C_K$ and $C_E$ be the group of circular units of K and E respectively. In [G], Greither has shown that if G is cyclic then $C_K^{\Delta}=C_E$. In this paper we show that the same result holds in function field case.

Keywords

Acknowledgement

Supported by : Chungbuk National University

References

  1. J. Korean Math. Soc. v.39 no.5 Cyclotomic units and divisibility of the class number of function fields Ahn, J.;Jung, H.
  2. J. Aust. Math. Soc. v.70 no.1 Bases for cyclotomic units over function fields Bae, S.;Jung, H.
  3. Manuscripta Math. v.80 no.1 Uber relativ-invariante Kreiseinheiten und Stickelberger-Elemente Greither, C.
  4. Compositio Math. v.71 no.1 Bases for cyclotomic units Gold, R.;Kim, J.
  5. Trans. Amer. Math. Soc. v.341 no.1 Circular units of function fields Harrop, F.
  6. Number theory in function fields;Graduate Texts in Mathematics Rosen, M.
  7. Invent. Math. v.62 no.2 On the Stickelberger ideal and the circular units of an abelian field Sinnott, W.