An ideal is homogeneous if and only if it can be generated by homogeneous elements 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
 A: I think you're getting lost in your notation. You need to write the given element $a$ as a sum of elements that belong to $\mathfrak a\cap S_d$. But this is already the case, because each $h$ belongs to some $\mathfrak a\cap S_d$.
So here is how I would write this down:
Assume $\mathfrak a$ is generated by homogeneous elements, say $\mathfrak a = \langle \bigcup_{i\geq 0}H_i \rangle$ (*), where $H_i\subseteq S_i$. Then for any $a\in\mathfrak a$, there exist  a collection $\{r_h\mid h\in H\}$ (only a finite number of them non-zero) such that
$$ a = \sum_{h\in H} r_h h = \sum_{i\geq 0} \sum_{h\in H_i} r_h h \in  \bigoplus_{i\geq 0} (\mathfrak a\cap S_i). $$
I should explain why the "$\in$" holds: we may write each $r_h$ as $r_h = \sum_{j\geq 0} r_{h,j}$, where $r_{h,j}\in S_j$ and $h\in H_i$ so $r_{h,j}h\in S_{i+j}$. But on the other hand, $h\in \mathfrak a$, and thus $r_{h,j}h\in r_{h,j}\mathfrak a\subseteq \mathfrak a$, because $\mathfrak a$ is an ideal. Therefore $r_{h,j}h \in \mathfrak a \cap S_{i+j} $.
Since this holds for any $a\in\mathfrak a$, we have that
$$ \bigoplus_{i\geq 0}(\mathfrak a\cap S_i) \subseteq \mathfrak a \subseteq \bigoplus_{i\geq 0}(\mathfrak a\cap S_i), $$
(the first inclusion is trivial, the seconds follows from the above). This means both are equal and $\mathfrak a$ is homogeneous.
(*) With $\langle X\rangle$ I mean: generated as an ideal. So these are all elements of the form $\sum_{x\in X} r_x x$, with $r_x = 0$ for almost all $x$.)
