The word problem for involutive residuated lattices and related structures
type: Item
instance of: scholarly article
title: The word problem for involutive residuated lattices and related structures
zbMATH Open document ID: 1117.08004
author: Annika M. Wille
published in: Archiv der Mathematik
publication date: 2007-02-14T00:00:00Z
review text: The paper presents results on the word problem for several varieties of residuated lattices. The crucial theorem proved in this paper states that the powerset monoid of a group can be embedded in a distributive involutive residuated lattice. Then the results on undecidability of the word problem for groups can be used in order to show that the word problem for the considered varieties is undecidable as well. More precisely, the result by Novikov and Boone, stating that there exists a finitely presented group with an undecidable word problem, implies that the word problem is undecidable for the following varieties: residuated lattices, involutive residuated lattices, any intersection of a nontrivial lattice variety and one of the previous varieties. The same is true also for the classes of finite members of each of the preceding varieties since the word problem for finite groups is also undecidable as was show by Slobodskoi. As a consequence of the previous results the quasi-equational theories for all mentioned varieties are undecidable.
Mathematics Subject Classification ID: 08A50
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 03D40
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06B25
zbMATH DE Number: 5126579
zbMATH Keywords: word problem
zbMATH Keywords: residuated lattice
zbMATH Keywords: involutive residuated lattice
zbMATH Keywords: quasi-equational theory
zbMATH Keywords: undecidability
reviewed by: Rostislav Horčík
MaRDI profile type: Publication
full work available at URL: s00013-006-1795-6
OpenAlex ID: W2028123301
DOI: 10.1007/S00013-006-1795-6
description: scientific article; zbMATH DE number 5126579