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 the normal view instead:
scientific article; zbMATH DE number 3995747
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9212289452552797
0 references
0.8571188449859619
0 references
0.8550759553909302
0 references
