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:
“Any general statement is like a cheque drawn on a bank. Its value depends on what is there to meet it.”
—Ezra Pound (1885–1972)
“No doubt, the short distance to which you can see in the woods, and the general twilight, would at length react on the inhabitants, and make them savages. The lakes also reveal the mountains, and give ample scope and range to our thought.”
—Henry David Thoreau (1817–1862)
“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)