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:
“That sort of half sigh, which, accompanied by two or three slight nods of the head, is pity’s small change in general society.”
—Charles Dickens (1812–1870)
“Everyone confesses in the abstract that exertion which brings out all the powers of body and mind is the best thing for us all; but practically most people do all they can to get rid of it, and as a general rule nobody does much more than circumstances drive them to do.”
—Harriet Beecher Stowe (1811–1896)
“You don’t want a general houseworker, do you? Or a traveling companion, quiet, refined, speaks fluent French entirely in the present tense? Or an assistant billiard-maker? Or a private librarian? Or a lady car-washer? Because if you do, I should appreciate your giving me a trial at the job. Any minute now, I am going to become one of the Great Unemployed. I am about to leave literature flat on its face. I don’t want to review books any more. It cuts in too much on my reading.”
—Dorothy Parker (1893–1967)