For a Ring , and
We say is an ideal if is a Subgroup for addition
and for any we have .
We write .
Quotient Ring

If is a Ring Homomorphism, then .

For , the ideal generated by them is:

Principal Ideal

Lemma

A ring is a field
if and only if
its only ideals are and .