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:
“Private property is held sacred in all good governments, and particularly in our own. Yet shall the fear of invading it prevent a general from marching his army over a cornfield or burning a house which protects the enemy? A thousand other instances might be cited to show that laws must sometimes be silent when necessity speaks.”
—Andrew Jackson (17671845)
“As a general rule never take your whole fee in advance, nor any more than a small retainer. When fully paid beforehand, you are more than a common mortal if you can feel the same interest in the case, as if something was still in prospect for you, as well as for your client.”
—Abraham Lincoln (18091865)
“Surely one of the peculiar habits of circumstances is the way they follow, in their eternal recurrence, a single course. If an event happens once in a life, it may be depended upon to repeat later its general design.”
—Ellen Glasgow (18731945)