The word problem for regular identities (Q1820801)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The word problem for regular identities |
scientific article |
Statements
The word problem for regular identities (English)
0 references
1987
0 references
An identity \(f=g\) is called normal (or regular) if \(var(f)=var(g)\) with var(t) denoting the set of all variables occuring in a term t. Let V be a variety and N(V) the variety determined by the set of all normal identities satisfied in V. It is proved that V has solvable word problem if and only if N(V) has solvable word problem.
0 references
normal identities
0 references
solvable word problem
0 references
