Statement[edit]
p is a prime number.
Fn is the field Q(ζ) where ζ is a root of unity of order pn+1.
Γ is the subgroup of the absolute Galois group of F∞ isomorphic to the p-adic integers.
γ is a topological generator of Γ
Ln is the p-Hilbert class field of Fn.
Hn is the Galois group Gal(Ln/Fn), isomorphic to the subgroup of elements of the ideal class group of Fn whose order is a power of p.
H∞ is the inverse limit of the Galois groups Hn.
V is the vector space H∞⊗ZpQp.
ω is the Teichmüller character.
Vi is the ωi eigenspace of V.
h(ωi,T) is the characteristic polynomial of γ acting on the vector space Vi
Lp is the p-adic L function with Lp(ωi,1–k) = –Bk(ωi–k)/k, where B is a generalized Bernoulli number.
Gp is the power series with Gp(ωi,us–1) = Lp(ωi,s)
The main conjecture of Iwasawa theory proved by Mazur and Wiles states that if i is an odd integer not congruent to 1 mod p–1 then the ideals of Zp[[T]] generated by hp(ωi,T) and Gp(ω1–i,T) are equal.
Statement[edit]p is a prime number.Fn is the field Q(ζ) where ζ is a root of unity of order pn+1.Γ is the subgroup of the absolute Galois group of F∞ isomorphic to the p-adic integers.γ is a topological generator of ΓLn is the p-Hilbert class field of Fn.Hn is the Galois group Gal(Ln/Fn), isomorphic to the subgroup of elements of the ideal class group of Fn whose order is a power of p.H∞ is the inverse limit of the Galois groups Hn.V is the vector space H∞⊗ZpQp.ω is the Teichmüller character.Vi is the ωi eigenspace of V.h(ωi,T) is the characteristic polynomial of γ acting on the vector space ViLp is the p-adic L function with Lp(ωi,1–k) = –Bk(ωi–k)/k, where B is a generalized Bernoulli number.Gp is the power series with Gp(ωi,us–1) = Lp(ωi,s)The main conjecture of Iwasawa theory proved by Mazur and Wiles states that if i is an odd integer not congruent to 1 mod p–1 then the ideals of Zp[[T]] generated by hp(ωi,T) and Gp(ω1–i,T) are equal.
การแปล กรุณารอสักครู่..
