Free products and the word problem (Q1108303)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Free products and the word problem |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free products and the word problem |
scientific article |
Statements
Free products and the word problem (English)
0 references
1988
0 references
An example is given to show that even in a variety whose free word problem is solvable, the free product of two recursive presentations with solvable word problems may have unsolvable word problem. Moreover, under some conditions on the syntax of the identities defining the variety (formulated using the rewrite-completion techniques) the free product is shown to preserve solvability of word problems for recursive presentations.
0 references
finite presentation
0 references
free product
0 references
recursive presentations
0 references
solvability of word problems
0 references
