The word problem for regular identities

MaRDI QIDQ1820801zbMATH OpenFDO

Authors Ewa Graczyńska

Publication date 1987

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138357

zbMATH Keywords

normal identitiessolvable word problem

Mathematics Subject Classification ID

Word problems (aspects of algebraic structures) (08A50) Equational logic, Mal'tsev conditions (08B05) Lattices of varieties (08B15)

Review text

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.

Recommendations

• On normal and regular identities
• scientific article; zbMATH DE number 19694
• The word problem for subvarieties of the variety \({\mathfrak N}_ 2{\mathfrak A}\)
• scientific article; zbMATH DE number 169732
• Normally presented varieties

Cited in

(7)

• Universal algebras
• scientific article; zbMATH DE number 19694 (Why is no real title available?)
• scientific article; zbMATH DE number 65759 (Why is no real title available?)
• scientific article; zbMATH DE number 169732 (Why is no real title available?)
• On normal and regular identities
• Hypervarieties of a given type
• On regular identities

This page was built for publication: The word problem for regular identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820801)