Alan Logan

University of Glasgow

Examples of Makanin-Razborov diagrams

Algebra and Geometry Seminar

15th November 2017, 2:30 pm – 3:30 pm
Howard House, 4th Floor Seminar Room

Makanin-Razborov diagrams are a way of understanding the solutions to equations in free groups. There exists an algorithm to compute these diagrams, but this algorithm is of triply-exponential complexity! We give concrete examples of Makanin-Razborov diagrams corresponding to equations of the form W(x, y)=U(a, b), and provide an effective procedure to compute these diagrams. Our key innovation is to view solutions to such equations are homomorphisms between two-generator, one-relator groups with torsion.

No items found

No items found
Comments are closed.