factor ring : it is the set of cosets of together with the operations and .For example, the ring (also denoted ), where is an integer, is the ring of integers modulo . It is the basis of modular arithmetic.

An ideal is proper if it is strictly smaller than the whole ring. An ideal that is not strictly contained in any proper ideal is called maximal. An ideal is maximal if and only if