アーベル群である十分条件 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• アーベル群である十分条件 へ行く。

* (定理) アーベル群である十分条件 [#hcad20fe]

** 仮定 [#uc306db7]

- &mathjax{p}; は素数
- &mathjax{G}; は群で &mathjax{\#G = p^2};

** 主張 [#f2274f05]

&mathjax{G}; はアーベル群
&mathjax{G}; はアーベル群。
特に、アーベル群の基本定理より &mathjax{G \simeq \mathbb{Z}/p^2\mathbb{Z}}; か &mathjax{\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}};

* 証明 [#m05ff4ad]