Universal Algebra
The idea is generalized in universal algebra: A congruence relation on an algebra A is a subset of the direct product A × A that is both an equivalence relation on A and a subalgebra of A × A.
The kernel of a homomorphism is always a congruence. Indeed, every congruence arises as a kernel. For a given congruence ~ on A, the set A/~ of equivalence classes can be given the structure of an algebra in a natural fashion, the quotient algebra. The function that maps every element of A to its equivalence class is a homomorphism, and the kernel of this homomorphism is ~.
The lattice Con(A) of all congruence relations on an algebra A is algebraic.
Read more about this topic: Congruence Relation
Famous quotes containing the words universal and/or algebra:
“The philosopher is like a man fasting in the midst of universal intoxication. He alone perceives the illusion of which all creatures are the willing playthings; he is less duped than his neighbor by his own nature. He judges more sanely, he sees things as they are. It is in this that his liberty consists—in the ability to see clearly and soberly, in the power of mental record.”
—Henri-Frédéric Amiel (1821–1881)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)