 Many of the following notions also exist for not necessarily commutative rings, but the definitions and properties are usually more complicated.For example, all ideals in a commutative ring are automatically two-sided, which simplifies the situation considerably.For a ring "R", an "R"-"module" "M" is like what a vector space is to a field.