4
$\begingroup$

I've seen one proof of $\mathrm{psl}_2(\mathbf Z) \cong C_2 * C_3$ based on the Ping-pong lemma

But what I'm looking for is how this result was historically obtained first.

I've checked Coxeter & Moser's "Generators and relations for discrete groups" and they (§7.2) do things that I find weird, they let the matrices act on circles in the half-plane $y>0$ which in turn they regard as lines of a hyperbolic plane, it then follows this group can be interpreted as triangle group acting on a hyperbolic triangle.

Is this indeed the 'classic' way to arrive at this result? And if so, I'd be happy with a bit of an explanation of what's going on, or a reference to a text where this is explained a bit more in detail, because I'm really not that comfortable with hyperbolic triangles.

  • 0
    He doesn't write it up quite the way you'd like but the core of Coxeter and Moser's argument is present in Hatcher's "Topology of numbers" book, available here: http://www.math.cornell.edu/~hatcher/TN/TNpage.html2011-03-08
  • 0
    Well, I've been gazing through it and it's interesting to read even though the style is a bit weird.2011-03-09

1 Answers 1