In these notes, we introduce the reader to the categorical commutator theory (of subobjects), following the formal approach given by Mantovani and Metere in 2010. Such an approach is developed along the lines provided by Higgins, based on the notion of commutator word, introduced by the author in the context of varieties of -groups (groups equipped with additional algebraic operations of signature ). An internal interpretation of the commutator words is described, providing an intrinsic notion of Higgins commutator, which reveals to have good properties in the context of ideal determined categories. Furthermore, we will illustrate some applications of commutator theory in categorical algebra, such as a useful way to test the normality of subobjects on one side, and the construction of the abelianization functor on the other.

Categorical commutator theory / S. Mantovani, A. Montoli (COIMBRA MATHEMATICAL TEXTS). - In: New Perspectives in Algebra, Topology and Categories / [a cura di] M.M. Clementino, A. Facchini, M. Gran. - [s.l] : Springer, 2021. - ISBN 978-3-030-84318-2. - pp. 147-172 (( convegno Summer School tenutosi a Louvain-la-Neuve nel 2018-2019 [10.1007/978-3-030-84319-9_5].

Categorical commutator theory

S. Mantovani
Primo
;
A. Montoli
Ultimo
2021

Abstract

In these notes, we introduce the reader to the categorical commutator theory (of subobjects), following the formal approach given by Mantovani and Metere in 2010. Such an approach is developed along the lines provided by Higgins, based on the notion of commutator word, introduced by the author in the context of varieties of -groups (groups equipped with additional algebraic operations of signature ). An internal interpretation of the commutator words is described, providing an intrinsic notion of Higgins commutator, which reveals to have good properties in the context of ideal determined categories. Furthermore, we will illustrate some applications of commutator theory in categorical algebra, such as a useful way to test the normality of subobjects on one side, and the construction of the abelianization functor on the other.
Commutator theory; Semi-abelian category; Normal subobject
Settore MAT/02 - Algebra
Settore MAT/04 - Matematiche Complementari
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/885261
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact