Real Abelian Main Conjecture for arithmetic class groups
Let χ=χ0χp\chi = \chi_0 \chi_pχ=χ0χp, with χ0≠1\chi_0 \ne 1χ0=1, be an even irreducible rational character and let K=KχK=K_\chiK=Kχ. For every irreducible ppp-adic character φ\varphiφ dividing χ\chiχ, s…