Let $P,Q,R$ be the Fourier series of the Eisenstein series $E\_2,E\_4,E\_6$, that is,


$$
P(q)=1-24\sum\_{n=1}^{\infty}\sigma\_1(n)q^n,
$$


$$
Q(q)=1+240\sum\_{n=1}^{\infty}\sigma\_3(n)q^n,
$$


$$
R(q)=1-504\sum\_{n=1}^{\infty}\sigma\_5(n)q^n.
$$


I heard that $P,Q,R$ are algebraically independent over $\mathbb C(q)$, due to Mahler, but I cannot find a reference. Could you help me if you know the reference?


Meanwhile, I found 'On Algebraic Differential Equations Satisfied by Automorphic Functions', by Mahler, 1969. I do not think that this paper addresses this topic, but if it does, why does it imply the algebraic independence of $P,Q,R$? 



Algebraic independence of $P,Q,R$ or $E_2,E_4,E_6$ over $\mathbb C(z)$
I think the follwing is the answer of this question. It is not depend on the above comments because I didn't understand them. This is just my approach.
(But not fully my idea because it depends on a strong proposition which is already known, and the remaining part is just a corollary.)



> 
> Proposition. Let $f$ be a modular form of weight $k$, defined over $\mathbb Q^{\mathrm{alg}}$. If $f$ is non constant, then the functions $f, Df$ and $D^2 f$ are algebraically independent over the function field $\mathbb C(q)$.
> 
> 
> 


The proof is in the book, 'Introduction to Algebraic Independence Theory', Y.V.Nesterenko and P.Philippon, (Eds), Ch.1 prop 1.1. Here $q=e^{2\pi i \tau}$ and $D=\frac{1}{2\pi i}{\tau}=q\frac{d}{dq}$. 


Let $\Delta = E\_4^3-E\_6^2$, cusp form of weight 12. Due to Ramanujan, we have the following formulas :


$$
DP=\frac{1}{12}(P^2-Q), \quad DQ=\frac{1}{3}(PQ-R), \quad DR=\frac{1}{2}(PR-Q^2).
$$ 


Thus we have $D\Delta = P\Delta$. Take $D$ in both side and do some elementary algebra, we have


$$
Q=13\frac{(D\Delta)^2}{\Delta^2}-12\frac{D^2 \Delta}{\Delta}.
$$


By the proposition, $\{\Delta, D\Delta, D^2\Delta\}$ is algebraically independent over $\mathbb C(q)$, so $\{Q^3-R^2,P,Q\}$ is algebraically independent over $\mathbb C(q)$, so $\{P,Q,R^2\}$ is algebraically independent over $\mathbb C(q)$. This is equivalent to say that $R^2$ is transcendental over $\mathbb C(q)[P,Q]$, and this implies that $R$ is transcendental over $\mathbb C(q)[P,Q]$, i.e. $\{P,Q,R\}$ is algebraically independent over $\mathbb C(q)$.


