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 .