Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In Hartshorne's "Algebraic Geometry", the following statement is a weaker form of Theorem 8.21A (e), which he quotes from Matsumuura's book on commutative algebra:

Proposition. Let $R$ be a regular local ring and $I=(x_1,\ldots,x_r)\subset R$ an ideal generated by a regular sequence. Let $A:=R/I$. Then, $$\begin{eqnarray*} \phi: A[T_1,\ldots,T_r] &\overset{_\sim}{\longrightarrow} & \mathrm{gr}_I(R) = \bigoplus\nolimits_{d\ge 0} {I^d}/{I^{d+1}} \\ T_i & \longmapsto & x_i \end{eqnarray*}$$ is an isomorphism of graded $A$-algebras.

In Hartshorne, the condition of being regular and local is strengthened to Cohen-Macaulay. However, I only need the above. I tried to look up the proof for the general statement in Matsumuura's book, but it seems rather involved (and honestly, a bit convoluted). I would like to use results about regular local rings and in turn, avoid introducing terminology like Hilbert-Samuel polynomials.

So, I guess I am asking for an "easy" proof of the above proposition. It seems rather easy for $r=1$, but I am somehow stuck trying to prove it by induction.

share|improve this question
1  
One reference is Bruns-Herzog, Theorem 1.1.8. You don't really need any assumption on $R$. –  Hailong Dao Nov 2 '11 at 19:24
    
That's just perfect. Make it an answer and I'll accept. –  Jesko Hüttenhain Nov 2 '11 at 23:13

1 Answer 1

up vote 2 down vote accepted

One reference is Bruns-Herzog, Theorem 1.1.8. You don't really need any assumption on $R$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.