Further remarks on the ``Smith is Huq'' condition (Q2516573): Difference between revisions

\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.