Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a (commutative) noetherian ring, and let $I \subseteq A$ be an ideal. It is not hard to show that if $I$ is generated by a length $n$ regular sequence, then the $A/I$-module $I/I^2$ is a free module of rank $n$. Is the converse true? if we know that $I/I^2$ is free, does it follows that $I$ is generated by a regular sequence?

Thanks!

share|improve this question
1  
Although this isn't quite the right notion, you are on to something by trying to relate these two. It turns out that $A$ is LCI if and only if the cotangent complex is concentrated in degree -1, which is related to the cotangent module. –  Matt Feb 13 '11 at 0:18

2 Answers 2

up vote 3 down vote accepted

No. Here are two counterexamples:

It is possible to have $I=I^2$, in which case $I$ is generated by an idempotent, which is not a regular element.

If $A$ is local, and $I$ the maximal ideal, then $I/I^2$ is always free over the residue field $A/I$, but in general $I$ is not generated by a regular sequence. (If this is true, then $A$ is called a regular local ring.)

share|improve this answer
    
so easy... don't know how I missed this. Thanks! –  the L Feb 12 '11 at 17:52

Actually, your guess is right with a little more assumption. Namely, in a Noetherian local ring $A$, TFAE for an ideal $I$:

1) $I$ has finite projective dimension and $I/I^2$ is a free $A/I$-module.

2) $I$ is generated by a regular sequence.

(this is a result by Vasconcelos, I just found it as Exercise 20.23 in Eisenbud's book)

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.