無限直和
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/05/25 23:23 UTC 版)
「内部直積（英語版）」も参照 G が部分群の（非可算の場合も許す）無限集合の直和の場合において群の直和と直積との関係を述べるには、より多くの注意が必要である。 G が部分群の無限集合 {Hλ} の内部直和 (internal direct sum) ∑Hλであるとは、G の各元 g が適当な有限集合 S = Sg と {hi ∈ Hi : i ∈ S} を選んで、g = ∏ {hi : i ∈ S} と一意的に表せるときに言う。 g が群の無限直積 ∏{Hλ} の元であるとき、この直積における g の第 λ-成分を gλ と書くことにする。群の集合 {Hλ} の外部直和 (external direct sum)（あるいは制限直積） ∑E{Hλ} は、直積 ∏{Hλ} の次のような部分集合である。 各元 g ∈ ∑E{Hλ} の成分gλ は有限個を除くすべてが単位元 e H λ {\displaystyle e_{H_{\lambda }}} に一致する（同じことだが、gλ のうち有限個だけが単位元でない）。 外部直和における群演算は通常の直積のように成分ごとの積とする。この部分集合は確かに群をなす。特に、群の有限集合に対して、それらの外部直和は直積に等しい。 G = ∑Hλ であるとき、G は ∑E{Hλ} に同型である。したがって、このときの直和はある意味「内部」(internal) 外部直和である。
※この「無限直和」の解説は、「群の直和」の解説の一部です。
「無限直和」を含む「群の直和」の記事については、「群の直和」の概要を参照ください。
ウィキペディア小見出し辞書の「無限直和」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 無限直和のページへのリンク
