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 general interest of the masses might take the place of the insight of genius if it were allowed freedom of action.”
—Denis Diderot (1713–1784)
“There seems almost a general wish of descrying the capacity and undervaluing the labour of the novelist, and of slighting the performances which have only genius, wit, and taste to recommend them.”
—Jane Austen (1775–1817)
“What use Milton, a silly story
Of our lost general parents,
eaters of fruit?”
—Gary Snyder (b. 1930)