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)?
Tell me more
×
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.
|
|
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. |
|||||
|
