Let and be ideals in a commutative unital ring . Show that if and then . Characterize the ideals which divide .
If , then for some . So . Likewise, if then . Thus if and , then .
Suppose is an ideal such that for some ideal . Now , so that . That is, the only unit in the semigroup of ideals in under ideal multiplication is itself.