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:
“In truth, a mature man who uses hair-oil, unless medicinally, that man has probably got a quoggy spot in him somewhere. As a general rule, he can’t amount to much in his totality.”
—Herman Melville (1819–1891)
“The General Order is always to manoeuver in a body and on the attack; to maintain strict but not pettifogging discipline; to keep the troops constantly at the ready; to employ the utmost vigilance on sentry go; to use the bayonet on every possible occasion; and to follow up the enemy remorselessly until he is utterly destroyed.”
—Lazare Carnot (1753–1823)
“We all have known
Good critics, who have stamped out poet’s hopes;
Good statesmen, who pulled ruin on the state;
Good patriots, who, for a theory, risked a cause;
Good kings, who disembowelled for a tax;
Good Popes, who brought all good to jeopardy;
Good Christians, who sat still in easy-chairs;
And damned the general world for standing up.—
Now, may the good God pardon all good men!”
—Elizabeth Barrett Browning (1806–1861)