1.8. Group and Cogroup Objects 21 Comparing Large Sums and Products. If we have a collection {Xi | i ∈ I} of objects of a pointed category C, then we may construct a compar- ison map w : I Xi −→ I Xi just as in Problem 1.46(b). 1.8. Group and Cogroup Objects A group is a set G with a multiplication (which can be thought of as the map μ : G × G → G given by (x, y) → x · y) and, for each element, an inverse (which can be thought of as the map ν : G → G given by x → s−1), which are required to satisfy various properties. The main observation of this section is that all of these properties can be formulated abstractly in terms of diagrams. Let C be a pointed category, and let G ∈ C. Then G is a group object if there are maps μ : G × G → G (multiplication) and ν : G → G (inverse) which satisfy the following properties: (1) (Identity) The following diagram commutes: G (∗,id G ) idG G × G μ G (id G ,∗) idG G. (2) (Inverse) The following diagram commutes: G ∗ (ν,idG) G × G μ G (idG,ν) ∗ G. (3) (Associativity) The following diagram commutes: G × G × G μ×idG idG×μ G × G μ G × G μ G. It is sometimes useful to study objects with are not quite group objects. For example, if we drop the inverse conditions, we obtain a monoid object.
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2011 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.