Let $I$ be a graded ideal in a polynomial ring $R$, which is generated minimally by $x_1,...,x_k$. Then the power of $I$, i.e $I^t$ is generated by monomials of the form $x_{1}^{a_1}...x_{n}^{a_{n}}$ where $a_1+...+a_n=t$. Denote this set by $S$.

Can we say anything (others than above)about the minimal generating set of $I^{t}$? Is it $S$ ?

Given a minimal generating set for a graded ideal in a graded commutative ring, from these how much do we know about the minimal generating set for the power of it?

**Edit** : Here is an example for precising my question :

In the polynomial ring $k[x,y,z]$ let $I=(x^2, xy^3, y^2z^3)$, then $I^2=(x^4, x^2y^6, y^4z^6, x^3y^3, xy^5z^3, x^2y^2z^3)$

Is $\lbrace x^4, x^2y^6, y^4z^6, x^3y^3, xy^5z^3, x^2y^2z^3\rbrace$ a minimal generating set for $I^2$ ?

**Update** There are some typing mistake that I have not noticed. I have change my question. This time, the generating set of $I$ is minimal. So what can we say about the generating set for $I^2$ above ? Is it minimal?
Thank you everyone for helping me answer my question!

12more comments