diff options
Diffstat (limited to 'ch1_cats.tex')
| -rw-r--r-- | ch1_cats.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ch1_cats.tex b/ch1_cats.tex index c8a2520..f2485ae 100644 --- a/ch1_cats.tex +++ b/ch1_cats.tex @@ -613,7 +613,7 @@ correspondiente para epimorfismos. suprayectivos. \item No en todas las variedades algebraicas los epimorfismos son suprayectivos. Por ejemplo, en $\bRing$, la inclusión $u:\sInt\to\sRat$ es - suprayectiva, pues si $f,g:\sRat\to R$ cumplen que + un monomorfismo, pues si $f,g:\sRat\to R$ cumplen que $f\circ u=g\circ u:\sInt\to R$, para $x,y\in\sInt$, $f(\frac xy)=\frac{f(x)}{f(y)}=\frac{(f\circ u)(x)}{(f\circ u)(y)}$, y lo mismo ocurre con $g$, luego $f=g$. |