Use the usual convention that a ring homomorphism preserves the identity. Such a map from the quotient ring to fixes : it fixes integers, and preservation of inverses fixes rational numbers. It is therefore determined by the image of the class of . The defining relation forces . Conversely, evaluation at any such annihilates and hence factors through the quotient. Thus there are exactly three unital homomorphisms, namelyIf the convention permits nonunital ring homomorphisms, add the zero map. These are the only extra possibilities: the image of is an idempotent in , hence either zero or one, and image zero forces the whole map to vanish.
Articles by others on the same topic
There are currently no matching articles.