2012/05/15 by Erhard Aichinger, Aichinger, Erhard, Nebojša Mudrinski +1
Computer Science · Mathematics · #Advanced Algebra and Logic #semigroups and automata theory #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1205.3297
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.