We give an algorithm deciding whether a system of equations and inequations in a virtually free group has a solution. This is done by giving a new geometric proof of Makanin’s algorithm, based on Rips theory for foliated 2-complexes. Applications include the solution of equations in hyperbolic groups, and the isomorphism problem between hyperbolic group in presence of torsion. This is a joint work with François Dahmani.

Lecture #12581

Need help? Visit our help pages at http://www.msri.org/communications/vmath/hints

Streaming Video

This is a high quality streaming video encoded with MPEG-4 and with 640x480 resolution.

Windows and Mac users, QuickTime 6.5 or later required
Linux users, please see our Linux Help Page on how to view our streaming videos

Follow this link to --- Watch the Video Now Via Streaming Video ---

Download QuickTime File

You can download the QuickTime file here. Right click on the link and "Save As..." to save to your local computer.

• 12581-12581-QuickTime.mov (368 MB)

Create a DVD

You can download the video and audio files here. Please note that you need both files to create a DVD. Right click on the link and "Save As..." to save to your local computer. You can find instructions on how to create a DVD on our help page at http://www.msri.org/communications/vmath/author

• 12581-12581-DVD PCM Audio.aiff (596 MB - Audio Only)
• 12581-12581-MPEG-2 120min High Quality Encode.m2v (1358 MB - Video Only)

Buy the DVD

If none of the options work for you, you can always buy the DVD of this lecture.

If you would like to purchase a copy of this video for $15+shipping, please Click Here!

See more of our Streaming Videos on our main VMath - Streaming Video page.