The word problem for regular identities (Q1820801)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The word problem for regular identities |
scientific article; zbMATH DE number 3995747
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The word problem for regular identities |
scientific article; zbMATH DE number 3995747 |
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
