同型定理
数学、特に抽象代数学において、同型定理 (isomorphism theorems) は商、準同型、部分対象の間の関係を描く3つの定理である。定理のバージョンは群、環、ベクトル空間、加群、リー環、そして様々な他の代数的構造に対して存在する。普遍代数学において、同型定理は代数と合同の文脈に一般化することができる。
同型定理は加群の準同型に対してEmmy Noetherによって雑誌 Mathematische Annalen に 1927 年に掲載された彼女の論文 "Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern" においていくらか一般的に定式化された。これらの定理のより一般的でないバージョンは Richard Dedekind の仕事や Noether による前の論文において見つけられる。
3年後、 は彼の大きな影響を及ぼした "Algebra"、主題への 群-環-体 アプローチをとった最初の抽象代数学の教科書を出版した。Van der Waerden は群論に関する Noether の講義と代数学に関する Emil Artin の講義を、また , , そして van der Waerden 自身によって行われたイデアルに関するセミナーを、主なリファレンスとして信用した。準同型定理と呼ばれる3つの同型定理と同型の2つの法則は群に適用されたとき明示的に現れる。
まず群の文脈において 3 つの同型定理を述べる。いくつかの文献では 2 番目と 3 番目が逆になっていることを注意する。ときどき lattice theorem が「第四同型定理」あるいは「対応定理」と呼ばれる。
と を群とし、 を群準同型とする。このとき
とくに、 が全射であれば、 は に同型である。
 を群とする。 を の部分群とし、 を の正規部分群とする。このとき
技術的には、 が の正規化群の部分群でありさえすれば のが正規部分群である必要はない。この場合、共通部分 は の正規部分群とは限らないが、 の正規部分群ではなおある。
を群とする。 と を の正規部分群で とする。このとき
第一同型定理は「群の圏が正規エピ–モノ分解可能、すなわちのクラスとモノ射のクラスはこの圏の (factorization system) をなす」という圏論的事実に基づく。これは横の可換図式においてとらえられ、存在が射 から導かれる対象と射を示している。図式は群の圏においてすべての射が核 を圏論的な意味でもつことを示している；任意の射 は に分解する、ただし はモノ射で はエピ射である（余正規圏においてすべてのエピ射は正規である）。これは対象 とモノ射 によって図式において表現されており（核は常にモノ射である）、図式の左下から右上に走る短完全列を完成させる。完全列を用いる慣習によって から と へのゼロ射を描かなくて済む。
列が右分裂であれば（すなわち をそれ自身の -原像に写す射 が存在すれば）、 は正規部分群 と部分群 の半直積である。それが左分裂（すなわちある が存在して ）であれば、右分裂でもなければならず、 は の直積分解である。一般に、右分裂の存在は左分裂の存在を意味しないが、アーベル圏（例えばアーベル群全体）においては、左分裂と右分裂は分裂補題によって同値であり、右分裂は直和分解 を生み出すのに十分である。アーベル圏において、すべてのモノ射は正規でもあり、図式は2番目の短完全列 によって拡張できる。
第二同型定理において、積 は のにおける と の結びであり、共通部分 は交わりである。
第三同型定理は9項補題によってアーベル圏やより一般の対象の間の写像に一般化される。それはときどき略式的に "freshman theorem" と呼ばれる、なぜならば "freshman でさえわかるからだ： "K" たちをキャンセルアウトするだけでよい！"
環に対する定理のステートメントも同様であり、正規部分群の概念がイデアルの概念に取って代わる。
と を環とし、 を環準同型とする。このとき
とくに、 が全射であれば、 は に同型である。
を環とする。 を の部分環とし、 を のイデアルとする。このとき
を環とする。 と を のイデアルで とする。このとき
加群に対する同型定理のステートメントはとりわけ単純である、なぜならば任意の部分加群から商加群を構成することができるからである。ベクトル空間とアーベル群に対する同型定理はこれらの特別な場合である。ベクトル空間に対しては、これらの定理はすべて階数・退化次数の定理 (rank-nullity theorem) から従う。
以下の定理のすべてで、言葉「加群」は「-加群」を意味する、ただし はある固定された環。
と を加群とし、 を準同型とする。このとき
とくに、 が全射であれば、 は に同型である。
を加群とし、 と を の部分加群とする。このとき
を加群とする。 と を の部分加群で とする。このとき
これを普遍代数学に一般化するために、正規部分群は合同で置き換えられる必要がある。
代数系 上の合同 (congruence) は成分ごとの演算構造を与えられた の部分代数系である同値関係 である。演算を表現を経由して定義することによって同値類の集合 を同じタイプの代数系にできる。 は の部分代数系だからこれは well-defined である。。
を代数系の準同型とする。このとき の像は の部分代数系で、 で与えられる関係は 上の合同で、代数系 と は同型である。
代数系 と の部分代数系 と、 上の合同 が与えられ、 を の におけるトレースとし を と交わる同値類の集まりとする。
を代数系とし を 上の2つの合同関係で とする。このとき