自然投影

自然投影，也稱為同態，是將代數結構對映到其商結構的邏輯方法。自然投影 對於群和環的正式定義如下。

對於一個群 ，設 (即， 是 正規子群 )。則 定義為 。注意 (Dummit 和 Foote 1998, p. 84)。

對於一個環，設 是環 的理想。 定義為 。注意 (Dummit 和 Foote 1998, p. 244)。