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:
“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)
“The nearest the modern general or admiral comes to a small-arms encounter of any sort is at a duck hunt in the company of corporation executives at the retreat of Continental Motors, Inc.”
—C. Wright Mills (1916–1962)
“In communist society, where nobody has one exclusive sphere of activity but each can become accomplished in any branch he wishes, society regulates the general production and thus makes it possible for me to do one thing today and another tomorrow, to hunt in the morning, fish in the afternoon, rear cattle in the evening, criticize after dinner, just as I have a mind, without ever becoming hunter, fisherman, shepherd or critic.”
—Karl Marx (1818–1883)