Ramanujan congruence modulo 691

ID: ramanujan-congruence-modulo-691

The Fourier expansion of a normalized Eisenstein series and the one-dimensional weight-twelve cusp form space give . The coefficient of , for , reduces modulo to . Since is invertible modulo , this proves the congruence. Integrality follows from and the product .

New to topics? Read the docs here!