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:
“A bill of rights is what the people are entitled to against every government on earth, general or particular, and what no just government should refuse, or rest on inference.”
—Thomas Jefferson (1743–1826)
“According to the historian, they escaped as by a miracle all roving bands of Indians, and reached their homes in safety, with their trophies, for which the General Court paid them fifty pounds. The family of Hannah Dustan all assembled alive once more, except the infant whose brains were dashed out against the apple tree, and there have been many who in later time have lived to say that they have eaten of the fruit of that apple tree.”
—Henry David Thoreau (1817–1862)
“Each victim of suicide gives his act a personal stamp which expresses his temperament, the special conditions in which he is involved, and which, consequently, cannot be explained by the social and general causes of the phenomenon.”
—Emile Durkheim (1858–1917)