Let k be a real abelian number field and p an odd prime. We give a criterion for the vanishing of the \*-invariant for the Z p -extension of k and apply it to give some examples of \*=0.
Computation of the Iwasawa invariants of certain real abelian fields
β Scribed by Hiroki Sumida-Takahashi
- Publisher
- Elsevier Science
- Year
- 2004
- Tongue
- English
- Weight
- 279 KB
- Volume
- 105
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
β¦ Synopsis
Let p be a prime number and k a finite extension of Q: It is conjectured that the Iwasawa invariants l p Γ°kΓ and m p Γ°kΓ vanish for all p and totally real number fields k: Some methods to verify the conjecture for each real abelian field k are known, in which cyclotomic units and a set of auxiliary prime numbers are used. We give an effective method, based on the previous one, to compute the exact value of the other Iwasawa invariant n p Γ°kΓ by using Gauss sums and another set of auxiliary prime numbers. As numerical examples, we compute the Iwasawa invariants associated to k ΒΌ QΓ° ffiffi ffi f p ; z p ΓΎ z Γ1 p Γ in the range 1of o200 and 5ppo10 000:
π SIMILAR VOLUMES
Let p be an odd regular prime number. We prove that there exist infinitely many totally real number fields k of degree p&1 whose class numbers are not divisible by p. Moreover, for certain regular prime number p, we prove that there exist infinitely many totally real number fields k of degree p&1 wh
Let k be a real abelian number field with Galois group 2 and p an odd prime number. Denote by k the cyclotomic Z p -extension of k with Galois group 1 and by k n the nth layer of k Γk. Assume that the order of 2 is prime to p and that p splits completely in kΓQ. In this article, we describe the orde
Let p be a fixed odd prime number and k an imaginary abelian field containing a primitive p th root `p of unity. Let k Γk be the cyclotomic Z p -extension and LΓk the maximal unramified pro-p abelian extension. We put where E is the group of units of k . Let X=Gal(LΓk ) and Y=Gal(L & NΓk ), and let