Ring homomorphism

From Citizendium
Revision as of 10:23, 6 January 2011 by imported>John R. Brews (url)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.


In ring theory a ring homomorphism is a map from one ring to another group that preserves the ring operations.

Formally, therefore, a map is a homomorphism if

A unital homomorphism between unital rings (rings with a multiplicative identity element) must also satisfy

The kernel of a homomorphism is the set of all elements of the domain that map to the zero element of the codomain. This subset is an ideal, and every ideal is the kernel of some homomorphism.

An embedding or monomorphism is an injective homomorphism (or, equivalently, one whose kernel consists only of the zero element).

Examples

  • The zero map is a ring homomorphism.
  • The map defined on the ring of integers which maps an integer to its remainder modulo N for some fixed modulus N is a ring homomorphism from Z onto Z/(N).

Isomorphism

We say that two rings are isomorphic if there is a bijective homomorphism of one onto the other : the mapping is called an isomorphism. Isomorphic rings have identical structure and are often thought of as just being relabelings of one another.

References