The word problem for regular identities (Q1820801): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q241780 |
||
| Property / reviewed by | |||
| Property / reviewed by: V. N. Salij / rank | |||
Revision as of 17:54, 11 February 2024
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
