すべての巡回群が可換群であることを証明
定理 1
すべての巡回群はアーベル群である。
説明
巡回群が整数群と同型であることを示せば、特に証明しなくても自然と導かれる事実である。
証明
巡回群 $G := \left< a \right>$ に対して、$g_{1} = a^{r}$ そして $g_{2} = a^{s}$ とする。 $$ g_{1} g_{2} = a^{r} a^{s} = a^{r+s} = a^{s+r} = a^{s} a^{r} = g_{2} g_{1} $$ したがって、$G$ はアーベル群である。
■
Fraleigh. (2003). A first course in abstract algebra(7th Edition): p59. ↩︎