Exponential equations in free groups were studied initially by Lyndon and Schutzenberger and then by Comerford and Edmunds. Comerford and Edmunds showed that the problem of determining whether or not the class of quadratic exponential equations have solution is decidable, in finitely generated free groups. In this paper the author shows that for finite systems of quadratic exponential equations decidability passes, under certain hypotheses, from the factor groups to free products and one-relator products.Note that these are decision problems for presentations of the groups Gk given by some fixed environment. ... The Wia#39;s are instances of the 98((0), (1), (0), (0))- problem in G1 and so are also instances of the g8 ((0), (1), (0), (0))-problem. Henceanbsp;...
|Title||:||Exponential Genus Problems in One-relator Products of Groups|
|Author||:||Andrew James Duncan|
|Publisher||:||American Mathematical Soc. - 2007|