On the integral basis of the maximal real subfield of a cyclotomic field.
Let be a prime. Let such that , let be characters of conductor not divided by and let be the Teichmüller character. For all between and , for all between and , setLet and let be a prime of the valuation ring of . For all let be the Iwasawa series associated to and its reduction modulo . Finally let be an algebraic closure of . Our main result is that if the characters are all distinct modulo , then and the series are linearly independent over a certain...
We prove the last of five outstanding conjectures made by R. M. Robinson from 1965 concerning small cyclotomic integers. In particular, given any cyclotomic integer β all of whose conjugates have absolute value at most 5, we prove that the largest such conjugate has absolute value of one of four explicit types given by two infinite classes and two exceptional cases. We also extend this result by showing that with the addition of one form, the conjecture is true for β with magnitudes up to 5 + 1/25....
For the cyclotomic -extension of an imaginary quadratic field , we consider the Galois group of the maximal unramified pro--extension over . In this paper, we give some families of for which is a metabelian pro--group with the explicit presentation, and determine the case that becomes a nonabelian metacyclic pro--group. We also calculate Iwasawa theoretically the Galois groups of -class field towers of certain cyclotomic -extensions.