Take the 2-minute tour ×
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.

Consider $k$ a field and the rings $A=k[X^2,X^3]\subset B=k[X]$. How to prove that $B$ is not flat over $A$ by using only the definition of flatness that it maintains exact sequences after making tensor products?

share|improve this question
    
I know you wanted to prove this directly, but are you aware of the fact that flatness preserves normality. In your case $A$ is non-normal and $B$ is normal, so $B/A$ can't be flat. –  Alex Youcis Feb 10 at 8:23
    
@AlexYoucis Are you invoking faithfully flat descent? :D –  user38268 Feb 10 at 15:16
add comment

1 Answer 1

up vote 6 down vote accepted

Let $m = (x^2, x^3)A$, and consider the short exact sequence

$$0 \to m \to A \to A/m \to 0$$

Tensoring with $B$ over $A$ gives

$$m \otimes_A B \xrightarrow{\phi} B \to B/mB \to 0$$

where $\phi(m \otimes b) = mb$. Then $x^2 \otimes_A x - x^3 \otimes_A 1 \in \ker \phi$, but $x^2 \otimes_A x \ne x^3 \otimes_A 1$ in $m \otimes_A B$ (to see this, it suffies to check that they are distinct elements of the $k$-vector space $(m \otimes_A B) \otimes_A k \cong m \otimes_A (k \otimes_k k) \otimes_A B \cong (m/m^2) \otimes_k (B/mB)$. Now $\{\overline{x^2},\overline{x^3}\}$ is a basis of $m/m^2$, and $\{\overline{1},\overline{x}\}$ is a basis of $B/mB$, so $\overline{x^2} \otimes_k \overline{x}$, $\overline{x^3} \otimes_k \overline{1}$ are distinct basis elements of $(m/m^2) \otimes_k (B/mB)$). Thus $\phi$ is not injective.

share|improve this answer
    
The tensors are over $A$ (except when justifying that element is nonzero and reducing to $A/m$). I've edited to (hopefully) make it clearer –  zcn Feb 9 at 20:31
2  
Remarkable answer: you are real strong algebraist! Who are you? :) –  evgeniamerkulova Feb 9 at 20:35
    
@evgeniamerkulova: Thank you, kindly: although I'm often (too much) reminded of how little I know. Thanks for asking a nice question! –  zcn Feb 9 at 20:41
add comment

Your Answer

 
discard

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.