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)
“Mr. Chadband is a large yellow man, with a fat smile, and a general appearance of having a good deal of train oil in his system.”
—Charles Dickens (1812–1870)
“We do not need to minimize the poverty of the ghetto or the suffering inflicted by whites on blacks in order to see that the increasingly dangerous and unpredictable conditions of middle- class life have given rise to similar strategies for survival. Indeed the attraction of black culture for disaffected whites suggests that black culture now speaks to a general condition.”
—Christopher Lasch (b. 1932)