Further remarks on the ``Smith is Huq'' condition (Q2516573)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Further remarks on the ``Smith is Huq'' condition |
scientific article |
Statements
Further remarks on the ``Smith is Huq'' condition (English)
0 references
3 August 2015
0 references
\textit{D. Bourn} and \textit{M. Gran} proved in [Theory Appl. Categ. 9, 151--165 (2001; Zbl 1004.18004)] that, in a pointed strongly protomodular category, two equivalence relations commute if and only if their corresponding normal monomorphisms commute. Due to the origin of the two general notions of commutators which are related in that result, \textit{N. Martins-Ferreira} and \textit{T. Van der Linden} called this fact in [Appl. Categ. Struct. 20, No. 2, 157--187 (2012; Zbl 1255.18008)] as the `` Smith is Huq'' condition. Now, in this paper, the authors compare this condition (SH) with three commutator conditions in semiabelian categories. First, they find an equivalent condition: ``Any change of base functor with respect to the fibration of points reflects the centralisation of equivalence relations''. Then, they study a stronger than (SH) condition which takes commutation of non-normal subobjects into account and, finally, another even stronger condition requiring that weighted commutators are independent of the chosen weight.
0 references
semi-abelian category
0 references
Higgins commutator
0 references
Huq commutator
0 references
Smith commutator
0 references
weighted commutator
0 references
fibration of points
0 references