Isomorphism Theorem - General

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:

    Why not draft executive and management brains to prepare and produce the equipment the $21-a-month draftee must use and forget this dollar-a-year tommyrot? Would we send an army into the field under a dollar-a-year General who had to be home Mondays, Wednesdays and Fridays?
    Lyndon Baines Johnson (1908–1973)

    Without metaphor the handling of general concepts such as culture and civilization becomes impossible, and that of disease and disorder is the obvious one for the case in point. Is not crisis itself a concept we owe to Hippocrates? In the social and cultural domain no metaphor is more apt than the pathological one.
    Johan Huizinga (1872–1945)

    No doubt, the short distance to which you can see in the woods, and the general twilight, would at length react on the inhabitants, and make them savages. The lakes also reveal the mountains, and give ample scope and range to our thought.
    Henry David Thoreau (1817–1862)