阿贝尔群
考虑环(R, +, ·)，依环的定义知(R, +)是阿贝尔群。集合I ⊆ R，考虑以下条件：