>>854
３　巡回群みたくなる必要ある？
F(A)は無限集合でもよいし、{u,F(g)u,F(h)u,F(g)F(g)u,F(g)F(h)u,...}
の方が実は巡回群的かもしれないし。