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:
“That sort of half sigh, which, accompanied by two or three slight nods of the head, is pity’s small change in general society.”
—Charles Dickens (1812–1870)
“The reputation of generosity is to be purchased pretty cheap; it does not depend so much upon a man’s general expense, as it does upon his giving handsomely where it is proper to give at all. A man, for instance, who should give a servant four shillings, would pass for covetous, while he who gave him a crown, would be reckoned generous; so that the difference of those two opposite characters, turns upon one shilling.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“The general fact is that the most effective way of utilizing human energy is through an organized rivalry, which by specialization and social control is, at the same time, organized co-operation.”
—Charles Horton Cooley (1864–1929)