3 edited title

flatness condition for for local noetherian ring without nilpotent elements

2 edited title; added 2 characters in body

flatness condition for forlocalnoetherianringwithoutnilpotentelements

In SGA 1, chapter 4, there is a corollary describing a flatness condition for a module of finite type over a local noetherian integral ring. The corollary is number 4.4, and states:

Suppose that $A$ is a local noetherian integral ring with maximal ideal $I$ and residue field $k = A/I$ and field of fractions $K$. Let $M$ be a module of finite type over $A$. Then saying that $M$ is flat (note: SGA actually cites here a previous proposition with equivalent conditions of flatness which in this case is satisfied) is equivalent to saying that $M\otimes_A K$ and $M\otimes_A k$ are vector spaces of the same dimension.

There is a remark immediately following this corollary saying the reader is left to generalize this to the case where $A$ is only assumed to be a ring without nilpotent elements. How does one show this more general case?

1

flatness condition for

In SGA, chapter 4, there is a corollary describing a flatness condition for a module of finite type over a local noetherian integral ring. The corollary is number 4.4, and states:

Suppose that $A$ is a local noetherian integral ring with maximal ideal $I$ and residue field $k = A/I$ and field of fractions $K$. Let $M$ be a module of finite type over $A$. Then saying that $M$ is flat (note: SGA actually cites here a previous proposition with equivalent conditions of flatness which in this case is satisfied) is equivalent to saying that $M\otimes_A K$ and $M\otimes_A k$ are vector spaces of the same dimension.

There is a remark immediately following this corollary saying the reader is left to generalize this to the case where $A$ is only assumed to be a ring without nilpotent elements. How does one show this more general case?