# Epic maps in the category of commutative rings with identity.

Here all rings are assumed to lie in the category $\cal C$ of commutative rings with identity, and ${\cal C} (\ R\ ,\ S\ )$ is the set of all ring homomorphisms $F$ from $R$ to $S$ for which $F(1_R)=F(1_S)$. Then $F\in{\mathcal C}(\ R\ ,\ S)$ induces an $R$-module sructure on $S$. Since the functor $\otimes_R$ is right exact, it is not difficult to see that $$S\otimes_RS \cong S\cong S\otimes_SS {\mathrm{\ as \ }} R{\mathrm{-algebras}} \iff \left(S\left/{\mathrm{image}}(F)\right.\right)\otimes_RS=0.\tag{ *}$$

Intuitively, these equivalent conditions seem to show that, for $s_1,\ s_2\ \in S$, the product $s_1 \cdot s_2\in S$ is determined completely by $F(R)$, and just as for localizations, this should show that the equivalent conditions in $(*)$ should also be equivalent to other special statements.

My question if the following: please give, by a reference or a proof or a counterexample to each of the two directions of the following conjecture: $$S\otimes_RS\cong S \iff F \mathrm{\ is\ a\ flat\ epimorphism\ in\ the \ category \ \mathcal{C}.}$$

-
Please elaborate on (*). –  user26857 Feb 1 '13 at 8:19
@YACP: See any book on Homological Algebra for the fact that $R\otimes_RS\cong S$ and for right exactness which gives $S\rightarrow S\otimes_RS$ onto $\iff$ $S\otimes_RS$ is the zero map $\iff$ $(S/F(R))$ is the image of a zero map. –  Barbara Osofsky Feb 1 '13 at 21:01
I still don't get it: $S\to S\otimes_RS$ onto is the same thing with $S\otimes_RS\cong S$? If yes, why? –  user26857 Feb 1 '13 at 21:47
For epimorphisms of commutative rings, see mathoverflow.net/questions/109/… and the references there. –  Martin Brandenburg Feb 2 '13 at 18:41
@Barbara: Your statements and proofs are not correct. Be more careful, then you will see it. –  Martin Brandenburg Feb 2 '13 at 18:44
show 1 more comment

It is a general theorem that in any category, a map $f : A \to B$ is an epimorphism if and only if the diagram

$$\begin{matrix} A &\to& B \\ \downarrow & & \downarrow \\ B &\to& B\end{matrix}$$

is a pushout square, where the top and left arrows are $f$ and the right and bottom arrows are the identity.

In the category of commutative rings, pushouts are tensor products. That is, the following is a pushout square

$$\begin{matrix} R &\to& S \\ \downarrow & & \downarrow \\ T &\to& S \otimes_R T\end{matrix}$$

(where the top and left arrows are the maps used to induce an $R$-module structure on $S$ and $T$)

Therefore, $R \to S$ is epimorphic if and only if the multiplication map $S \otimes_R S \to S$ is an isomorphism.

I suspect simply having $S \cong S \otimes_R S$ is not enough.

-
Thanks very much. I edited $(*)$ as to read as $R$-algebras. I really appreciate the proof. –  Barbara Osofsky Feb 2 '13 at 21:30