Ring homomorphism

In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the structure.

More explicitly, if R and S are rings, then a ring homomorphism is a function f : RS such that[1][2][3][4][5][6]

(Additive inverses and the additive identity are part of the structure too, but it is not necessary to require explicitly that they too are respected, because these conditions are consequences of the three conditions above. On the other hand, neglecting to include the condition f(1R) = 1S would cause several of the properties below to fail.)

If R and S are rngs (also known as pseudo-rings, or non-unital rings), then the natural notion[7] is that of a rng homomorphism, defined as above except without the third condition f(1R) = 1S. It is possible to have a rng homomorphism between (unital) rings that is not a ring homomorphism.

The composition of two ring homomorphisms is a ring homomorphism. It follows that the class of all rings forms a category with ring homomorphisms as the morphisms (cf. the category of rings). In particular, one obtains the notions of ring endomorphism, ring isomorphism, and ring automorphism.

Properties

Let f : RS be a ring homomorphism. Then, directly from these definitions, one can deduce:

Moreover,

Examples

The category of rings

Main article: Category of rings

Endomorphisms, isomorphisms, and automorphisms

Monomorphisms and epimorphisms

Injective ring homomorphisms are identical to monomorphisms in the category of rings: If f : RS is a monomorphism that is not injective, then it sends some r1 and r2 to the same element of S. Consider the two maps g1 and g2 from Z[x] to R that map x to r1 and r2, respectively; fg1 and fg2 are identical, but since f is a monomorphism this is impossible.

However, surjective ring homomorphisms are vastly different from epimorphisms in the category of rings. For example, the inclusion ZQ is a ring epimorphism, but not a surjection. However, they are exactly the same as the strong epimorphisms.

Notes

  1. Artin, p. 353
  2. Atiyah and Macdonald, p. 2
  3. Bourbaki, p. 102
  4. Eisenbud, p. 12
  5. Jacobson, p. 103
  6. Lang, p. 88
  7. Hazewinkel et al. (2004), p. 3. Warning: They use the word ring to mean rng.

References

See also

This article is issued from Wikipedia - version of the 6/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.