Why is $\mathcal{M}(\text{SL}_2(\mathbb{Z}))$ spanned by $E_4$ and $E_6$? - MathOverflow [closed]most recent 30 from http://mathoverflow.net2013-05-21T16:37:07Zhttp://mathoverflow.net/feeds/question/118639http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/118639/why-is-mathcalm-textsl-2-mathbbz-spanned-by-e-4-and-e-6Why is $\mathcal{M}(\text{SL}_2(\mathbb{Z}))$ spanned by $E_4$ and $E_6$?hx2013-01-11T16:07:16Z2013-01-11T17:27:56Z
<p>It is said that
$$
\mathcal{M}(\text{SL}_2(\mathbb{Z}))=\mathbb{C}[E_4,E_6]
$$</p>
<p>where $\mathcal{M}(\text{SL}_2(\mathbb{Z}))$ is the graded ring of module forms over $\text{SL}_2(\mathbb{Z})$ and $E_4,E_6$ are normalized Eisenstein series.</p>
<p>I'm new to modular form and not quite familiar about the Eisenstein series so I fail to prove it.</p>
<p>Any one give some ideas?</p>
http://mathoverflow.net/questions/118639/why-is-mathcalm-textsl-2-mathbbz-spanned-by-e-4-and-e-6/118651#118651Answer by Vahid Shirbisheh for Why is $\mathcal{M}(\text{SL}_2(\mathbb{Z}))$ spanned by $E_4$ and $E_6$?Vahid Shirbisheh2013-01-11T17:27:56Z2013-01-11T17:27:56Z<p>See Proposition 1.3.4 of Bump's book "Automorphic forms and representations". </p>