I.论理想理想是关于一切乘法封闭之子环。本质是将\(0\)关于一切乘法之封闭性放大到了子环里。商环等价于关于理想构建等价类，所有差一个理想元素的对都会collapse到同一个陪集中。当然，也可以替换为【按照某种法则将东西collapse】，不依托理想本身来描述collapse的过程。