【抽象代数概念速查】ideal in commutative ring-交换环中的理想