https://www.zhihu.com/question/324646020
https://math.stackexchange.com/questions/500212/show-that-ideal-is-a-subring
子群，子环是一种子结构
正规子群和理想是一种等价类，可以诱导出商结构
只不过对于群来说，这种等价类恰好也是一种子结构，
而对于环来说，如果环定义为加法群乘法半群，则理想是特殊的子环，但如果环定义为含幺环，则理想基本不会是子环（大多数理想不能包含单位元），简单来说，理想很难包含环的很多特征