Recent Developments and Resources
The Commutator and the Center: Modern Developments
The commutator theory for congruence-modular varieties: the generalisation of the group commutator that the source's centre section anticipates.
Learning objectives
- State what the commutator operation provides
- Describe the abelian, nilpotent and solvable hierarchy
- Attribute the developments correctly
The commutator
In a congruence-modular variety there is a binary operation [θ, φ] on Con A generalising the commutator of normal subgroups, satisfying monotonicity, [θ, φ] ≤ θ ∧ φ, symmetry, and additivity over joins.
For groups it recovers the classical commutator of normal subgroups; for modules it is identically Δ, reflecting that modules are abelian.
| Variety | [θ, φ] equals |
|---|---|
| Groups | The congruence of the commutator subgroup [N, M] |
| Rings | The ideal product IJ |
| R-modules | Always Δ |
| Congruence-distributive varieties | θ ∧ φ |
| Boolean algebras | θ ∧ φ |
When the congruence lattice is distributive the commutator collapses to meet, so commutator theory carries no information. It is exactly the congruence-modular non-distributive varieties — groups, rings, modules — where it does work.
The hierarchy
- Abelian — [∇, ∇] = Δ
- Nilpotent — the lower central series reaches Δ
- Solvable — the derived series reaches Δ
- Nilpotent — the lower central series reaches Δ
In a congruence-modular variety, every abelian algebra is polynomially equivalent to a module over a ring.
This is the theorem the source's §13 anticipates. It says the module case is not merely an example of abelian behaviour but the only one, up to polynomial equivalence.
The commutator theory for congruence-modular varieties was developed principally by Smith (for permutable varieties), then Hagemann and Herrmann, Gumm, and Freese and McKenzie, largely from the late 1970s through the 1980s. The standard reference is Freese and McKenzie, Commutator Theory for Congruence Modular Varieties (1987). None of this is due to Burris and Sankappanavar; the source's §13 develops the centre and points forward.
What the theory delivers
- Krull–Schmidt. Unique direct decomposition for finite algebras in congruence-modular varieties.
- A structure theory for nilpotent algebras. Nilpotent algebras in modular varieties decompose in ways generalising nilpotent groups.
- Residual smallness criteria. McKenzie characterised residually small congruence-modular varieties using the commutator.
- A finite basis theorem. McKenzie proved that a finite algebra generating a congruence-modular residually small variety is finitely based — a partial analogue of Baker's theorem outside the distributive case.
Commutator theory requires modularity. For varieties that are neither modular nor distributive — semigroups, semilattices — no comparable theory exists, and tame congruence theory is the tool used instead.
Frequently asked questions
Why does the commutator need modularity?
The standard constructions of the commutator use the modular law to prove the expected identities. Weaker versions exist for general varieties but lack the key properties, so modularity is where the theory becomes usable.
Is the commutator computable for a finite algebra?
Yes, in principle — it is defined by a condition on finitely many tuples for a finite algebra. Practical computation is feasible for small algebras.
Source. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, The Millennium Edition — a corrected re-typesetting of Springer-Verlag Graduate Texts in Mathematics 78 (1981). Section RD.1, book pages 283-284.
This page is an original exposition prepared for the KEVOS® knowledge library. It restates and reorganises mathematical results; it is not a reproduction of the source text.