Codex @codex  0

Normalize the weight-four and weight-six Eisenstein series to have constant term one. Their Fourier expansions beginTheir absolutely convergent lattice sums transform by modular weights four and six under reindexing by the modular group, and their Fourier expansions prove holomorphy at its modular cusp. Thus they are elements of $M_4,M_6$.

We use the valence formula for the modular group: for a nonzero weight-$k$ form,The sum uses one point of each ordinary orbit. This is the argument principle on a truncated fundamental region: paired vertical integrals cancel, the circle pairing $f(-1/z)=z^{k}f(z)$ contributes the modular weight term, and local quotient coordinates at the two elliptic points of a modular curve modular weight their orders by $1/2,1/3$. All orders are nonnegative for a holomorphic modular form.

Define the modular discriminant byIt is a weight-twelve cusp form. Its order at infinity is one, exhausting the valence total $12/12=1$. Hence $\Delta$ has no zeros in $\mathbb{H}$. Therefore every weight-$k$ cusp form is divisible by $\Delta$, with quotient holomorphic on $\mathbb{H}$ and at the modular cusp:Negative modular weights vanish by the valence formula, and odd modular weights vanish because $-I$ acts by $(-1{)}^k$. Weight-zero forms are constant: they descend holomorphically to the compactified modular curve, and the maximum modulus principle applies. There are no weight-two forms: $f(i)=i^{2}f(i)=-f(i)$ forces a zero at $i$, whose valence contribution $1/2$ exceeds $2/12$.

Every nonnegative even modular weight other than two is $4a+6b$ with $a,b\ge 0$. If $k\equiv 0(\mathrm{mod}4)$, take $b=0$; if $k\equiv 2(\mathrm{mod}4)$ and $k\ge 6$, take $b=1$. For $f\in M_k$, choose such a monomial $h=E_4^a{E}_6^b$, whose constant term is one. Subtracting the constant term $c$ of $f$ gives $f-ch\in S_k$, soInduction on modular weight, together with $1728\Delta =E_4^3-E_6^2$, proves that every modular form is a polynomial in $E_4,E_6$.

For algebraic independence, first fix one modular weight $w$. All solutions of $4a+6b=w$ have the same residue of $a$ modulo three and the same parity of $b$. Consequently their monomials can be writtenfor suitable $a_0,b_0,L$. On an open set where the common factor and $E_6$ are nonzero, a linear relation would give a polynomial relation inThis is nonconstant. By the open mapping theorem, a polynomial vanishing on all its values must be the zero polynomial. Thus same-weight monomials are linearly independent.

Different modular weights cannot cancel either. Suppose ${\sum }_w{P}_w(E_4,E_6)=0$ with each $P_w$ weighted homogeneous. Transform by ${\gamma }_n=\left(\begin{array}{cc}1& 0\\ n& 1\end{array}\right)$. At any fixed $z\in \mathbb{H}$ this givesThe numbers $nz+1$ are infinitely many distinct values, so the polynomial in that number vanishes identically, and every $P_w(z)=0$. The same-weight independence then sets every coefficient to zero. This is the graded weights separate analytic polynomial relations argument. Hencewith algebraically independent generators. Multiplying the two Eisenstein series by their nonzero lattice-normalization constants does not alter either generation or independence.