formula_4的单射性的等价叙述。我们必须先确定商群具有群的结构，才可以对formula_13进行讨论。定理：给定formula_2和formula_15两个群，和formula_16群同态。则formula_17是一个formula_2的正规子群。证明：记 formula_19 为formula_2和formula_15的运算符号，记formula_22和formula_23他们的单位元，我们可以验证formula_17 在共轭运算下封闭，即对于所有formula_25、所有formula