有限巡回群
G
:
a
によって生成される有限巡回群
a
:
G
の生成元
但し
a
n
=
1