# Category of groups with central homomorphisms

From Groupprops

This article describes a category (in the mathematical sense) where the notion of "object" is groupand the notion of morphism is central homomorphism. In other words, it gives a category structure to the collection of all groups.

View other category structures on groups

## Definition

The **category of groups with central homomorphisms** is a category defined as follows:

Aspect | Name | Definition/description |
---|---|---|

objects | groups | A group is a set with associative binary operation admitting an identity element and inverse map. |

morphisms | central homomorphisms | A homomorphism of groups is termed a central homomorphism if . |

composition of morphisms | compose the homomorphisms as set maps | Given central homomorphisms and , the composite is the homomorphism . |

identity morphism | identity map from a group to itself. | For a group , the identity map is a map given by for all . |

## Categorical constants and constructs

Construct | Name in this category | Definition/description |
---|---|---|

isomorphism | isomorphism of groups | A bijective homomorphism; equivalently, a homomorphism whose inverse map is also a homomorphism. |

monomorphism | ? | An injective homomorphism where the image is a subgroup whose center is contained in the center of the whole group |

epimorphism | ? | A surjective homomorphism (the idea is to adapt the proof of epimorphism iff surjective in the category of groups by using a variant of the amalgamated free product that makes the homomorphism central) |

zero object | trivial group | The group with one element, namely its identity element. |

categorical product | the usual external direct product | We take the external direct product with the coordinate-wise projection maps. |

categorical coproduct | ? | We take the external free product with the natural inclusions, then quotient out by relations saying that the center of each of the factor groups centralizes all the other groups as well. |

## Relation with other categories

- The category is a subcategory of the category of groups with the same objects but where the morphism set for a pair of objects may be smaller.
- There is a natural functor from this category to the category of groups with homoclinisms.