Abstract: The notion of semi-abelian category as proposed in this paper is designed to capture typical algebraic properties valid for groups, rings and algebras, say, just as abelian categories allow for a generalized treatment of abelian-group and module theory. In modern terms, semi-abelian categories are exact in the sense of Barr and protomodular in the sense of Bourn and have finite coproducts and a zero object. We show how these conditions relate to "old" exactness axioms involving normal monomorphisms and epimorphisms, as used in the fifties and sixties, and we give extensive references to the literature in order to indicate why semi-abelian categories provide an appropriate notion to establish the isomorphism and decomposition theorems of group theory, to pursue general radical theory of rings, and how to arrive at basic statements as needed in homological algebra of groups and similar non-abelian structures.
Publication Year: 2002
Publication Date: 2002-03-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 465
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot