数学、特に抽象代数学において、同型定理 (どうけいていり、: 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つの法則は群に適用されたとき明示的に現れる。

まずの文脈において4つの同型定理を述べる。

定理の付番と命名について

編集

以下に示す4つの定理はしばしば「第一同型定理」「第二同型定理」⋯⋯と番号を用いた名前で呼ばれるが、文献によってその順番はまちまちである。以下の表に文献ごとの群同型定理の付番の例を示す。なお、これらの定理にはそれぞれ環と加群にも対応する定理が存在することに注意されたい。

群の同型定理の名前の比較
分類 筆者 定理1 定理2 定理3
「第三」なし Jacobson[1] 準同型の基本定理

(Fundamental theorem of homomorphisms)

第二同型定理

(Second isomorphism theorem)

第一同型定理

(First isomorphism theorem)

van der Waerden,[2] Durbin[4] 準同型の基本定理

(Fundamental theorem of homomorphisms)

第一同型定理

(First isomorphism theorem)

第二同型定理

(Second isomorphism theorem)

Knapp[5] (対応なし) 第二同型定理

(Second isomorphism theorem)

第一同型定理

(First isomorphism theorem)

Grillet[6] 準同型定理

(Homomorphism theorem)

第二同型定理

(Second isomorphism theorem)

第一同型定理

(First isomorphism theorem)

「第三」あり (Other convention per Grillet) 第一同型定理

(First isomorphism theorem)

第三同型定理

(Third isomorphism theorem)

第二同型定理

(Second isomorphism theorem)

Rotman[7] 第一同型定理

(First isomorphism theorem)

第二同型定理

(Second isomorphism theorem)

第三同型定理

(Third isomorphism theorem)

Fraleigh[8] (対応なし) 第二同型定理

(Second isomorphism theorem)

第三同型定理

(Third isomorphism theorem)

Dummit & Foote[9] 第一同型定理

(First isomorphism theorem)

第二同型定理、もしくは菱形同型定理

(Second or Diamond isomorphism theorem)

第三同型定理

(Third isomorphism theorem)

番号なし Milne[10] 準同型定理

(Homomorphism theorem)

同型定理

(Isomorphism theorem)

対応定理

(Correspondence theorem)

Scott[11] 準同型定理

(Homomorphism theorem)

同型定理

(Isomorphism theorem)

一年生定理

(Freshman theorem)

一般的ではないものの、これらに対応定理を4番目の定理として加えることがあり、「第四同型定理」あるいは「束定理」と呼ばれる。

定理のステートメント

編集

定理1

編集

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

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

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

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

定理2

編集

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

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

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

定理3

編集

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

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

定理4

編集

一部の文献では対応定理を三番目もしくは四番目の同型定理として紹介している。また別の文献ではツァッセンハウスの補題英語: Zassenhaus lemmaを第四同型定理としている[12]

議論

編集
First isomorphism theorem
 

定理1は「群の圏が正規エピ–モノ分解可能、すなわち正規エピ射英語版のクラスとモノ射のクラスはこの圏の標準分解系英語版 (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 によって拡張できる。

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

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

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

定理1

編集

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

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

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

定理2

編集

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

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

定理3

編集

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

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

加群

編集

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

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

定理1

編集

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

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

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

定理2

編集

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

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

定理3

編集

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

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

一般

編集

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

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

定理1

編集

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

定理2

編集

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

このとき

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

定理3

編集

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

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

関連項目

編集

脚注

編集
  1. ^ Jacobson (2009), sec 1.10
  2. ^ van der Waerden, Algebra (1994).
  3. ^ Durbin (2009), sec. 54
  4. ^ [the names are] essentially the same as [van der Waerden 1994][3]
  5. ^ Knapp (2016), sec IV 2
  6. ^ Grillet (2007), sec. I 5
  7. ^ Rotman (2003), sec. 2.6
  8. ^ Fraleigh (2003), Chap. 34
  9. ^ Dummit, David Steven (2004). Abstract algebra. Richard M. Foote (Third ed.). Hoboken, NJ. pp. 97-98. ISBN 0-471-43334-9. OCLC 52559229. https://www.worldcat.org/oclc/52559229 
  10. ^ Milne (2013), Chap. 1, sec. Theorems concerning homomorphisms
  11. ^ Scott (1964), secs 2.2 and 2.3
  12. ^ Wilson, Robert A. (2009). The Finite Simple Groups. Graduate Texts in Mathematics 251. Springer-Verlag London. p. 7. doi:10.1007/978-1-84800-988-2. ISBN 978-1-4471-2527-3 

参考文献

編集

外部リンク

編集