|
A group object is a formalization of the concept of a group with additional structure, such as a topological group, a Lie group, or a group variety.
Let  be a category with a terminal object  .
Definition 1 A group object in  is an object  of  for which the products  and
 exist, along with  morphisms
and
These morphisms must make the following diagrams commute:
- Associativity
-
- Identity
-
and
- Inverse
-
and
This definition may look unfamiliar if you are not comfortable with category theory, but it becomes much clearer if  has elements. (In which case,  can be taken to be a set with a single element, which we shall denote as “ ”.) Then the commutativity of the first diagram (“Associativity”) is exactly the condition
that is,  is associative. Similarly, the second and third diagrams (“Identity”) commute if and only if
 and   is an identity element. The fourth and fifth (“Inverse”) commute if and only if
 and   is an inverse of  .
Thus if  is a category of sets with some extra structure, then  is a group object if and only if the group operations respect the structure (that is, are morphisms of  ).
If  is a suitable category of objects that already have a group structure, (such as a ring, a field, or a vector space) then every object in  is a group object in a natural way, that is, using the associated operations.
A homomorphism of group objects is defined in the obvious way:
Once again, this definition looks much worse than it is; if  has points, this is exactly the familiar definition of a group homomorphism, with the additional condition that  must be a morphism in  .
This definition, with its many diagrams, may seem unnecessarily complicated since it just reduces to a group with an additional condition. However, in some categories, the objects do not have points; in others, the points do not tell the same story (there may be several morphisms with the same effect on points). In these categories, the full definition is needed. One such category is the category of schemes; a group scheme does not have meaningful points in the usual sense.
Finally, it is worth noting that, by Yoneda's lemma, we can view group objects as functors into the category of groups. This allows one to use results from category theory to give information about group objects.
|
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ (G\times G) \times G \ar@{=}[r] ... ...}}\times m}\ G\times G\ar[dr]^m & & G\times G\ar[dl]_m \ & G & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img12.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ (G\times G) \times G \ar@{=}[r] ... ...}}\times m}\ G\times G\ar[dr]^m & & G\times G\ar[dl]_m \ & G & } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G\ar[ddr]_{\mathrm{id}}\ar[dr] &... ...l] & E \ar[l]^e\ar[ddll]^e\ & G\times G \ar[d]^m & & \ & G & & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img13.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G\ar[ddr]_{\mathrm{id}}\ar[dr] &... ...l] & E \ar[l]^e\ar[ddll]^e\ & G\times G \ar[d]^m & & \ & G & & } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ E \ar[r]^e\ar[ddrr]^e & G\ar[dr]... ...[dl]\ar[ddl]^{\mathrm{id}}\ & & G\times G \ar[d]^m & \ & & G & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img14.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ E \ar[r]^e\ar[ddrr]^e & G\ar[dr]... ...[dl]\ar[ddl]^{\mathrm{id}}\ & & G\times G \ar[d]^m & \ & & G & } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G \ar[r]^{({\mathrm{id}},i)}\ar[dr] & G\times G \ar[r]^m & G\ & E\ar[ur]^{e} & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img15.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G \ar[r]^{({\mathrm{id}},i)}\ar[dr] & G\times G \ar[r]^m & G\ & E\ar[ur]^{e} & } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G \ar[r]^{(i,{\mathrm{id}})}\ar[dr] & G\times G \ar[r]^m & G\ & E\ar[ur]^{e} & } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img16.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G \ar[r]^{(i,{\mathrm{id}})}\ar[dr] & G\times G \ar[r]^m & G\ & E\ar[ur]^{e} & } } \end{xy}$")
![$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G\times G \ar[d]_{m_G}\ar[r]^{(\phi,\phi)} & H\times H \ar[d]^{m_H} \ G \ar[r]^\phi & H } } \end{xy}$](http://images.planetmath.org:8080/cache/objects/5606/l2h/img38.png "$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ G\times G \ar[d]_{m_G}\ar[r]^{(\phi,\phi)} & H\times H \ar[d]^{m_H} \ G \ar[r]^\phi & H } } \end{xy}$")