同型定理
G と H を群とし、φ: G → H を群準同型とする。このとき
φ の核は G の正規部分群であり、
φ の像は H の部分群であり、
φ の像は商群 G/ker(φ) に同型 である。
とくに、φ が全射であれば、H は G/ker(φ) に同型である。