A Note on the Abelianization Functor |
| |
Authors: | Dominique Bourn |
| |
Institution: | Laboratoire de Mathématiques Pures et Appliquées, Joseph Liouville, Université du Littoral, Calais Cedex, France and Centre for Mathematical Structures, Department of Mathematical Sciences, Stellenbosch University, South Africa |
| |
Abstract: | It is well known that the abelianization of a group G can be computed as the cokernel of the diagonal morphism (1G, 1G): G → G × G in the category of groups. We generalize this to arbitrary regular subtractive categories, among which are the category of groups, the category of topological groups, and the categories of other group-like structures. We also establish that an abelian category is the same as a regular subtractive category in which every monomorphism is a kernel of some morphism. |
| |
Keywords: | Abelian category Abelian object Abelianization Approximate subtraction Internal abelian group Internal subtraction Subtractive category Subtractive variety |
|
|