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
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    0 references