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:
“... there are two types of happiness and I have chosen that of the murderers. For I am happy. There was a time when I thought I had reached the limit of distress. Beyond that limit, there is a sterile and magnificent happiness.”
—Albert Camus (1913–1960)
“Our major universities are now stuck with an army of pedestrian, toadying careerists, Fifties types who wave around Sixties banners to conceal their record of ruthless, beaverlike tunneling to the top.”
—Camille Paglia (b. 1947)
“Interpreting the dance: young women in white dancing in a ring can only be virgins; old women in black dancing in a ring can only be witches; but middle-aged women in colors, square dancing...?”
—Mason Cooley (b. 1927)