The word problem for regular identities (Q1820801): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q241780 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: V. N. Salij / rank | |||
Normal rank | |||
Revision as of 16: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
