同型定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学、特に抽象代数学において、同型定理 (isomorphism theorems) は準同型部分対象の間の関係を描く3つの定理である。定理のバージョンはベクトル空間加群リー環、そして様々な他の代数的構造に対して存在する。普遍代数学において、同型定理は代数と合同の文脈に一般化することができる。

歴史[編集]

同型定理は加群の準同型に対してEmmy Noetherによって雑誌 Mathematische Annalen に 1927 年に掲載された彼女の論文 Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern においていくらか一般的に定式化された。これらの定理のより一般的でないバージョンは Richard Dedekind の仕事や Noether による前の論文において見つけられる。

3年後、B.L. van der Waerden英語版 は彼の大きな影響を及ぼした Algebra、主題への -- アプローチをとった最初の抽象代数学の教科書を出版した。Van der Waerden は群論に関する Noether の講義と代数学に関する Emil Artin の講義を、また Wilhelm Blaschke英語版, オットー・シュライアー英語版, そして van der Waerden 自身によって行われたイデアルに関するセミナーを、主なリファレンスとして信用した。準同型定理と呼ばれる3つの同型定理と同型の2つの法則は群に適用されたとき明示的に現れる。

[編集]

まずの文脈において 3 つの同型定理を述べる。いくつかの文献では 2 番目と 3 番目が逆になっていることを注意する[1]。ときどき lattice theorem が「第四同型定理」[2]あるいは「対応定理」と呼ばれる。

定理のステートメント[編集]

第一同型定理[編集]

GH を群とし、φ: GH群準同型とする。このとき

  1. φG正規部分群であり、
  2. φH部分群であり、
  3. φ の像は商群 G/ker(φ)同型 である。

とくに、φ全射であれば、HG/ker(φ) に同型である。

第二同型定理を表した模式図

第二同型定理[編集]

G を群とする。SG の部分群とし、NG の正規部分群とする。このとき

  1. 英語版 SNG の部分群であり、
  2. 共通部分 SNS の正規部分群であり、
  3. 商群 (SN)/NS/(SN) は同型である。

技術的には、SN正規化群の部分群でありさえすれば N のが正規部分群である必要はない。この場合、共通部分 SNG の正規部分群とは限らないが、S の正規部分群ではなおある。

第三同型定理[編集]

G を群とする。NKG の正規部分群で KNG とする。このとき

  1. N/K は商 G/K の正規部分群であり、
  2. 商群 (G/K)/(N/K)G/N に同型である。

議論[編集]

First isomorphism theorem
First-isomorphism-theorem.svg

第一同型定理は「群の圏が正規エピ–モノ分解可能、すなわち正規エピ射英語版のクラスとモノ射のクラスはこの圏の標準分解系英語版 (factorization system) をなす」という圏論的事実に基づく。これは横の可換図式においてとらえられ、存在が射 f: GH から導かれる対象と射を示している。図式は群の圏においてすべての射が を圏論的な意味でもつことを示している;任意の射 fιπ に分解する、ただし ι はモノ射で π はエピ射である(余正規圏においてすべてのエピ射は正規である)。これは対象 ker f とモノ射 κ: ker fG によって図式において表現されており(核は常にモノ射である)、図式の左下から右上に走る短完全列を完成させる。完全列を用いる慣習によって ker f から HG/ker f へのゼロ射を描かなくて済む。

列が右分裂であれば(すなわち G/ker f をそれ自身の π-原像に写す射 σ が存在すれば)、G は正規部分群 im κ と部分群 im σ半直積である。それが左分裂(すなわちある ρ: G → ker f が存在して ρκ = idkerf)であれば、右分裂でもなければならず、im κ × im σG直積分解である。一般に、右分裂の存在は左分裂の存在を意味しないが、アーベル圏(例えばアーベル群全体)においては、左分裂と右分裂は分裂補題によって同値であり、右分裂は直和分解 im κ ⊕ im σ を生み出すのに十分である。アーベル圏において、すべてのモノ射は正規でもあり、図式は2番目の短完全列 0 → G/ker fH → coker f → 0 によって拡張できる。

第二同型定理において、積 SNG部分群の束英語版における SN結びであり、共通部分 SN交わりである。

第三同型定理は9項補題によってアーベル圏やより一般の対象の間の写像に一般化される。それはときどき略式的に "freshman theorem" と呼ばれる、なぜならば "freshman でさえわかるからだ: K たちをキャンセルアウトするだけでよい!"

[編集]

に対する定理のステートメントも同様であり、正規部分群の概念がイデアルの概念に取って代わる。

第一同型定理[編集]

RS を環とし、φ: RS環準同型とする。このとき

  1. φR のイデアルであり、
  2. φS部分環であり、
  3. φ の像は商環 R/ker(φ) に同型である。

