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

DOI10.1016/J.JALGEBRA.2019.10.049zbMATH Open1471.18011arXiv1904.00161OpenAlexW2932157318WikidataQ124974760 ScholiaQ124974760MaRDI QIDQ2285291FDOQ2285291

Authors: Cyrille Sandry Simeu, Tim Van der Linden 

Publication date: 8 January 2020

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

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,dots,K_n]$ of normal subobjects $K_i$ of an object $X$ may be decomposed into a join of nested binary commutators.

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

Recommendations

• Categorical commutator theory
• Normalities and commutators
• scientific article; zbMATH DE number 2152028
• The orthogonal subcategory problem and the small object argument
• scientific article; zbMATH DE number 2125655
• The 3-by-3 lemma for regular Goursat categories
• Weighted commutators in semi-abelian categories
• On the normality of Higgins commutators
• Central reflections and nilpotency in exact Mal'tsev categories
• Commutative objects, central morphisms and subtractors in subtractive categories

zbMATH Keywords

nilpotencycross-effectHiggins commutatoralgebraically coherent categorysemi-abelian

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Semi-abelian categories
• Groups with Multiple Operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Obstruction theory in algebraic categories. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on the ``Smith is Huq condition
• Title not available (Why is that?)
• Iterated Peiffer pairings in the Moore complex of a simplicial group
• Algebraic exponentiation in general categories
• The ternary commutator obstruction for internal crossed modules
• A categorical approach to commutator theory
• Higher Hopf formulae for homology via Galois theory
• \(N\)-fold Čech derived functors and generalised Hopf type formulas
• Nilpotency and Dimension Series for Loops
• Mal'cev categories and fibration of pointed objects
• The notion of lower central series for loops.
• Normalities and commutators
• Smash product of pointed objects in lextensive categories
• On actions and strict actions in homological categories
• On the normality of Higgins commutators
• Resolutions, higher extensions and the relative Mal'tsev axiom
• A characterisation of Lie algebras amongst anti-commutative algebras
• Quadratic functors on pointed categories
• Algebraically coherent categories
• Central reflections and nilpotency in exact Mal'tsev categories
• Higher central extensions and cohomology
• On torsion-free nilpotent loops
• A decomposition formula for the weighted commutator

Cited In (4)

• Hall's criterion for nilpotence in semi-abelian categories
• Normalities and commutators
• An intrinsic approach to the non-abelian tensor product via internal crossed squares
• On the ternary commutator. I: Exact Mal'tsev categories

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)