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:
“Could anything be more indicative of a slight but general insanity than the aspect of the crowd on the streets of Chicago?”
—Charles Horton Cooley (1864–1929)
“The happiest conversation is that of which nothing is distinctly remembered but a general effect of pleasing impression.”
—Samuel Johnson (1709–1784)
“In the drawing room [of the Queen’s palace] hung a Venus and Cupid by Michaelangelo, in which, instead of a bit of drapery, the painter has placed Cupid’s foot between Venus’s thighs. Queen Caroline asked General Guise, an old connoisseur, if it was not a very fine piece? He replied “Madam, the painter was a fool, for he has placed the foot where the hand should be.””
—Horace Walpole (1717–1797)