Choose with nonnegative exponents, for every with and . The Eisenstein series and the modular discriminant give modular forms with integer coefficients and distinct first powers of . The valence formula for the modular group shows that these form a basis. Successively subtracting their leading terms proves that integral coefficients up to the greatest such force all coefficients to be integral. This is more precise than merely spanning by arbitrary monomials in .
Articles by others on the same topic
There are currently no matching articles.