6533b839fe1ef96bd12a5895

RESEARCH PRODUCT

Commutator Equations and the Equationally-Defined Commutator

subject

description

If \(\underline{s} = s_{1},\ldots,s_{m}\), and \(\underline{t} = t_{1},\ldots,t_{m}\) are sequences of terms (both sequences of the same length m) and X is a set of equations then $$\displaystyle{\underline{s} \approx \underline{ t} \in X}$$ abbreviates the fact that s i ≈ t i ∈ X for i = 1, …, m.)