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.
Reihe
Auflage
Sprache
Verlagsort
Zielgruppe
Illustrationen
Gewicht
ISBN-13
978-0-8218-3945-4 (9780821839454)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Introduction Quadratic words Quadratic exponential equations and ${\mathcal L}$-genus Resolutions of quadratic equations Decision problems Pictures Corridors Angle assignment Curvature Configurations $C$ Configurations $D$ Final angle adjustment Isoperimetry Proof of Theorem 5.9 Bibliography.
