On supernilpotent algebras

DOI10.1007/S00012-018-0574-0MaRDI QIDQ1756685zbMATH OpenOpenAlexFDO

Authors Alexander Wires

Publication date 21 December 2018

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

higher commutatorpolynomial equivalencesupernilpotent algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational logic, Mal'tsev conditions (08B05)

Abstract: We establish a characterization of supernilpotent Mal'cev algebras which generalizes the affine structure of abelian Mal'cev algebras and the recent characterization of 3-supernilpotent Mal'cev algebras. We then show that for varieties in which the two-generated free algebra is finite: (1) neutrality of the higher commutators is equivalent to congruence meet-semidistributivity, and (2) the class of varieties which interpret a Mal'cev term in every supernilpotent algebra is equivalent to the existence of a weak difference term. We then establish properties of the higher commutator in the aforementioned second class of varieties.

Review text

The paper deals with a \textit{it higher commutator theory} and its main result is providing a characterization of supernilpotent Mal'cev algebras. This generalizes the main result of \textit{N. Mudrinski} [Monatsh. Math. 172, No. 2, 161--166 (2013; Zbl 1284.08003)] on 2-supernilpotent Mal'cev algebras (here, but only in Introduction, the author refers to 3-supernilpotent Mal'cev algebras). There are two conjectures formulated and established for some special cases, e.g. for a variety in which the free algebra on 2 generators is finite. (1) Congruence meet-semidistributivity of a variety is equivalent to the \textit{neutrality} of all the higher commutators. (2) Existence of a weak difference term in a variety is equivalent to satisfying by a variety a Mal'cev condition implying that all \(n\)-supernilpotent algebras are polynomially equivalent to n-type expanded loops (for \(n\geq 2\)). There is a typo in the definition of the \textit{derived series}, this should be \([\theta]^{n+1}=[[\theta]^n,[\theta]^n]\).

Recommendations

• 2-supernilpotent Mal'cev algebras
• Supernilpotent Taylor algebras are nilpotent
• Mal'cev algebras with supernilpotent centralizers
• Supernilpotence need not imply nilpotence
• Representing subalgebras as retracts of finite subdirect powers

Cites work

• 2-supernilpotent Mal'cev algebras
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• A relational description of higher commutators in Mal'cev varieties
• Algebras Whose Congruence Lattices are Distributive.
• Congruence modularity is permutability composed with distributivity
• Geometrical methods in congruence modular algebras
• Higher commutator theory for congruence modular varieties
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3634319 (Why is no real title available?)
• Mal'cev algebras with supernilpotent centralizers
• Mal'cev varieties
• On the number of finite Mal'tsev algebras
• Some applications of higher commutators in Mal'cev algebras
• Supernilpotence prevents dualizability
• The Relationship Between Two Commutators
• The shape of congruence lattices
• The structure of finite algebras
• Universal algebra. Fundamentals and selected topics

Cited in

(17)

• Superstable quasi-varieties
• Supernilpotence need not imply nilpotence
• Bounding the free spectrum of nilpotent algebras of prime power order
• Left and right nilpotence degree are independent
• scientific article; zbMATH DE number 5887057 (Why is no real title available?)
• scientific article; zbMATH DE number 4144968 (Why is no real title available?)
• 2-supernilpotent Mal'cev algebras
• scientific article; zbMATH DE number 59018 (Why is no real title available?)
• scientific article; zbMATH DE number 7006348 (Why is no real title available?)
• On the ternary commutator. I: Exact Mal'tsev categories
• scientific article; zbMATH DE number 7604262 (Why is no real title available?)
• Higher Kiss terms
• Supernilpotent Taylor algebras are nilpotent
• Mal'cev algebras with supernilpotent centralizers
• Supernilpotence prevents dualizability
• Some applications of higher commutators in Mal'cev algebras
• Representing subalgebras as retracts of finite subdirect powers

This page was built for publication: On supernilpotent algebras

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