Semi-local units modulo Gauss sums

For thep-th cyclotomic fieldk, Iwasawa proved thatp does not divide the class number of its maximal real subfield if and only if the odd part of the group of local units coincides with its subgroup generated by Jacobi sums related tok. We refine and give a quantitative version of this result for more general imaginary abelian fields. Our result is an analogy of the famous result on “semi-local units modulo cyclotomic units”. Partially supported by Grant-in-Aid for Scientific Research (C), Grant 09640054.