>>32
>だいたいF2では、1と1でない奴で、a,b,a^-,b^-で代表元取ってる訳でね

ID:gb2e5eFmは、「何」の代表元をとろうとしてる?

球面S2のF2軌道(もちろん無数にある)のそれぞれから
選択公理で代表元をとる、ってわかってる?

上半平面HのF2軌道の代表元をとる場合には
選択公理は必要ないけど、それもわかってる?