Hecke eigenform ($T_{n}f=a_n(f)f$)

A Hecke eigenform is a nonzero modular form that is an eigenvector for every Hecke operator. A cuspidal eigenform has nonzero first Fourier coefficient: $a_1(T_{n}f)=a_n(f)$ proves this. Normalize $a_1=1$, and then $T_{n}f=a_n(f)f$. The Hecke multiplication relations give multiplicativity and the prime-power recurrence of the coefficients.

For a normalized weight-$k$ cuspidal Hecke eigenform, the local recurrence gives ${\sum }_{r\ge 0}{a}_{p^r}{X}^r=(1-a_{p}X+p^{k-1}{X}^2{)}^{-1}$. Multiplicativity therefore gives $L(f,s)={\prod }_p(1-a_p{p}^{-s}+p^{k-1-2s}{)}^{-1}$ in a right half-plane. Each degree-two local factor packages all the prime-power Fourier coefficients.

The rational space of level-one cusp forms has a full lattice of forms with integral Fourier coefficients. It has finite rank by the valence formula for the modular group, and is preserved by the Fourier coefficients of a composite-index Hecke operator formula. Thus every Hecke operator has a monic integral characteristic polynomial on this lattice, and its eigenvalues are algebraic integers. The common eigenvalue field is totally real by the Petersson inner product self-adjointness.