Let $A$ be an integral domain and $I$ be an ideal of $A$ generated by a regular sequence. Is $I$ flat (as an $A$-module)?
Flat ideals in a ring
2
$\begingroup$
algebraic-geometry
commutative-algebra
flatness
-
0Is $A$ Noetherian? – 2011-04-18
1 Answers
7
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.