>>3
自由群F_2はフラクタル感満載ですね

選択公理は球面の回転群の場合必要となるだけで
双曲平面の合同変換群では不必要なので
全く本質ではないですね