Freiheitssatz and phase transition for the density model of random groups

Tsung-Hsuan Tsai

Magnus' Freiheitssatz states that if a group is defined by a presentation with $m$ generators and a single relator containing the last generating letter, then the first $m-1$ lette…