On a connection between the word problem and decidability of the equational theory (Q1595492): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users 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 | |||
| links / mardi / name | links / mardi / name | ||
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
