Relative commutator theory in semi-abelian categories (Q456850): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081849317 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1108.3909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5628320 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4827951 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3516439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3978968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mal'cev categories and fibration of pointed objects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(3\times 3\) lemma and protomodularity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intrinsic centrality and associated classifying properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4663626 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156493 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Central extensions in semi-abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Centrality and connectors in Maltsev categories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2762222 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on Maltsev and Goursat categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative commutator theory in varieties of \(\Omega\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher central extensions and Hopf formulae / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3552031 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Protoadditive functors, derived torsion theories and homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Hopf formulae for homology via Galois theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156477 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4931928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois theory and commutators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Baer-Invariants of Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homology and generalized Baer invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the second cohomology group in semi-abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups with Multiple Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pure Galois theory in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994021 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois groups, abstract commutators, and Hopf formula / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois theory and a general notion of central extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342440 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-abelian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23--28, 2002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologie non abelienne de structures algébriques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5534968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normalities and commutators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A categorical approach to commutator theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156482 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3552037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Admissible Galois structures and coverings in regular Mal'cev categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mal'cev varieties / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:17, 5 July 2024
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