https://www.zhihu.com/question/324646020
https://math.stackexchange.com/questions/500212/show-that-ideal-is-a-subring
子群，子環是一種子結構
正規子群和理想是一種等價類，可以誘導出商結構
只不過對於群來說，這種等價類恰好也是一種子結構，
而對於環來說，如果環定義為加法群乘法半群，則理想是特殊的子環，但如果環定義為含幺環，則理想基本不會是子環（大多數理想不能包含單位元），簡單來說，理想很難包含環的很多特征