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!