n. a module over a ring with identity in which the product of the ring identity with each element is that element.