Sequences of commutator operations

DOI10.1007/S11083-012-9282-0MaRDI QIDQ382884zbMATH OpenOpenAlexFDO

Authors Erhard Aichinger, Nebojša Mudrinski

Publication date 22 November 2013

Published in Order (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

admissible operation sequencecommutatorMal'tsev termmodular latticestrong splitting

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) Operations and polynomials in algebraic structures, primal algebras (08A40)

Abstract: Given the congruence lattice L of a finite algebra A with a Mal'cev term, we look for those sequences of operations on L that are sequences of higher commutator operations of expansions of A. The properties of higher commutators proved so far delimit the number of such sequences: the number is always at most countably infinite; if it is infinite, then L is the union of two proper subintervals with nonempty intersection.

Review text

Let \(\mathcal{L}=(L,\vee,\wedge)\) be a finite modular lattice and for every positive integer \(n\) let \(f_n\) be an \(n\)-ary operation on \(L\). The sequence \(f_1,f_2,f_3,\ldots\) is called an admissible operation sequence if it satisfies some conditions which are too technical to be reproduced here. These conditions are satisfied by commutators on algebras having a Mal'tsev term. The lattice \(\mathcal{L}\) is said to split strongly if there exist \(a\in L\setminus\{1\}\) and \(b\in L\setminus\{0\}\) with \(a\geq b\) such that \(L=[b,1]\cup[0,a]\). It is proved that the number of admissible operation sequences on \(\mathcal{L}\) is finite if and only if \(\mathcal{L}\) does not split strongly, and countably infinite otherwise.

Recommendations

• Tolerances and Commutators on lattices
• Commutator Theory Without Join-Distributivity
• A characterization of modular lattices
• The minimal extension of sequences. II: On problem 17 of Grätzer and Kisielewicz
• Commutator-finite orthomodular lattices

Cites work

• 2-affine complete algebras need not be affine complete.
• Antichains of monomial ideals are finite
• Characterizing translations on groups by cosets of their subgroups.
• Finiteness theorems in stochastic integer programming
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Mal'cev varieties
• Some applications of higher commutators in Mal'cev algebras
• Strong representation of congruence lattices
• Well-quasi-orderings and sets of finite sequences

Cited in

(9)

• Non-commutative subsequence principles
• Rings of congruence preserving functions
• Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory
• Finite generation of congruence preserving functions
• Congruence lattices forcing nilpotency
• The largest higher commutator sequence
• Congruence preserving expansions of nilpotent algebras
• Finite representation of commutator sequences
• Solvability and nilpotency of expanded groups relative to the nearring of zero and congruence preserving functions

This page was built for publication: Sequences of commutator operations

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