7
$\begingroup$

A commutative ring $R$ is absolutely flat if every $R$-module is flat. Prove that the following are equivalent:

1) $R$ is absolutely flat

2) Every principal ideal of $R$ is idempotent

3) Every finitely generated ideal of $R$ is a direct summand

I'm stuck on implication $1) \to 2) $

$\endgroup$
8
$\begingroup$

If $\mathfrak a$ is an ideal in a ring $A$ and $M$ is an $A$-module, then the map $$ \begin{array}{ccc} M\otimes_A A/\mathfrak a &\to& M/\mathfrak aM \\ m\otimes (a+\mathfrak a)&\mapsto& ma+\mathfrak a M \end{array} $$ is an isomorphism, which we will call the quotienting isomorphism. Proving this map is an isomorphism is exactly Exercise 2.2 in Atiyah-Macdonald.

Now, suppose $R$ is absolutely flat and let $x\in R$. Then $$ 0\to (x)\to R\to R/(x)\to 0\tag{1} $$ is exact in $_{R}\mathsf{Mod}$. Since $R/(x)$ is flat, applying $(-)\otimes_R R/(x)$ to (1) gives an exact sequence $$ 0\to (x)\otimes_R R/(x)\to R\otimes_R R/(x)\to R/(x)\otimes_R R/(x)\to 0 $$ in $_{R}\mathsf{Mod}$. One then shows that the diagram $$ \begin{array}{ccccccccc} 0&\to& (x)\otimes_R R/(x)&\to &R\otimes_R R/(x)&\to &R/(x)\otimes_R R/(x)&\to& 0 \\ &&\downarrow && \downarrow && \downarrow \\ 0&\to& (x)/(x)^2&\to& R/(x)&=& R/(x)&\to& 0 \end{array}\tag{2} $$ commutes where the vertical arrows are the quotienting isomorphisms. This implies that the bottom row of (2) is exact so $(x)/(x)^2=0$ as required.

$\endgroup$
5
$\begingroup$

What happens if you tensor the short exact sequence $$0\to I\to R\to R/I\to 0$$ with $I$?

$\endgroup$
  • 4
    $\begingroup$ Dear Mariano, I can't find an answer to your question which would solve the problem. Could you please add some details? $\endgroup$ – Georges Elencwajg May 8 '14 at 10:43
  • $\begingroup$ @GeorgesElencwajg: For any ideals $I, J$, $\operatorname{Tor}^R_1(R/I,R/J) \cong (I \cap J)/IJ$. $\endgroup$ – zcn May 26 '14 at 19:07
  • $\begingroup$ @zcn: what does what you write have to do with Mariano's answer, who tensors with $I$ ? $\endgroup$ – Georges Elencwajg May 26 '14 at 21:41
  • $\begingroup$ @GeorgesElencwajg: Ah, I missed that part. In that case, I believe Mariano means: tensor with $R/I$ $\endgroup$ – zcn May 26 '14 at 21:44
0
$\begingroup$

I'll put in the picture because I could not write the diagram in latexenter image description here

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.