Anticommutativity and the triangular lemma

DOI10.1007/S00012-021-00710-ZMaRDI QIDQ1996098zbMATH OpenOpenAlexWikidataFDO

Authors Michael Hoefnagel

Publication date 3 March 2021

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

anticommutativitycongruence distributivitydirectly decomposable congruence classesmajority categoriesshifting lemmatriangular lemma

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)

Abstract: For a variety $mathcalV$, it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points $pi:mathrmPt(mathbbC)ightarrowmathbbC$, if and only if Gumm's shifting lemma holds on pullbacks in $mathcalV$. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain categorical $extitanticommutativity$ condition. In particular, we show that this anticommutativity and its local version are Mal'tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corollary, every locally anticommutative variety $mathcalV$ has directly decomposable congruence classes in the sense of Duda, and the converse holds if $mathcalV$ is idempotent.

Recommendations

• On the anticommutativity in Leibniz algebras
• Anti-commutators and the related trace formulas
• scientific article; zbMATH DE number 4110975
• Anticommuting derivations
• On the role played by anticommutativity in Leibniz algebras
• scientific article; zbMATH DE number 1604242
• Anti-commuting maps of upper triangular matrix Lie algebras
• Anticommutant Lifting and Anticommuting Dilation
• On certain anticommutative algebras
• NONCOMMUTATIVE DE LEEUW THEOREMS

Cites work

• \(\mathcal{M}\)-coextensive objects and the strict refinement property
• A categorical genealogy for the congruence distributive property
• Arithmetical categories and commutator theory
• Centrality and connectors in Maltsev categories.
• Characterizations of majority categories
• COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
• Congruence join semidistributivity is equivalent to a congruence identity.
• Congruence Relations in Direct Products
• Diagram chasing in Mal'cev categories
• Exact categories and categories of sheaves
• Facets of congruence distributivity in Goursat categories
• Geometrical methods in congruence modular algebras
• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 2135243 (Why is no real title available?)
• scientific article; zbMATH DE number 1924515 (Why is no real title available?)
• scientific article; zbMATH DE number 2113401 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Implicative Semi-Lattices
• Internal categories and groupoids in congruence modular varieties
• Intrinsic centrality and associated classifying properties
• Introduction to extensive and distributive categories
• Majority categories
• Mal'cev categories and fibration of pointed objects
• On difunctionality of class relations
• Products and coequalizers in pointed categories
• Some remarks on internal pregroupoids in varieties
• Subtractive categories
• The shape of congruence lattices
• The triangular principle is equivalent to the triangular scheme
• Varieties having directly decomposable congruence classes

Cited in

(7)

• Matrix taxonomy and Bourn localization
• Anticommuting derivations
• Anticommutant Lifting and Anticommuting Dilation
• The matrix taxonomy of finitely complete categories
• Products and coequalizers in pointed categories
• scientific article; zbMATH DE number 7692243 (Why is no real title available?)
• Categorical aspects of congruence distributivity

This page was built for publication: Anticommutativity and the triangular lemma

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