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)
“Mr. Chadband is a large yellow man, with a fat smile, and a general appearance of having a good deal of train oil in his system.”
—Charles Dickens (1812–1870)
“As a general rule, do not kick the shins of the opposite gentleman under the table, if personally unaquainted with him; your pleasantry is liable to be misunderstood—a circumstance at all times unpleasant.”
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)