数学、特に抽象代数学において、同型定理 (どうけいていり、) は商、準同型、部分対象の間の関係を描く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つの法則は群に適用されたとき明示的に現れる。

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

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

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

定理のステートメント

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

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

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

定理4 

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

議論 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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