群の直和のソースを表示
←
群の直和
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
<!--{{Cleanup-rewrite|several issues are raised on the discussion page|date=March 2013}}--> <!--{{Group theory sidebar |Basics}} --> [[数学]]における[[群 (数学)|群]]の'''直和'''（ちょくわ、{{lang-en-short|''direct sum''}}）は、与えられた群のあつまりからより大きな群を作り出す構成法の一つであり、また与えられた群をその特定の性質を満たす部分群によって表す方法の一つである。[[抽象代数学]]において、この構成法は[[ベクトル空間]]、[[環上の加群|加群]]、そして他の構造の直和に一般化することができる。より多くの情報は記事[[加群の直和]]を見よ。 有限個の群の直和（有限直和）は[[群の直積]]に本質的に同一の概念となる一方で、無限個の群の直和（無限直和）は直積とは必ずしも同型にならないため、直和と直積の区別は無限直和において本質的である。無限直和は制限直積とも呼ばれる。群の直和が[[圏論]]的[[余積|直和（双対直積）]]ではないことに注意せよ（群の直積の圏論的双対は[[自由積|群の自由積]]である）。 しばしば、考える群が[[加法群|加法的]]に書かれたアーベル群であるときの群の直積という意味で「直和」と呼び、アーベル群 {{math|''A'', ''B''}} のその意味での直和を（{{math|''A'' × ''B''}} と書く代わりに） {{math|''A'' ⊕ ''B''}} で表すことがある。 == 有限直和 == === ふたつの群の直和 === 群 ''G'' は次のようなとき 2 つの[[部分群]] ''H''<sub>''1''</sub> と ''H''<sub>''2''</sub> の'''直和''' (direct sum) と呼ばれる<ref>Homology. Saunders MacLane. Springer, Berlin; Academic Press, New York, 1963.</ref><ref>László Fuchs. Infinite Abelian Groups</ref>。 * ''H''<sub>''1''</sub> と ''H''<sub>''2''</sub> はともに ''G'' の[[正規部分群]]である。 * 部分群 ''H''<sub>''1''</sub> と ''H''<sub>''2''</sub> は[[自明群|自明な共通部分]]をもつ（すなわち[[単位元]] <math>e</math> しか共通にもたない）。 * {{math|''G'' {{=}} ⟨''H''<sub>''1''</sub>, ''H''<sub>''2''</sub>⟩}}; 言い換えると、''G'' は部分群 ''H''<sub>''1''</sub> と ''H''<sub>''2''</sub> によって[[群の生成系|生成される]]。 ''G'' が部分群 ''H'' と ''K'' の直和であるとき、''G'' = ''H'' + ''K'' で表す。 === 複数の群の直和 === より一般に、''G'' が[[部分群]]の有限集合 {''H''<sub>''i''</sub>} の直和であるとは、 * 各 ''H''<sub>''i''</sub> は ''G'' の[[正規部分群]]であり * 各 ''H''<sub>''i''</sub> は部分群 ⟨{''H''<sub>''j''</sub> : ''j'' ≠ ''i''}⟩ と自明な共通部分をもち * {{math|''G'' {{=}} ⟨{''H''<sub>''i''</sub>}⟩}}; 言い換えると、''G'' は部分群の集合 {''H''<sub>''i''</sub>} の合併によって生成される。 ''G'' が部分群の集合 {''H''<sub>''i''</sub>} の直和であることを、しばしば ''G'' = ∑''H''<sub>''i''</sub> と書く。 === 基本性質 === 群の直和は[[可換]]である。つまり、ふたつの部分群の直和の場合には、 : {{math|''G'' {{=}} ''H'' + ''K'' {{=}} ''K'' + ''H''}} である。また次の意味で[[結合法則|結合的]]でもある。''G'' = ''H'' + ''K'', ''K'' = ''L'' + ''M'' であれば、 : ''G'' = ''H'' + (''L'' + ''M'') = (''H'' + ''L'') + ''M'' である。 ''G'' = ''H'' + ''K'' であれば、次のことが証明できる： * すべての ''h'' ∈ ''H'', ''k'' ∈ ''K'' に対して、''h''*''k'' = ''k''*''h'' である。 * すべての ''g'' ∈ ''G'' に対して、''g'' = ''h''*''k'' となるような唯一の ''h'' ∈ ''H'', ''k'' ∈ ''K'' が存在する。 * 商において和の簡約がある。つまり (''H'' + ''K'')/''K'' は ''H'' と同型である。 上記の主張は ''G'' = ∑''H''<sub>''i''</sub> の場合にも一般化できる、ただし {''H''<sub>i</sub>} は部分群の有限集合。 * ''i'' ≠ ''j'' であれば、すべての ''h''<sub>''i''</sub> ∈ ''H''<sub>''i''</sub>, ''h''<sub>''j''</sub> ∈ ''H''<sub>''j''</sub> に対して、''h''<sub>''i''</sub> * ''h''<sub>''j''</sub> = ''h''<sub>''j''</sub> * ''h''<sub>''i''</sub> である。 * 各 ''g'' ∈ ''G'' に対して、{''h''<sub>''i''</sub> in ''H''<sub>''i''</sub>} の唯一の集合が存在して :''g'' = ''h''<sub>1</sub>*''h''<sub>2</sub>* ... * ''h''<sub>''i''</sub> * ... * ''h''<sub>''n''</sub> * 商において和の簡約がある。つまり ((∑''H''<sub>''i''</sub>) + ''K'')/''K'' は ∑''H''<sub>''i''</sub> に同型である。 === 有限直和は有限直積であること === 直和と[[群の直積|直積]]との類似性に注意しよう。直積では各 ''g'' は :''g'' = (''h''<sub>1</sub>,''h''<sub>2</sub>, ..., ''h''<sub>''i''</sub>, ..., ''h''<sub>''n''</sub>) として一意的に書ける。 すべての ''i'' ≠ ''j'' に対して ''h''<sub>''i''</sub> * ''h''<sub>''j''</sub> = ''h''<sub>''j''</sub> * ''h''<sub>''i''</sub> であるから、直和における元の積は直積において対応する元の積に同型であることが従う。したがって部分群の有限集合に対しては、∑''H''<sub>''i''</sub> は直積 Π{''H''<sub>''i''</sub>} に同型である。 == 例 == {{seealso|加群の直和}} * <math> G= \sum_{i\in I} H_i </math> とすれば <math> G </math> が部分群の直和 <math> H_{i_0} + \sum_{i\not=i_0}H_i</math> であることは明らかである。 * <math>H</math> がアーベル群 <math> G </math> の [[:en:Divisible group|divisible subgroup]] であれば、別の部分群 <math>K\leq G </math> が存在して、<math>G=K+H </math> となる。 * <math>G</math> が 0 でない <math>\mathbb R</math>-[[ベクトル空間]]でもあれば、<math>G</math> は <math>\mathbb R</math> と別の部分空間 <math>K</math> の直和として書くことができ、<math>\mathbb R</math> は商 <math>G/K</math> と同型になる。 == 直和分解 == === 直可約性と直既約性 === 非自明な部分群の直和として書ける群は'''直可約''' (decomposable) と呼ばれ、そうでないとき'''直既約''' (indecomposable) と呼ばれる。 === 直和成分 === {{seealso|群の拡大}} 与えられた群 {{mvar|G}} の部分群 {{mvar|H}} が {{mvar|G}} の'''直和成分''' (direct summand) である（あるいは {{mvar|G}} から'''分裂する''' (split)）とは、別の部分群 {{math|''K'' ≤ ''G''}} が存在して {{mvar|G}} は部分群 {{mvar|H}} と {{mvar|K}} の直和に書けるときにいう。 アーベル群の場合には、{{mvar|H}} が {{mvar|G}} の[[可除群|可除部分群]]ならば {{mvar|H}} は {{mvar|G}} の直和成分となる。 ===直和分解の等価性=== 有限群の直既約部分加群の直和への分解において部分群の埋め込みは一意ではない。例えば、[[クラインの四元群|クライン群]] ''V''<sub>4</sub> = ''C''<sub>2</sub> × ''C''<sub>2</sub> において、次が成り立つ。 :''V''<sub>4</sub> = <(0,1)> + <(1,0)> :''V''<sub>4</sub> = <(1,1)> + <(1,0)> しかしながら、有限群 ''G'' = ∑''A''<sub>''i''</sub> = ∑''B''<sub>''j''</sub>、ただし各 ''A''<sub>''i''</sub> と各''B''<sub>''j''</sub> は非自明で直既約、が与えられると、2つの和は順序の入れ替えと同型の違いを除いて同じ項をもつ、というのが[[レマク・クルル・シュミットの定理]]の内容である。 レマク・クルル・シュミットの定理は無限群に対しては成り立たない。なので無限 ''G'' = ''H'' + ''K'' = ''L'' + ''M'' のケースにおいて、すべての部分群が非自明で直既約であるときでさえ、''H'' は ''L'' か ''M'' に同型であると仮定できない。 == 無限直和 == {{seealso|{{仮リンク|内部直積|en|internal direct product}}}} {{mvar|G}} が部分群の（非可算の場合も許す）無限集合の直和の場合において群の直和と直積との関係を述べるには、より多くの注意が必要である。 {{mvar|G}} が部分群の無限集合 {{math|{''H''<sub>λ</sub>}}} の'''内部直和''' (internal direct sum) {{math|∑''H''<sub>λ</sub>}}であるとは、{{mvar|G}} の各元 {{mvar|g}} が適当な有限集合 {{math|''S'' {{=}} ''S''{{sub|''g''}}}} と {{math|{''h''<sub>''i''</sub> ∈ ''H''<sub>''i''</sub> : ''i'' ∈ ''S''}}} を選んで、{{math|''g'' {{=}} ∏ {''h''<sub>''i''</sub> : ''i'' ∈ ''S''}}} と一意的に表せるときに言う。 {{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>}}} に同型である。したがって、このときの直和はある意味「内部」(internal) 外部直和である。 ==関連項目== *[[直和]] *[[位相群の直和]] ([[:en:Direct sum of topological groups|Direct sum of topological groups]]) == 参考文献 == {{Reflist}} {{DEFAULTSORT:くんのちよくわ}} [[Category:群論]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:Mvar
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
テンプレート:Seealso
(
ソースを閲覧
)
群の直和
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報