https://en.formulasearchengine.com/api.php?action=feedcontributions&user=83.233.149.188&feedformat=atom formulasearchengine - User contributions [en] 2021-08-04T09:42:34Z User contributions MediaWiki 1.37.0-alpha https://en.formulasearchengine.com/index.php?title=Category_of_groups&diff=234361 Category of groups 2012-08-22T13:41:03Z <p>83.233.149.188: Added adjoints, need interlinking</p> <hr /> <div>{{Refimprove|date=November 2009}}<br /> {{Groups}}<br /> In [[mathematics]], the [[category theory|category]] '''Grp''' has the [[class (set theory)|class]] of all [[Group (mathematics)|groups]] for objects and [[group homomorphism]]s for [[morphism]]s. As such, it is a [[concrete category]]. The study of this category is known as [[group theory]].<br /> <br /> There are two forgetful functors from '''Grp''':<br /> <br /> M:'''Grp''' → '''Mon'''<br /> <br /> U:'''Grp''' → '''Set'''<br /> <br /> Where M has two adjoints:<br /> <br /> One right; I:'''Mon'''→'''Grp'''<br /> <br /> One left; K:'''Mon'''→'''Grp'''<br /> <br /> Here I:'''Mon'''→'''Grp''' is the functor sending every monoid to the submonoid of invertible elements and K:'''Mon'''→'''Grp''' the functor sending every monoid to the Grothendieck group of that monoid.<br /> <br /> The forgetful functor U:'''Grp''' → '''Set''' have a left adjoint given by the composite KF:'''Set'''→'''Mon'''→'''Grp''' where F is the free functor.<br /> <br /> <br /> <br /> <br /> <br /> The [[monomorphism]]s in '''Grp''' are precisely the [[injective]] homomorphisms, the [[epimorphism]]s are precisely the [[surjective]] homomorphisms, and the [[isomorphism]]s are precisely the [[bijective]] homomorphisms.<br /> <br /> The category '''Grp''' is both [[complete category|complete and co-complete]]. The [[product (category theory)|category-theoretical product]] in '''Grp''' is just the [[direct product of groups]] while the [[coproduct|category-theoretical coproduct]] in '''Grp''' is the [[free product]] of groups. The [[zero object]]s in '''Grp''' are the [[trivial group]]s (consisting of just an identity element).<br /> <br /> The [[category of abelian groups]], '''Ab''', is a [[full subcategory]] of '''Grp'''. '''Ab''' is an [[abelian category]], but '''Grp''' is not. Indeed, '''Grp''' isn't even an [[additive category]], because there is no natural way to define the &quot;sum&quot; of two group homomorphisms. (The set of morphisms from the [[symmetric group]] ''S''&lt;sub&gt;3&lt;/sub&gt; of order three to itself, &lt;math&gt;E=\operatorname{Hom}(S_3,S_3)&lt;/math&gt;, has ten elements: an element ''z'' whose product on either side with every element of ''E'' is ''z'' (the homomorphism sending every element to the identity), three elements such that their product on one fixed side is always itself (the projections onto the three subgroups of order two), and six automorphisms. If '''Grp''' were an additive category, then this set ''E'' of ten elements would be a [[ring (mathematics)|ring]]. In any ring, the zero element is singled out by the property that 0''x''=''x''0=0 for all ''x'' in the ring, and so ''z'' would have to be the zero of ''E''. However, there are no two nonzero elements of ''E'' whose product is ''z'', so this finite ring would have no [[zero divisor]]s. A [[finite ring]] with no zero divisors is a [[field (mathematics)|field]], but there is no field with ten elements because every [[finite field]] has for its order, the power of a prime.)<br /> <br /> Every morphism ''f'' : ''G'' → ''H'' in '''Grp''' has a [[kernel (category theory)|category-theoretic kernel]] (given by the ordinary [[kernel (algebra)|kernel of algebra]] ker f = {''x'' in ''G'' | ''f''(''x'') = ''e''}), and also a [[cokernel (category theory)|category-theoretic cokernel]] (given by the [[factor group]] of ''H'' by the [[Normal closure (group theory)|normal closure]] of ''f''(''H'') in ''H''). Unlike in abelian categories, it is not true that every monomorphism in '''Grp''' is the kernel of its cokernel.<br /> <br /> The notion of [[exact sequence]] is meaningful in '''Grp''', and some results from the theory of abelian categories, such as the [[nine lemma]], the [[five lemma]], and their consequences hold true in '''Grp'''. The [[snake lemma]] however is not true in '''Grp'''.<br /> <br /> ==References==<br /> * {{Cite book<br /> |first=Robert<br /> |last=Goldblatt<br /> |title=Topoi, the Categorial Analysis of Logic<br /> |url=http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&amp;id=3|accessdate=2009-11-25<br /> |edition=Revised<br /> |year=2006<br /> |origyear=1984<br /> |publisher=[[Dover Publications]]<br /> |isbn=978-0-486-45026-1}}<br /> <br /> {{DEFAULTSORT:Category Of Groups}}<br /> [[Category:Category-theoretic categories|Groups]]<br /> [[Category:Group theory]]<br /> <br /> [[es:Categoría de grupos]]<br /> [[nl:Categorie van groepen]]</div> 83.233.149.188