General
To generalise this to universal algebra, normal subgroups need to be replaced by congruences.
A congruence on an algebra is an equivalence relation which is a subalgebra of endowed with the component-wise operation structure. One can make the set of equivalence classes into an algebra of the same type by defining the operations via representatives; this will be well-defined since is a subalgebra of .
Read more about this topic: Isomorphism Theorem
Famous quotes containing the word general:
“Hence that general is skilful in attack whose opponent does not know what to defend; and he is skilful in defense whose opponent does not know what to attack.”
—Sun Tzu (6th–5th century B.C.)
“A point has been reached where the peoples of the Americas must take cognizance of growing ill-will, of marked trends toward aggression, of increasing armaments, of shortening tempers—a situation which has in it many of the elements that lead to the tragedy of general war.... Peace is threatened by those who seek selfish power.”
—Franklin D. Roosevelt (1882–1945)
“‘A thing is called by a certain name because it instantiates a certain universal’ is obviously circular when particularized, but it looks imposing when left in this general form. And it looks imposing in this general form largely because of the inveterate philosophical habit of treating the shadows cast by words and sentences as if they were separately identifiable. Universals, like facts and propositions, are such shadows.”
—David Pears (b. 1921)