ufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern"中明确阐述。
群同态基本定理.我们首先叙述群论中的同态基本定理，他们的形式相对简单，却表达了商群的重要性质。定理的叙述中用到了关于正规子群的等价类概念。 
群同构基本定理.
群同构第一定理.给定一个群同态 formula_1，根据群同态第一基本定理，我们可以把formula_2除以formula_2的