Homogeneous ideal and degree of generators

Let $I$ be a homogeneous ideal in a graded local commutative ring $R$, $S$ be its minimal homogeneous system of generators. So, we know that the cardinality of $S$ is unique as the dimension of the vector space $I/\mathfrak{m}I$, where $\mathfrak{m}$ is the maximal graded ideal of $R$.

My question is the following: Is the degree of each element of $S$ uniquely determined by $I$?

-
There is in general no "the minimal homog. system of generators": there are usually many minimal such things. –  Mariano Suárez-Alvarez Oct 8 '12 at 18:13

If $R$ is a graded $K$-algebra, then the answer is yes (in the folowing sense): exactly $\dim_K (I/\mathfrak{m}I)_i$ among the elements of $S$ have degree $i$.

-
Could you please show it more precisely ? In fact, I care about the case that $R$ is a polynomial ring over a field and $I$ is its graded ideal. –  knot Oct 8 '12 at 15:58
This can be rephrased as «Every minimal space of homogeneous generators is isomorphic, as a graded vector space, to $\operatorname{Tor}^R_1(K,M)$». This could serve as a motivation to learn what $\operatorname{Tor}$ is! :-) –  Mariano Suárez-Alvarez Oct 8 '12 at 18:16
$\mathrm{Tor}_1$ or $\mathrm{Tor}_0$? –  user26857 Oct 8 '12 at 19:04
@MarianoSuárez-Alvarez I have the same question as navigetor23. –  knot Oct 9 '12 at 0:02
@navigetor23 : Could you please explain for me, what is $R(-\text{deg}(x_i))$ ? Why the minimality of sytem of generator of $M$ implies that $F_{0}/\mathfrak{m}F_{0}\cong M/\mathfrak{m}M$ ? –  knot Oct 9 '12 at 0:38

Fix $i\ge 1$ and let $S_i=S\cap I_i$ be the set of elements of degree $i$ in $S$. Let us prove that $S_i$ has $\dim_k (I/\mathfrak m I)_i$ elements, where $k$ is the residue field of $R$.

Let $f\in I_i$. Then $$f=r_1 s_1 + \dots +r_n s_n$$ where $r_j\in R$ are homogeneous and $S=\{ s_1, \dots, s_n\}$. We can just keep the homogeneous components in $r_j$ of the right degree so that $\deg r_j+\deg s_j=i$ for all $j\le n$. If $\deg r_j>0$, then $r_j\in \mathfrak m$ and $r_js_j\in \mathfrak m I$. This means that modulo $\mathfrak m I$, $I_i$ is generated by the elements of $S_i$.

Now suppose $s_1, s_2, \dots, s_m$ are the elements of $S_i$. If $m$ is bigger than the dimension of $I/\mathfrak m I$ as $k$-vector space, then, up to renumbering, we have $$s_1\in t_2s_2+\dots + t_{m} s_{m} + \mathfrak m I, \quad t_i\in R$$ Expanding $I$ with $s_1, \dots, s_n$, we see that $s_1\in s_2 R + \dots + s_n R$ and $S$ would not be minimal. Contradiction.

-