対応定理

数学の群論における対応定理（たいおうていり、, ）は正規部分群 formula_1 による商群 の部分群がちょうど群 の を含む部分群と対応していることを述べている。対応定理という名前は他の代数的構造に対する類似の関係にも用いられることもある。束定理 (lattice theorem) または第四同型定理ともいう。
群論における対応定理.
核 をもつ全射群準同型写像 を考える。このとき対応
は を含む の部分群と の部分群との間の全単射である。対応
はその逆写像である。このとき正規部分群は正規部分群に（いずれの方向にも）対応する。
この主張を の場合に特殊化することで の（正規）部分群は を満たす（正規）部分群 を用いて と表されるものにちょうど一致することがわかる。この対応は単調である——つまり部分群 に対して となるのは となるとき、かつ、そのときに限る。
もし が単純群ならば正規部分群 は正規部分群のなかで極大である。
環論における対応定理.
 を単位元を含む環とし、 を（両側）イデアルとする。このとき対応
は を含む の左イデアルと の左イデアルとの間の全単射である。この対応は単調である——つまり左イデアル に対して となるのは となるとき、かつ、そのときに限る。
加群論における対応定理.
 を左 加群、 をその部分加群とする。このとき対応
は を含む の部分加群と の部分加群との間の全単射である。この対応は単調である——つまり部分加群 に対して となるのは となるとき、かつ、そのときに限る。