「群の直和」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
82行目:
{{mvar|G}} が部分群の（非可算の場合も許す）無限集合の直和の場合において群の直和と直積との関係を述べるには、より多くの注意が必要である。
{{mvar|G}} が部分群の無限集合 {{math|{''H''<sub>λ</sub>}}} の'''内部直和''' (internal
{{mvar|g}} が群の無限[[デカルト積|直積]] {{math|∏{''H''<sub>λ</sub>}}} の元であるとき、この直積における {{mvar|g}} の第 {{mvar|λ}}-成分を {{math|''g''<sub>λ</sub>}} と書くことにする。群の集合 {{math|{''H''<sub>λ</sub>}}} の'''外部直和''' (external direct sum)（あるいは制限直積） {{math|∑<sub>'''''E'''''</sub>{''H''<sub>λ</sub>}}} は、直積 {{math|∏{''H''<sub>λ</sub>}}} の次のような部分集合である。
: 各元 {{math|''g'' ∈ ∑<sub>'''''E'''''</sub>{''H''<sub>λ</sub>}}} の成分{{math|''g''<sub>λ</sub>}} は[[補有限|有限個を除くすべて]]が[[単位元]] <math>e_{H_\lambda}</math> に一致する（同じことだが、{{math|''g''<sub>λ</sub>}} のうち有限個だけが単位元でない）。
外部直和における群演算は通常の直積のように成分ごとの積とする。この部分集合は確かに群をなす。特に、群の有限集合に対して、それらの外部直和は直積に等しい。
{{math|''G'' {{=}} ∑''H''<sub>λ</sub>}} であるとき、{{mvar|G}} は {{math|∑<sub>'''''E'''''</sub>{''H''<sub>λ</sub>}}} に同型である。したがって
==関連項目==
| |||