The index of a certain quotient of the Hecke algebra in its normalization

Abstract

Let $\Gamma$ be a congruence subgroup of $S{L}_2(Z)$, and let $f$ be a normalized eigenform of weight $k$ on $\Gamma$. Let $K$ denote the number field generated over $Q$ by the Fourier coefficients of $f$. Let $R$ denote the the order in $K$ generated by the Fourier coefficients of $f$, which is contained in the ring of integers $O$ of $K$. We relate the primes that divide the index of $R$ in $O$ to primes $p$ such that $f$ is congruent to a conjugate of $f$ modulo a prime ideal of residue characteristic $p$. The index mentioned above is the same as the index of the quotient of the Hecke algebra by the annihilator ideal of $f$ in its normalization.