Ring Homomorphism

• f(a + b) = f(a) + f(b) for all a and b in R
• f(ab) = f(a) f(b) for all a and b in R
• f(1) = 1

Properties

• f(0) = 0
• f(-a) = -f(a)
• If a has a multiplicative inverse in R, then f(a) has a multiplicative inverse in S and we have f(a^-1) = (f(a))^-1. Therefore, f induces a group homomorphism from the group of units of R to the group of units of S.
• The kernel of f, defined as ker(f) = {a in R : f(a) = 0} is an ideal in R. Every ideal in R arises from some ring homomorphism in this way. f is injective if and only if the ker(f) = {0}.
• If f is bijective, then its inverse f ^-1 is also a ring homomorphism. f is called an isomorphism in this case, and the rings R and S are called isomorphic. From the standpoint of ring theory, isomorphic rings cannot be distinguished.
• If R_p is the smallest subring contained in R and S_p is the smallest subring contained in S, then every ring homomorphism f : R -> S induces a ring homomorphism f_p : R_p -> S_p. This can sometimes be used to show that between certain rings R and S, no ring homomorphisms R -> S can exist.
• The composition of two ring homomorphisms is a ring homomorphism; the class of all rings together with the ring homomorphisms forms a category.

Examples

• The function f : Z -> Z_n, defined by f(a) = a_n = a mod n is a surjective ring homomorphism with kernel nZ (see modular arithmetic).
• There is no ring homomorphism Z_n -> Z.
• If RX denotes the ring of all polynomials in the variable X with coefficients in the real numbers R, and C denotes the complex numbers, then the function f : RX -> C defined by f(p) = p(i) (substitute the imaginary unit i for the variable X in the polynomial p) is a surjective ring homomorphism. The kernel of f consists of all polynomials in RX which are divisible by X² + 1.
• If f : R -> S is a ring homomorphism between the commutative rings R and S, then f induces a ring homomorphism between the matrix rings M_n(R) -> M_n(S).

<< Previous Word Browser Next >>
richard i of england rfpolicy robert jordan ratatosk reel (dance) remedy rift valley fever return on investment rock en espaol rogue state rebol	red hat reno, nevada riemann integral run length encoding red black tree rhodes rms laconia retcon rochester radiocarbon year rosl	risk management rainer maria rilke richard doyle reparative therapy reflux real madrid resurrection of jesus rube foster ring lardner river clyde reactor	reproductive issues rational root theorem round table (camelot) rosetta stone redshirt receptor resolution class submarine rms titanic roger angell rent (musical) restaurant