とくに、φ全射であれば、SR/ker(φ) に同型である。

第二同型定理[編集]

R を環とする。SR の部分環とし、IR のイデアルとする。このとき

  1. S + I = {s + i | sS, iI}R の部分環であり、
  2. 共通部分 SIS のイデアルであり、
  3. 商環 (S + I)/IS/(SI) は同型である。

第三同型定理[編集]

R を環とする。ABR のイデアルで BAR とする。このとき

  1. 集合 A/B は商 R/B のイデアルであり、
  2. 商環 (R/B)/(A/B)R/A に同型である。

加群[編集]

加群に対する同型定理のステートメントはとりわけ単純である、なぜならば任意の部分加群から商加群を構成することができるからである。ベクトル空間アーベル群に対する同型定理はこれらの特別な場合である。ベクトル空間に対しては、これらの定理はすべて階数・退化次数の定理 (rank-nullity theorem) から従う。

以下の定理のすべてで、言葉「加群」は「R-加群」を意味する、ただし R はある固定された環。

第一同型定理[編集]

MN を加群とし、φ: MN を準同型とする。このとき

  1. φM の部分加群であり、
  2. φN の部分加群であり、
  3. φ の像は商加群 M/ker(φ) に同型である。

とくに、φ が全射であれば、NM/ker(φ) に同型である。

第二同型定理[編集]

M を加群とし、STM の部分加群とする。このとき

  1. S + T = {s + t | sS, tT}M の部分加群であり、
  2. 共通部分 STS の部分加群であり、
  3. 商加群 (S + T)/TS/(ST) は同型である。

第三同型定理[編集]

M を加群とする。STM の部分加群で TSM とする。このとき

  1. S/T は商 M/T の部分加群であり、
  2. (M/T)/(S/T)M/S に同型である。

一般[編集]

これを普遍代数学に一般化するために、正規部分群は合同で置き換えられる必要がある。

代数系 A 上の合同 (congruence) は成分ごとの演算構造を与えられた A × A の部分代数系である同値関係 Φ である。演算を表現を経由して定義することによって同値類の集合 A を同じタイプの代数系にできる。ΦA × A の部分代数系だからこれは well-defined である。。

第一同型定理[編集]

f: AB を代数系の準同型とする。このとき f の像は B の部分代数系で、Φ: f(x) = f(y) で与えられる関係は A 上の合同で、代数系 Aim f は同型である。

第二同型定理[編集]

代数系 AA の部分代数系 B と、A 上の合同 Φ が与えられ、ΦB := Φ ∩(B × B)ΦB におけるトレースとし [B]Φ := {KA/Φ | KB ≠ ∅}B と交わる同値類の集まりとする。

このとき

  1. ΦBB 上の合同で、
  2. [B]ΦA の部分代数系で、
  3. 代数系 [B]Φ は代数 BB に同型である。

第三同型定理[編集]

A を代数系とし Φ, ΨA 上の2つの合同関係で Ψ ⊆ Φ とする。このとき

  1. Φ/Ψ := {([a′]Ψ, [a″]Ψ) | (a′, a″) ∈ Φ} = []Ψ ∘ Φ ∘ []−1
    Ψ
     
    A の合同で、
  2. A(A/Ψ)/(Φ/Ψ) に同型である。

関連項目[編集]

  • ツァッセンハウスの補題英語版(蝶の補題, 胡蝶補題): 第四同型定理 (the fourth isomorphism theorem) と呼ばれることもある
  • 対応定理: 第四同型定理と呼ばれることもある
  • 分裂補題: 第一同型定理の分裂列に対する精密化

脚注[編集]

  1. ^ Jacobson (2009), p. 101, use "first" for the isomorphism of the modules (S + T)/T and S/(ST), and "second" for (M/T)/(S/T) and M/S.
  2. ^ 例えば Hutzler, Nick. "Fourth Group Isomorphism Theorem". MathWorld(英語). , 環バージョン: Hutzler, Nick. "Fourth Ring Isomorphism Theorem". MathWorld(英語). 

参考文献[編集]

  • Emmy Noether, Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, Mathematische Annalen 96 (1927) p. 26-61
  • Colin McLarty, 'Emmy Noether’s ‘Set Theoretic’ Topology: From Dedekind to the rise of functors' in The Architecture of Modern Mathematics: Essays in history and philosophy (edited by Jeremy Gray and José Ferreirós), Oxford University Press (2006) p. 211–35.
  • Jacobson, Nathan (2009), Basic algebra, 2 (2nd ed.), Dover, ISBN 978-0-486-47187-7 
  • Paul M. Cohn, Universal algebra, Chapter II.3 p.57