01:05:48)追加された行はこの色です。削除された行はこの色です。[#wd8a3b9d]#divid(s,thorem)[定理]2次の対称群SUB{2};は[[アーベル群]]である。[定理]2次の対称群SSUB{2};は[[アーベル群]]である。#divid(e,thorem)#divid(s,proof)[証明]アーベル群ということとは、交換法則が成り立つということである。群表が対称行列になるということである。\end{matrix}\right)");とおく。aa=eが成り立つため、群表は次のようになる。||e|a||e|e|a||a|a|e|ゆえに、対称行列になっているので、アーベル群である。□#divid(e,proof)。