The word problem for regular identities (Q1820801): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q241780
Import240304020342 (talk | contribs)
Set profile property.
 
(One intermediate revision by one other user not shown)
Property / reviewed by
 
Property / reviewed by: V. N. Salij / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 04:48, 5 March 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
    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 references

    Identifiers

    0 references
    0 references
    0 references
    0 references