Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is a unital homomorphism? Why are they important?

share|cite|improve this question
up vote 1 down vote accepted

A unital homomorphism between rings R and S is a ring homomorphism that sends the identity element of R to the identity element of S.

Homomorphisms (between objects in any algebraic category like groups, rings, vector spaces, etc.) preserve the algebraic structure, and if you want a map between rings with an identity element, it is natural to require this to preserve this element (since it satisfies unique properties).

share|cite|improve this answer

A lot of results about rings just won't work otherwise: for instance, a unital homomorphism of rings sends units to units. A nonunital homomorphism doesn't have to do that. Nonunital homomorphisms can be very degenerate, e.g. the zero homomorphism.

Another reason you want homomorphisms to preserve the unit is that this is how you get a map $\operatorname{Spec S} \to \operatorname{Spec} R$ from a ring-homomorphism $R \to S$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.