Normal basis and Greenberg' s conjecture.
Using the special values of Siegel modular functions, we construct Minkowski units for the ray class field of modulo . Our work is based on investigating the prime decomposition of the special values and describing explicitly the action of the Galois group for the special values. Futhermore we construct the full unit group of using modular and circular units under the GRH.
Let denote the class number of -th layer of the cyclotomic -extension of . Weber proved that is odd and Horie proved that is not divisible by a prime number satisfying . In a previous paper, the authors showed that is not divisible by a prime number less than . In this paper, by investigating properties of a special unit more precisely, we show that is not divisible by a prime number less than . Our argument also leads to the conclusion that is not divisible by a prime number...
Page 1