>>600
はいその通リ
ランクは生成元の数で
自由群とは元の間に自明でない等式がない群
ちなみにZはランク1の自由群
では次の問題
ランク2の自由群のケイリーグラフはどんな形？