「群の直積」の版間の差分
表示
削除された内容 追加された内容
Yudukikun5120 (会話 | 投稿記録) m 数式を用いた書き換え |
Yudukikun5120 (会話 | 投稿記録) 可換性の証明を追加 |
||
61行目: | 61行目: | ||
==性質== |
==性質== |
||
{{節スタブ}} |
{{節スタブ}} |
||
⚫ | |||
=== 直積因子 === |
|||
⚫ | |||
==== 証明 ==== |
|||
<math>g \in G,\ (g^\prime, h^\prime) \in G \times H</math> とすると,次の等式が成り立つ。<math display="block">(g^\prime, h^\prime)(g, 1_H)(g^\prime, h^\prime)^{-1} = (g^\prime g {g^\prime}^{-1}, 1_H)</math><math>h \in H</math> についても同様である。よって,主張が従う<ref name=":0" />. |
|||
=== 可換性 === |
|||
⚫ | |||
==== 証明 ==== |
|||
<math>g \in G,\ h \in H</math> とすると,次が成り立つ。<math display="block">(g, h) = (g, 1_H)(1_G, h) = (1_G, h)(g, 1_H)</math>したがって,主張が従う<ref name=":0">{{Cite book|title=Daisūgaku. 001.|url=https://www.worldcat.org/oclc/836343697|publisher=Nihonhyōronsha|date=2010|location=Tōkyō|isbn=4-535-78659-3|oclc=836343697|others=Akihiko Yukie, 雪江明彦}}</ref>. |
|||
=== その他 === |
|||
*群 ''G'', ''H'', ''K'' に対し、次の同型が成り立つ。<math display="block">(G\times H)\times K\cong G\times(H\times K)\cong G\times H\times K</math> |
*群 ''G'', ''H'', ''K'' に対し、次の同型が成り立つ。<math display="block">(G\times H)\times K\cong G\times(H\times K)\cong G\times H\times K</math> |
||
*('''[[普遍性]]''')群 ''G''<sub>''i''</sub> (''i'' ∈ ''I'') が与えられているとする。π<sub>''j''</sub> : Π<sub>''i'' ∈ ''I''</sub> ''G''<sub>''i''</sub> → ''G''<sub>''j''</sub> (''j'' ∈ ''I'') を自然な射影とする。このとき任意の群 ''H'' と任意の[[群準同型|群準同型写像]] ''f''<sub>''j''</sub> : ''H'' → ''G''<sub>''j''</sub> (''j'' ∈ ''I'') に対して、一意的な準同型 φ : ''H'' → Π<sub>''i'' ∈ ''I''</sub> ''G''<sub>''i''</sub> が存在して、''f''<sub>''j''</sub> = π<sub>''j''</sub>∘φ (''j'' ∈ ''I'') が成り立つ。つまり群の直積は群のなす[[圏 (数学)|圏]]の[[積 (圏論)|直積]]である。 |
*('''[[普遍性]]''')群 ''G''<sub>''i''</sub> (''i'' ∈ ''I'') が与えられているとする。π<sub>''j''</sub> : Π<sub>''i'' ∈ ''I''</sub> ''G''<sub>''i''</sub> → ''G''<sub>''j''</sub> (''j'' ∈ ''I'') を自然な射影とする。このとき任意の群 ''H'' と任意の[[群準同型|群準同型写像]] ''f''<sub>''j''</sub> : ''H'' → ''G''<sub>''j''</sub> (''j'' ∈ ''I'') に対して、一意的な準同型 φ : ''H'' → Π<sub>''i'' ∈ ''I''</sub> ''G''<sub>''i''</sub> が存在して、''f''<sub>''j''</sub> = π<sub>''j''</sub>∘φ (''j'' ∈ ''I'') が成り立つ。つまり群の直積は群のなす[[圏 (数学)|圏]]の[[積 (圏論)|直積]]である。 |
||
⚫ | |||
==参考文献== |
==参考文献== |
||
{{参照方法|date=2017年7月|section=1}} |
{{参照方法|date=2017年7月|section=1}} |
||
* 雪江 明. (2010). 代数学. 日本: 日本評論社. |
|||
*森田康夫『代数概論』、数学選書9(第12版)、裳華房、ISBN 978-4-7853-1311-1 |
*森田康夫『代数概論』、数学選書9(第12版)、裳華房、ISBN 978-4-7853-1311-1 |
||
*Serge Lang, ''Algebra'', GTM '''211''' (Rev. 3rd ed.), Springer, ISBN 978-0-387-95385-4 |
*Serge Lang, ''Algebra'', GTM '''211''' (Rev. 3rd ed.), Springer, ISBN 978-0-387-95385-4 |
2022年11月23日 (水) 14:45時点における版
数学、特に群論において、与えられたいくつかの群の直積(ちょくせき、英: direct product)は、それらを正規部分群として含むような新しい群を作る構成法である。
定義
2つの群の直積
として演算を定義すると、 は群になる。これを と の直積という。
有限個の群の直積
同様に、有限個の群 が与えられたとき、その直積集合の元
に対して
と定義すると、 は群になり、これを の直積と言う。
任意個の群の直積
一般に、群の族 が与えられると、その直積集合の元 , に対して、によって演算を定義したものが群 の直積である。
例
- 実数全体の集合 R を加法に関する群とみなすと、その直積 R × R はベクトル (x, y) を要素に持ち、直積としての加法
- (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2)
- G と H を位数2の巡回群とし、それぞれの乗算表が
G ∙ 1 a 1 1 a a a 1 H ∙ 1 b 1 1 b b b 1 であるならば、直積 G × H は以下の乗算表を持ち、クラインの四元群に同型である。
G × H ∙ (1, 1) (a, 1) (1, b) (a, b) (1, 1) (1, 1) (a, 1) (1, b) (a, b) (a, 1) (a, 1) (1, 1) (a, b) (1, b) (1, b) (1, b) (a, b) (1, 1) (a, 1) (a, b) (a, b) (1, b) (a, 1) (1, 1)
性質
この節の加筆が望まれています。 |
直積因子
群 と の直積 は、 と を正規部分群として含む(ただし はそれぞれの単位元)。これらはそれぞれ G, H と同型である。
証明
とすると,次の等式が成り立つ。 についても同様である。よって,主張が従う[1].
可換性
群の直積 において群 の任意の元と群 との任意の元は可換である。
証明
とすると,次が成り立つ。したがって,主張が従う[1].
その他
- 群 G, H, K に対し、次の同型が成り立つ。
- (普遍性)群 Gi (i ∈ I) が与えられているとする。πj : Πi ∈ I Gi → Gj (j ∈ I) を自然な射影とする。このとき任意の群 H と任意の群準同型写像 fj : H → Gj (j ∈ I) に対して、一意的な準同型 φ : H → Πi ∈ I Gi が存在して、fj = πj∘φ (j ∈ I) が成り立つ。つまり群の直積は群のなす圏の直積である。
参考文献
- 雪江 明. (2010). 代数学. 日本: 日本評論社.
- 森田康夫『代数概論』、数学選書9(第12版)、裳華房、ISBN 978-4-7853-1311-1
- Serge Lang, Algebra, GTM 211 (Rev. 3rd ed.), Springer, ISBN 978-0-387-95385-4
関連項目
- ^ a b Daisūgaku. 001.. Akihiko Yukie, 雪江明彦. Tōkyō: Nihonhyōronsha. (2010). ISBN 4-535-78659-3. OCLC 836343697