On a connection between the word problem and decidability of the equational theory (Q1595492): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3958656 / rank | |||
Normal rank |
Latest revision as of 15:00, 3 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a connection between the word problem and decidability of the equational theory |
scientific article |
Statements
On a connection between the word problem and decidability of the equational theory (English)
0 references
12 February 2001
0 references
Given a free algebra \(\mathcal A\), the word problem for \(\mathcal A\) is decidable if and only if the equational theory of the variety generated by \(\mathcal A\) is decidable. For an arbitrary algebra, the situation is more complicated. In the article under review, the author proves that there is a monogenic ring with decidable word problem such that the equational theory of the ring is undecidable.
0 references
decidability
0 references
word problem
0 references
equational theory
0 references
monogenic ring
0 references