Varieties, Free Algebras and Equational Logic
The Center of an Algebra
The centre of a general algebra, defined by a term condition generalising the group centre, and its use in characterising modules up to polynomial equivalence.
Learning objectives
- State the term condition defining the centre
- Verify that it recovers the group and ring centres
- Explain the characterisation of modules it supports
The definition
The centre Z(A) is the set of pairs ⟨a, b⟩ such that for every term t(x, y1,…,yn) and all tuples c, d from A: t(a, c) = t(a, d) if and only if t(b, c) = t(b, d).
The condition says that a and b are indistinguishable as “first arguments”: whatever a term does to the remaining arguments, it does the same whether the first slot holds a or b.
Recovering the classical centres
| Algebra | <em>Z</em>(<strong>A</strong>) corresponds to |
|---|---|
| Group | The congruence associated with the group-theoretic centre |
| Ring | The congruence associated with the annihilator-like ideal |
| R-module | ∇ — the whole of A × A |
| Boolean algebra | Δ — trivial |
| Lattice | Δ in general |
For a module, every pair lies in the centre: substituting one element for another in the first argument of any term never changes whether two values agree, because module terms are linear. An algebra with Z(A) = ∇ is called abelian, and modules are the motivating abelian algebras.
Abelian algebras and the module characterisation
An algebra A with Z(A) = ∇.
Under suitable hypotheses, an abelian algebra is polynomially equivalent to a module over a ring — that is, its polynomial clone coincides with the polynomial clone of some module.
The result says that module-like behaviour can be recognised intrinsically, without knowing a ring in advance. The ring is reconstructed from the algebra's own term operations.
The source develops this in §13 for the cases it needs. The fully general theorem — every abelian algebra in a congruence-modular variety is polynomially equivalent to a module — belongs to the commutator theory developed after the source text and is attributed there rather than to Burris and Sankappanavar.
The centre as the start of commutator theory
The centre is the degenerate case of a two-argument operation on congruences.
In group theory the commutator of two normal subgroups is classical; the achievement of the modern theory is to define it for congruences in any congruence-modular variety and prove it retains the essential properties.
Frequently asked questions
Is the centre always a proper congruence?
No. For modules it is ∇, the largest congruence. For most non-abelian algebras it is small, and for many it is Δ.
Why is this section omissible from the short course?
Because nothing in Chapters III–V depends on it. The source marks §13 as specialised, and its significance is largely as the entry point to a theory developed after the book was written.
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 II.13, book pages 91-98.
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.