On the ``three subobjects lemma and its higher-order generalisations

DOI10.1016/J.JALGEBRA.2019.10.049MaRDI QIDQ2285291zbMATH OpenOpenAlexWikidataFDO

Authors Cyrille Sandry Simeu, Tim Van der Linden

Publication date 8 January 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.00161

nilpotency cross-effect Higgins commutator algebraically coherent category semi-abelian

Solvable, nilpotent (super)algebras (17B30) Abelian categories, Grothendieck categories (18E10) Nilpotent groups (20F18) Cohomology of groups (20J06) Nonabelian homological algebra (category-theoretic aspects) (18G50) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)

Abstract: We solve a problem mentioned in an article of Berger and Bourn: we prove that in the context of an algebraically coherent semi-abelian category, two natural definitions of the lower central series coincide. In a first, "standard" approach, nilpotency is defined as in group theory via nested binary commutators of the form

[[X, X], X]

. In a second approach, higher Higgins commutators of the form

[X, X, X]

are used to define nilpotent objects. The two are known to be different in general; for instance, in the context of loops, the definition of Bruck is of the former kind, while the commutator-associator filtration of Mostovoy and his co-authors is of the latter type. Another example, in the context of Moufang loops, is given in Berger and Bourn's paper. In this article, we show that the two streams of development agree in any algebraically coherent semi-abelian category. Such are, for instance, all Orzech categories of interest. Our proof of this result is based on a higher-order version of the Three Subobjects Lemma of Cigoli-Gray-Van der Linden, which extends the classical Three Subgroups Lemma from group theory to categorical algebra. It says that any

n

-fold Higgins commutator

[K_{1}, d o t s, K_{n}]

of normal subobjects

K_{i}

of an object

X

may be decomposed into a join of nested binary commutators.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the ``three subobjects lemma and its higher-order generalisations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2285291)