Let $I$ be an ideal in a commutative graded ring $R$, $M$ be a finitely generated graded $R$-module. Let $\varepsilon(M)$ be the smallest degree of a homogeneous element of $M$. An ideal $J$ is called an $M$-reduction of $I$ if $I^{n+1}M=JI^{n}M$ for some $n>0$. Define :


$$d(I):=max\lbrace \text{deg}f| f \text{ belongs to a minimal generating set of } I \rbrace$$
 $$\rho\_{M}(I)=min\lbrace d(J)|J\text{ is an M reduction of I}\rbrace$$


I faced the following problem : $d(I^{n}M)\ge \rho\_{M}(I)+\varepsilon(M)$. This is a lemma in a paper, which can be found here :<http://arxiv.org/abs/math/0212161v1>


Here is the proof : 



> 
> We may write $I = J + K$, where $J$ and $K$ denote the ideals generated by the
>  homogeneous elements of$I$ of degree $< \rho\_M(I)$ and $\geq \rho\_M (I)$, respectively. Then $I^nM=JI^{n-1}M+K^nM$
>  Note that$K^n M$ is generated by homogeneous elements of degree $\geq \rho\_M(I)n+ \varepsilon(M)$. If $d(I^{n}M)\ge \rho\_{M}(I)+\varepsilon(M)$, then $I^{n}M=JI^{n-1}M$. Hence $J$ is an $M$-reduction of $I$.
>  Since by definition of $J$, $d(J) <\rho\_M (I)$, this gives a contradiction to the definition of $\rho\_M (I)$
> 
> 
> 


My question is why : $I^nM=JI^{n-1}M+K^nM$ ? How can we get it ? 


Please help me. Thanks.



Degree bound for power of ideal
I guess this follows from how to compute $I^n$. Since $I = J + K, \; I^n = J^n + J^{n-1}K + \cdots + K^n = J(J^{n-1} + \cdots + K^{n-1}) + K^n = JI^{n-1} + K^n$. 


