自然投影

自然投影，也称为同态，是将代数结构映射到其商结构的逻辑方法。自然投影 对于群和环的正式定义如下。

对于一个群 ，设 (即， 是 正规子群 )。则 定义为 。注意 (Dummit 和 Foote 1998, p. 84)。

对于一个环，设 是环 的理想。 定义为 。注意 (Dummit 和 Foote 1998, p. 244)。