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:
“There is in general good reason to suppose that in several respects the gods could all benefit from instruction by us human beings. We humans are—more humane.”
—Friedrich Nietzsche (1844–1900)
“We ought, says Kant, to become acquainted with the instrument, before we undertake the work for which it is to be employed; for if the instrument be insufficient, all our trouble will be spent in vain. The plausibility of this suggestion has won for it general assent and admiration.... But the examination can be only carried out by an act of knowledge. To examine this so-called instrument is the same as to know it.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“All the critics who could not make their reputations by discovering you are hoping to make them by predicting hopefully your approaching impotence, failure and general drying up of natural juices. Not a one will wish you luck or hope that you will keep on writing unless you have political affiliations in which case these will rally around and speak of you and Homer, Balzac, Zola and Link Steffens.”
—Ernest Hemingway (1899–1961)