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:
“[The Republican Party] consists of those who, believing in the doctrine that mankind are capable of governing themselves and hating hereditary power as an insult to the reason and an outrage to the rights of men, are naturally offended at every public measure that does not appeal to the understanding and to the general interest of the community.”
—James Madison (1751–1836)
“Mathematics is merely the means to a general and ultimate knowledge of man.”
—Friedrich Nietzsche (1844–1900)
“It has been the struggle between privileged men who have managed to get hold of the levers of power and the people in general with their vague and changing aspirations for equality, for justice, for some kind of gentler brotherhood and peace, which has kept that balance of forces we call our system of government in equilibrium.”
—John Dos Passos (1896–1970)