1
$\begingroup$

I would like to ask if there is a simple way to prove the non-flatness of the above morphism of rings using just the definition of a flat module.

1 Answers 1

2

Consider the injection $(s,t) \rightarrow \mathbb{C}[s,t]$. Tensor with $\mathbb{C}[x,y]$ and notice that the result is not injective. Indeed, the natural map $(s,t) \otimes_{\mathbb{C}[s,t]}\mathbb{C}[x,y]\rightarrow \mathbb{C}[x,y]$ sends $s \otimes y$ and $t \otimes 1$ to the same place. It is easy to check that these are not the same element of the tensor product.

In general, if something is not flat then there is some finitely generated ideal $I \subset R$ that will witness this failure.

  • 0
    I knew there had to be some finitely-generated ideal that worked... and it sort of felt right that the equation $sy = t$ would be important for reasons that I don't know how to put in words... so I tried $(s,t)$, and it worked.2012-11-29