A Hecke eigenform is a nonzero modular form that is an eigenvector for every Hecke operator. A cuspidal eigenform has nonzero first Fourier coefficient: proves this. Normalize , and then . The Hecke multiplication relations give multiplicativity and the prime-power recurrence of the coefficients.
New to topics? Read the docs here!