同型定理

数学、特に抽象代数学において、同型定理 (どうけいていり、) は商、準同型、部分対象の間の関係を描く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 「第三」なし JacobsonJacobson (2009), sec 1.10 準同型の基本定理（Fundamental theorem of homomorphisms）第二同型定理（Second isomorphism theorem）第一同型定理（First isomorphism theorem） van der Waerden,van der Waerden, Algebra (1994). Durbin 準同型の基本定理（Fundamental theorem of homomorphisms）第一同型定理（First isomorphism theorem）第二同型定理（Second isomorphism theorem） KnappKnapp (2016), sec IV 2 （対応なし）第二同型定理（Second isomorphism theorem）第一同型定理（First isomorphism theorem） GrilletGrillet (2007), sec. I 5 準同型定理（Homomorphism theorem）第二同型定理（Second isomorphism theorem）第一同型定理（First isomorphism theorem）「第三」あり (Other convention per Grillet) 第一同型定理（First isomorphism theorem）第三同型定理（Third isomorphism theorem）第二同型定理（Second isomorphism theorem） RotmanRotman (2003), sec. 2.6 第一同型定理（First isomorphism theorem）第二同型定理（Second isomorphism theorem）第三同型定理（Third isomorphism theorem） FraleighFraleigh (2003), Chap. 34 （対応なし）第二同型定理（Second isomorphism theorem）第三同型定理（Third isomorphism theorem） Dummit & Foote 第一同型定理（First isomorphism theorem）第二同型定理、もしくは菱形同型定理（Second or Diamond isomorphism theorem）第三同型定理（Third isomorphism theorem）番号なし MilneMilne (2013), Chap. 1, sec. Theorems concerning homomorphisms 準同型定理（Homomorphism theorem）同型定理（Isomorphism theorem）対応定理（Correspondence theorem） ScottScott (1964), secs 2.2 and 2.3 準同型定理（Homomorphism theorem）同型定理（Isomorphism theorem）一年生定理（Freshman theorem）一般的ではないものの、これらに対応定理を4番目の定理として加えることがあり、「第四同型定理」あるいは「束定理」と呼ばれる。定理のステートメント定理1 とを群とし、を群準同型とする。このときの像はの部分群であり、の核はの正規部分群であり、の像は商群に同型である。とくに、が全射であれば、はに同型である。

定理2 を群とする。をの部分群とし、をの正規部分群とする。このときはの部分群であり、共通部分はの正規部分群であり、商群とは同型である。技術的には、がの正規化群の部分群でありさえすればがの正規部分群である必要はない。この場合、共通部分はの正規部分群とは限らないが、の正規部分群ではなおある。

定理3 を群とする。とをの正規部分群でとする。このとき商は商の正規部分群であり、商群はに同型である。

定理4

一部の文献では対応定理を三番目もしくは四番目の同型定理として紹介している。また別の文献ではを第四同型定理としている。

議論 + First isomorphism theorem 定理1は「群の圏が正規エピ–モノ分解可能、すなわちのクラスとモノ射のクラスはこの圏の (factorization system) をなす」という圏論的事実に基づく。これは横の可換図式においてとらえられ、存在が射から導かれる対象と射を示している。図式は群の圏においてすべての射が核を圏論的な意味でもつことを示している；任意の射はに分解する、ただしはモノ射ではエピ射である（余正規圏においてすべてのエピ射は正規である）。これは対象とモノ射によって図式において表現されており（核は常にモノ射である）、図式の左下から右上に走る短完全列を完成させる。完全列を用いる慣習によってからとへのゼロ射を描かなくて済む。

列が右分裂であれば（すなわちをそれ自身の -原像に写す射が存在すれば）、は正規部分群と部分群の半直積である。それが左分裂（すなわちあるが存在して）であれば、右分裂でもなければならず、はの直積分解である。一般に、右分裂の存在は左分裂の存在を意味しないが、アーベル圏（例えばアーベル群全体）においては、左分裂と右分裂は分裂補題によって同値であり、右分裂は直和分解を生み出すのに十分である。アーベル圏において、すべてのモノ射は正規でもあり、図式は2番目の短完全列によって拡張できる。

定理2において、積はのにおけるとの結びであり、共通部分は交わりである。

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

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

定理1 とを環とし、を環準同型とする。このときの像はの部分環であり、の核はのイデアルであり、の像は商環に同型である。とくに、が全射であれば、はに同型である。

3の証明

をに送る写像はwell-definedかつ準同型である。なぜなら、がを満たすなら、より、であるから、はwell-definedであり、であるから、は準同型である。次に、が全単射であることを示す。全射であることは明らか。もし、なら、なので、となり、となるので、は単射である。

定理2 を環とする。をの部分環とし、をのイデアルとする。このとき和はの部分環であり、共通部分はのイデアルであり、商環とは同型である。

定理3 を環とする。とをのイデアルでとする。このとき集合は商のイデアルであり、商環はに同型である。

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

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

定理1 とを加群とし、を準同型とする。このときの像はの部分加群であり、の核はの部分加群であり、の像は商加群に同型である。とくに、が全射であれば、はに同型である。

定理2 を加群とし、とをの部分加群とする。このとき和はの部分加群であり、共通部分はの部分加群であり、商加群とは同型である。

定理3 を加群とする。とをの部分加群でとする。このとき商は商の部分加群であり、商はに同型である。

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

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

定理1 を代数系の準同型とする。このときの像はの部分代数系で、で与えられる関係は上の合同で、代数系とは同型である。

定理2 代数系との部分代数系と、上の合同が与えられ、をのにおけるトレースとしをと交わる同値類の集まりとする。

このときは上の合同で、はの部分代数系で、代数系は代数に同型である。

定理3 を代数系としを上の2つの合同関係でとする。このときはの合同で、はに同型である。

関連項目（蝶の補題, 胡蝶補題）: 第四同型定理 (the fourth isomorphism theorem) と呼ばれることもある対応定理: 第四同型定理と呼ばれることもある分裂補題: 定理1の分裂列に対する精密化

脚注

参考文献 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.

Paul M. Cohn, Universal algebra, Chapter II.3 p.57

外部リンク . . .

Źródło i licencja