Types of Ring Homomorphisms
A bijective ring homomorphism is called a ring isomorphism. A ring homomorphism whose domain is the same as its range is called a ring endomorphism. A ring automorphism is a bijective endomorphism.
Injective ring homomorphisms are identical to monomorphisms in the category of rings: If f:R→S is a monomorphism which 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 to R which map x to r1 and r2, respectively; f g1 and f g2 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 Z ⊆ Q is a ring epimorphism, but not a surjection. However, they are exactly the same as the strong epimorphisms.
Read more about this topic: Ring Homomorphism
Famous quotes containing the words types of, types and/or ring:
“Science is intimately integrated with the whole social structure and cultural tradition. They mutually support one other—only in certain types of society can science flourish, and conversely without a continuous and healthy development and application of science such a society cannot function properly.”
—Talcott Parsons (1902–1979)
“He types his laboured column—weary drudge!
Senile fudge and solemn:
Spare, editor, to condemn
These dry leaves of his autumn.”
—Robertson Davies (b. 1913)
“Time has no divisions to mark its passage, there is never a thunderstorm or blare of trumpets to announce the beginning of a new month or year. Even when a new century begins it is only we mortals who ring bells and fire off pistols.”
—Thomas Mann (1875–1955)