We develop the theories of the strong commutator, the rectangular commutator, the strong
rectangular commutator, as well as a solvability theory for the nonmodular TC commutator …

Let A be a finite algebra that generates a congruence modular variety. We show that the free
spectrum of \calV(\bfA) fails to have a doubly exponentially lower bound if and only if A has a …

Varieties with a Difference Term Page 1 Varieties with a Difference Term Keith A. Kearnes ∗
Fachbereich Mathematik, AG1 Technische Hochschule Darmstadt D 64289 Darmstadt …

We develop Commutator Theory for congruences of general algebraic systems (henceforth
called algebras) assuming only the existence of a ternary term $ d $ such that $ d (a, b …

Finite algebras of finite complexity Page 1 Discrete Mathematics 207 (1999) 89–135 www.elsevier.com/locate/disc
Finite algebras of finite complexity Keith A. Kearnesa;∗, Emil W. Kissb aDepartment of …

In a congruence modular subtractive variety there are both the commutator of ideals and the
commutator of congruences. We prove that, if I δ is the smallest congruence having an ideal …

We prove that if $\mathcal V $ is a variety of algebras (ie, an equationally axiomatizable
class of algebraic structures) in a finite language, $\mathcal V $ has a difference term, and …

A finite algebra C is called minimal with respect to a pair δ< θ of its congruences if every
unary polynomial f of C is either a permutation, or f (θ)⊆ δ. It is the basic idea of tame …

Considers the behavior of $\mathrm {G} _\mathcal {C}(k) $ when $\mathcal {C} $ is a locally
finite equational class (variety) of algebras and $ k $ is finite. This title looks at ways that …