# The Relationship Between Two Commutators

@article{Kearnes1998TheRB, title={The Relationship Between Two Commutators}, author={K. Kearnes and {\'A}. Szendrei}, journal={Int. J. Algebra Comput.}, year={1998}, volume={8}, pages={497-532} }

We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer relation. We derive from this that abelian algebras are quasi-affine in such varieties. We refine this by showing that if A is an abelian algebra and (A) satisfies an idempotent Mal'cev condition which fails to hold in the variety of semilattices, then A is affine.

#### 58 Citations

Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term

- Mathematics
- 1999

Abstract Recently, a generalization of commutator theory has been developed for algebraic systems belonging to a congruence modular variety. This general commutator theory is used here both to… Expand

Congruence modular varieties: commutator theory and its uses

- Mathematics
- 2005

We present the basic theory of commutators of congruences in congruence modular varieties (or equationally defined classes) of algebras. The theory we present was first introduced to the mathematical… Expand

Some notes on the ternary modular commutator

- Mathematics
- 2018

We define a relation that describes the ternary commutator for congruence modular varieties. Properties of this relation are used to investigate the theory of the higher commutator for congruence… Expand

On supernilpotent algebras

- Mathematics
- 2017

We establish a characterization of supernilpotent Mal’cev algebras which generalizes the affine structure of abelian Mal’cev algebras and the recent characterization of 2-supernilpotent Mal’cev… Expand

The Commutator as Least Fixed Point of a Closure Operator

- Mathematics
- 2017

We present a description of the (non-modular) commutator, inspired by that of Kearnes in~\cite[p.~930]{MR1358491}, that provides a simple recipe for computing the commutator.

Towards commutator theory for relations

- Mathematics
- 2005

In a general algebraic setting, we state some properties of commutators of reflexive admissible relations. After commutator theory in Universal Algebra has been discovered about thirty years ago… Expand

A characterization of varieties with a difference term, II: Neutral = meet semi-distributive

- Mathematics
- 1998

We provide more characterizations of varieties with a weak difference term and of neutral varieties. We prove that a variety has a (weak) difference term (is neutral) with respect to the… Expand

Almost all minimal idempotent varieties are congruence modular

- Mathematics
- 2000

Abstract. We show that, up to term equivalence, the only minimal idempotent varieties that are not congruence modular are the variety of sets and the variety of semilattices. From this it follows… Expand

Semi-abelian categories

- Mathematics
- 2002

Abstract The notion of semi-abelian category as proposed in this paper is designed to capture typical algebraic properties valid for groups, rings and algebras, say, just as abelian categories allow… Expand

A solution to Dilworth's Congruence Lattice Problem

- Mathematics
- 2007

We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth,… Expand

#### References

SHOWING 1-10 OF 30 REFERENCES

Some characterizations of the commutator

- Mathematics
- 1992

We start with a characterization of the modular commutator that was given by E. Kiss and the first author in [DK] and explore some of its consequences. Implicit in this characterization is that both… Expand

Commutator theory for relatively modular quasivarieties

- Mathematics
- 1992

We develop a commutator theory for relatively modular quasivarieties that extends the theory for modular varieties. We characterize relatively modular quasivarieties, prove that they have an… Expand

A characterization of varieties with a difference term

- Mathematics
- 1996

We provide more characterizations of varieties with a weak difference term and of neutral varieties. We prove that a variety has a (weak) difference term (is neutral) with respect to the… Expand

CONGRUENCE LATTICES OF SEMILATTICES

- Mathematics
- 1973

The main result of this paper is that the class of congruence
lattices of semilattices satisfies no nontrivial lattice
identities. It is also shown that the class of subalgebra
lattices of… Expand

Commutator theory for congruence modular varieties

- Mathematics
- 1989

Introduction In the theory of groups, the important concepts of Abelian group, solvable group, nilpotent group, the center of a group and centraliz-ers, are all defined from the binary operation [x,… Expand

A Categorical Approach to Commutator Theory

- Mathematics
- 1995

Abstract We define a notion of commutator for equivalence relations in a Mal′cev category and show that it verifies a universal property.

Many-sorted algebras in congruence modular varieties

- Mathematics
- 1996

We present several basic results on many-sorted algebras, most of them only valid in congruence modular varieties. We describe a connection between the properties of many-sorted varieties and those… Expand

Problems and Results in Tame Congruence Theory a Survey of the '88 Budapest Workshop

- 1992

Tame congruence theory is a powerful new tool, developed by Ralph McKenzie, to investigate nite algebraic structures. In the summer of 1988, many prominent researchers in this eld visited Budapest,… Expand

Varieties with a Difference Term

- Mathematics
- 1995

Abstract We give characterizations of varieties with a difference term and outline the commutator theory for such varieties.

Mal'cev Varieties

- Mathematics
- 1977

Rudiments and notations.- Centrality.- Direct decompositions.- Central isotopy and cancellation.- Plain algebras and equational completeness.- Extensions and obstructions.