>>8
>不思議さの根源はF_2から来てるんじゃないかな。
F_2の逆説性を知るとそう感じますね

>>11
＞（（双曲平面の合同変換群の場合）代表系が具体的に取れる。）
そうですね、例えばモジュラー群SL2(Z)でもできますが
この場合、基本領域が目に見える形になってますね
ま、わかりやすくするならΓ(2)とかのほうがいいですかね

>>14　>>16
多分　ID:dVwItUna氏　はわかってないですね
実は私もワプナー氏の本を読むまでわかってませんでしたｗ
球面の回転群へのF2の埋め込みはナチュラルじゃないですからね
まずSL2(R)の部分群への埋め込みで説明するのがわかりやすいんですよね
https://www.youtube.com/watch?v=m4YDNHvAfeU