Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $A$ is an integral domain and $I$ is an ideal of $A$ generated by a regular sequence $f_1,\ldots,f_r$. Is $I$ flat (as an $A$-module)?

share|cite|improve this question
Is $A$ Noetherian? – shamovic Apr 18 '11 at 12:22
up vote 7 down vote accepted

No, the ideal I needn't be flat. Consider the polynomial ring $k[X,Y]$ in two indeterminates over the field $k$. The ideal $I=(X,Y)$ is generated by the regular sequence $X,Y$ but it is not flat. Indeed, since I is finitely presented, it would be projective, of rank 1 hence free : the ideal $I$ would then be principal, which it is not.

share|cite|improve this answer
Perfect. Thanks! – Bonanza Apr 18 '11 at 16:16

Your Answer


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.