>>401 の記法で f = (a, b, c) ∈ Ω と SL_2(Z) の単位元 e
に対して、 fe= f だから >>402 より Ω は右 SL_2(Z)-集合(>>388)
である。