Relative commutator theory in semi-abelian categories (Q456850): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(\mathcal A\) be a semi-abelian category, i.e., \(\mathcal A\) is pointed, exact and protomodular. If \(f:N\rightarrow A\) is a normal monomorphism then \(N\) is a normal subobject of \(A\). It is proved if \(N\) and \(M\) are normal subobjects of \(A\) then the join of \(N\) and \(M\) as a normal subobject of \(N\vee M\) coincides with their join as a subobject of \(N\cup M\). The other properties of normal subobjects of \(A\) are given. A full reflective subcategory \(\mathcal B\) of \(\mathcal A\) closed under subobjects and regular quotients is called a Birkhoff subcategory of \(\mathcal A\). A commutator defined to a relative Birkhoff subcategory \(\mathcal B\) of \(\mathcal A\) is studied. This commutator characterizes Janelidze and Kelly's \(\mathcal B\)- central extensions. When \(\mathcal B\) is determined by the abelian objects of \(\mathcal A\) then it coincides with Huq's commutator. If \(\mathcal A\) is a variety of \(\Omega\)-groups then it coincides with the relative commutator. | |||
Property / review text: Let \(\mathcal A\) be a semi-abelian category, i.e., \(\mathcal A\) is pointed, exact and protomodular. If \(f:N\rightarrow A\) is a normal monomorphism then \(N\) is a normal subobject of \(A\). It is proved if \(N\) and \(M\) are normal subobjects of \(A\) then the join of \(N\) and \(M\) as a normal subobject of \(N\vee M\) coincides with their join as a subobject of \(N\cup M\). The other properties of normal subobjects of \(A\) are given. A full reflective subcategory \(\mathcal B\) of \(\mathcal A\) closed under subobjects and regular quotients is called a Birkhoff subcategory of \(\mathcal A\). A commutator defined to a relative Birkhoff subcategory \(\mathcal B\) of \(\mathcal A\) is studied. This commutator characterizes Janelidze and Kelly's \(\mathcal B\)- central extensions. When \(\mathcal B\) is determined by the abelian objects of \(\mathcal A\) then it coincides with Huq's commutator. If \(\mathcal A\) is a variety of \(\Omega\)-groups then it coincides with the relative commutator. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Václav Koubek / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20J99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20K35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6094141 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semi-abelian category | |||
Property / zbMATH Keywords: semi-abelian category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutator | |||
Property / zbMATH Keywords: commutator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Birkhoff subcategory | |||
Property / zbMATH Keywords: Birkhoff subcategory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
extension | |||
Property / zbMATH Keywords: extension / rank | |||
Normal rank |
Revision as of 12:50, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative commutator theory in semi-abelian categories |
scientific article |
Statements
Relative commutator theory in semi-abelian categories (English)
0 references
16 October 2012
0 references
Let \(\mathcal A\) be a semi-abelian category, i.e., \(\mathcal A\) is pointed, exact and protomodular. If \(f:N\rightarrow A\) is a normal monomorphism then \(N\) is a normal subobject of \(A\). It is proved if \(N\) and \(M\) are normal subobjects of \(A\) then the join of \(N\) and \(M\) as a normal subobject of \(N\vee M\) coincides with their join as a subobject of \(N\cup M\). The other properties of normal subobjects of \(A\) are given. A full reflective subcategory \(\mathcal B\) of \(\mathcal A\) closed under subobjects and regular quotients is called a Birkhoff subcategory of \(\mathcal A\). A commutator defined to a relative Birkhoff subcategory \(\mathcal B\) of \(\mathcal A\) is studied. This commutator characterizes Janelidze and Kelly's \(\mathcal B\)- central extensions. When \(\mathcal B\) is determined by the abelian objects of \(\mathcal A\) then it coincides with Huq's commutator. If \(\mathcal A\) is a variety of \(\Omega\)-groups then it coincides with the relative commutator.
0 references
semi-abelian category
0 references
commutator
0 references
Birkhoff subcategory
0 references
extension
0 references