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:
“Our children evaluate themselves based on the opinions we have of them. When we use harsh words, biting comments, and a sarcastic tone of voice, we plant the seeds of self-doubt in their developing minds.... Children who receive a steady diet of these types of messages end up feeling powerless, inadequate, and unimportant. They start to believe that they are bad, and that they can never do enough.”
—Stephanie Martson (20th century)
“As for types like my own, obscurely motivated by the conviction that our existence was worthless if we didn’t make a turning point of it, we were assigned to the humanities, to poetry, philosophy, painting—the nursery games of humankind, which had to be left behind when the age of science began. The humanities would be called upon to choose a wallpaper for the crypt, as the end drew near.”
—Saul Bellow (b. 1915)
“Roll unmanly over this turning tuft,
O ring of seas, nor sorrow as I shift
From all my mortal lovers with a starboard smile....”
—Dylan Thomas (1914–1953)