Back to Search
Start Over
WORD EQUATIONS OVER GRAPH PRODUCTS.
- Source :
-
International Journal of Algebra & Computation . May2008, Vol. 18 Issue 3, p493-533. 41p. 5 Diagrams, 6 Charts. - Publication Year :
- 2008
-
Abstract
- For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore, it is shown that the positive theory of a graph product of groups can be reduced to the positive theories of those factors, which commute with all other factors, and the existential theories of the remaining factors. Both results also include suitable constraints for the variables. Larger classes of constraints lead in many cases to undecidability results. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 02181967
- Volume :
- 18
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- International Journal of Algebra & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 32464161
- Full Text :
- https://doi.org/10.1142/S0218196708004548