Relation With Homomorphisms
If ƒ: A → B is a homomorphism between two algebraic structures (such as homomorphism of groups, or a linear map between vector spaces), then the relation ≡ defined by
- a1 ≡ a2 if and only if ƒ(a1) = ƒ(a2)
is a congruence relation. By the first isomorphism theorem, the image of A under ƒ is a substructure of B isomorphic to the quotient of A by this congruence.
Read more about this topic: Congruence Relation
Famous quotes containing the word relation:
“The instincts of the ant are very unimportant, considered as the ant’s; but the moment a ray of relation is seen to extend from it to man, and the little drudge is seen to be a monitor, a little body with a mighty heart, then all its habits, even that said to be recently observed, that it never sleeps, become sublime.”
—Ralph Waldo Emerson (1803–1882)