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 happiest conversation is that of which nothing is distinctly remembered but a general effect of pleasing impression.”
—Samuel Johnson (1709–1784)
“It is a maxim among these lawyers, that whatever hath been done before, may legally be done again: and therefore they take special care to record all the decisions formerly made against common justice and the general reason of mankind.”
—Jonathan Swift (1667–1745)
“Through the particular, in wartime, I felt the high-voltage current of the general pass.”
—Elizabeth Bowen (1899–1973)