Further remarks on the ``Smith is Huq'' condition (Q2516573)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    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
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references