The following two lemmas might be encountered in a basic course in complex analysis (the first in a basic course in group theory, even).
Lemma 1: Fix a field . The group of fractional linear transformations acts triple transitively on and the stabilizer of any triplet of distinct points is trivial.
Lemma 2: The group of fractional linear transformations on preserving the upper half plane is .
I used to only know extremely boring computational proofs of both of these statements. However, I now know better! Today I’d like to give shorter and conceptual proofs of both of these, and then briefly discuss how they come about in the study of elliptic curves (a subject I’d like to talk about in more detail once this semester is over).