同型定理
f: A → B を代数系の準同型とする。このとき f の像は B の部分代数系で、Φ: f(x) = f(y) で与えられる関係は A 上の合同で、代数系 A/Φ と im f は同型である。