Let $S$ be a graded ring with decomposition $S = \bigoplus_{d \geq 0} S_d$, where the $S_d$ are additive abelian groups such that $S_d S_e \subseteq S_{d+e}$ for $e,d \geq 0$. An element in $S_d$ is called a homogeneous element of degree $d$. An ideal $\mathfrak{a}$ of $S$ is defined to be homogenous if $\mathfrak{a} = \bigoplus_{d\geq 0} (\mathfrak{a}\cap S_d)$.
I'm trying to prove that an ideal $\mathfrak{a}$ of $S$ is homogenous if and only if it can be generated by homogeneous elements.
If $\mathfrak{a}$ is a homogeneous ideal, then $\mathfrak{a} = \bigoplus_{d\geq 0} (\mathfrak{a}\cap S_d)$ and it is generated by $\bigcup_{d \geq 0} (\mathfrak{a} \cap S_d)$, which is a set of homogeneous elements.
I'm unsure about the other direction, though. Suppose $\mathfrak{a}$ is an ideal generated by a set $H$ of homogeneous elements in $S$, say $H = \bigcup_{d \geq 0} H \cap S_d$. Then $ \displaystyle \mathfrak{a} = \left\{ \sum_{h_i \in H} r_i h_i \big| \ \mathrm{finitely \ many} \ r_i \in S \ \mathrm{are \ non-zero} \right\}$. Given an element $a \in \mathfrak{a}$, we can thus write $a = \displaystyle \sum_{i=0}^{n} r_i h_i$ for $r_i \in S, \ h_i \in H$. But we can also write $r_i = \displaystyle \sum_{j=0}^{m_{i}} \alpha_{i,j}$ for each $i$, where $\alpha_{i,j} \in S_d$ for some $d$. So we have that $ \displaystyle a = \sum_{i=0}^n \sum_{j=0}^{m_i} \alpha_{i,j}h_i$. But since each $\alpha_{i,j}$ and each $h_i$ are homogeneous, and the $S_i$ are additive abelian groups, we have that $ \displaystyle a = \sum_{i=0}^k t_i$ where $t_i$ are homogeneous.
Why are the $t_i$ necessarily in $\mathfrak{a}$? I apologise if the notation I have used causes difficulty in following what I'm doing or in answering my question. In particular, I realise I have lost some information: we know precisely which of the $S_i$ each $t_j$ is in, and we also know that $k = p \ \mathrm{max}_i \ m_i $, where $p$ is the largest $i$ such that $r_j$ is contained in $S_i$ for some $j$.
Thanks