「群の直和」の版間の差分

(bot: 解消済み仮リンク群の自由積可除部分群を内部リンクに置き換える)
として一意的に書ける。
 
すべての ''i'' &ne; ''j'' に対して ''h''<sub>''i''</sub> * ''h''<sub>''j''</sub> = ''h''<sub>''j''</sub> * ''h''<sub>''i''</sub> であるから、直和における元の積は直積において対応する元の積に同型であることが従う。したがって部分群の有限集合に対しては、∑''H''<sub>''i''</sub> は直積 &times;Π{''H''<sub>''i''</sub>} に同型である。
 
== 例 ==
匿名利用者