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:
“What journeyings on foot and on horseback through the wilderness, to preach the gospel to these minks and muskrats! who first, no doubt, listened with their red ears out of a natural hospitality and courtesy, and afterward from curiosity or even interest, till at length there “were praying Indians,” and, as the General Court wrote to Cromwell, the “work is brought to this perfection that some of the Indians themselves can pray and prophesy in a comfortable manner.””
—Henry David Thoreau (1817–1862)
“Could anything be more indicative of a slight but general insanity than the aspect of the crowd on the streets of Chicago?”
—Charles Horton Cooley (1864–1929)
“We have grown literally afraid to be poor. We despise anyone who elects to be poor in order to simplify and save his inner life. If he does not join the general scramble and pant with the money-making street, we deem him spiritless and lacking in ambition.”
—William James (1842–1910)