阿贝尔群
环(R,+,·)，已知(R, +)是阿贝尔群。R的子集I称为R的一个右理想，若I满足：