Unless otherwise stated, all the rings considered in this chapter are assumed to have a unit element; all the ring homomorphisms are assumed to map unit element to unit element.