対応定理
数学の群論における対応定理(たいおうていり、英: correspondence theorem, 独: Korrespondenzsatz)は正規部分群 N ⊴ G {\displaystyle N\trianglelefteq G} による商群 G/N の部分群がちょうど群 G の N を含む部分群と対応していることを述べている。対応定理という名前は他の代数的構造に対する類似の関係にも用いられることもある。束定理 (lattice theorem) または第四同型定理ともいう。