Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Rings and Algebras Problem set #8. Nov. 10, 2011. 1. A morphism in a category C is a monomorphism if fx = fy implies x = y for morphisms x, y in C. Similarly, g
 

Summary: Rings and Algebras Problem set #8. Nov. 10, 2011.
1. A morphism in a category C is a monomorphism if fx = fy implies x = y for morphisms x, y in C. Similarly, g
is an epimorphism if xg = yg implies x = y.
a) Describe monomorphisms and epimorphisms in the category CS (the category with one object and a prescribed
monoid S as the only Hom-set).
b) Give an example of a monoid for which there are morphism in CS which are both monomorphisms and
epimorphisms but which are not isomorphisms. (Recall that a morphism f is an isomorphism if there is a
morphism g such that fg and gf both exist and are equal to the corresponding identity map.
2. Determine whether the notions of monomorphisms and injective maps (or epimorphisms and surjective maps)
coincide in the following categories:
a) AB; b) RING; c) TOP; d*) GRP.
3. Determine, which of the following correspondences define a functor with the obvious action on the morphisms:
a) GRP GRP, G G ;
b) GRP GRP, G Z(G);
c) AB AB, A t(A), where t(A) is the torsion subgroup of A;
d) RNG RNG, R J(R).
4. A product of objects Ai (i I) in a category C is a system (A, i) with A Ob C and i HomC(A, Ai) so that
whenever we have a system of morphisms i : B Ai then there exists a unique : B A so that i =
for each i. The coproduct of these objects is defined dually.
a) Prove that products and coproducts ­ if they exist in a category C ­ are unique, up to isomorphism.

  

Source: Ágoston, István - Institute of Mathematics, Eötvös Loránd University

 

Collections: Mathematics