同型定理
M を加群とする。S と T を M の部分加群で T ⊆ S ⊆ M とする。このとき
商 S/T は商 M/T の部分加群であり、
商 (M/T)/(S/T) は M/S に同型である。
加群に対する同型定理のステートメントはとりわけ単純である、なぜならば任意の部分加群から商加群を構成することができるからである。ベクトル空間とアーベル群に対する同型定理はこれらの特別な場合である。ベクトル空間に対しては、これらの定理はすべて階数・退化次数の定理 (rank-nullity theorem) から従う。
以下の定理のすべてで、言葉「加群」は「R-加群」を意味する、ただし R はある固定された環。
以下に示す4つの定理はしばしば「第一同型定理」「第二同型定理」⋯⋯と番号を用いた名前で呼ばれるが、文献によってその順番はまちまちである。以下の表に文献ごとの群同型定理の付番の例を示す。なお、これらの定理にはそれぞれ環と加群にも対応する定理が存在することに注意されたい。
一般的ではないものの、これらに対応定理を4番目の定理として加えることがあり、「第四同型定理」あるいは「束定理」と呼ばれる。