Group Homomorphism - Image and Kernel

Image and Kernel

We define the kernel of h to be the set of elements in G which are mapped to the identity in H

and the image of h to be

The kernel of h is a normal subgroup of G and the image of h is a subgroup of H:

h\left(g^{-1} \circ u\circ g\right)= h(g)^{-1}\cdot h(u)\cdot h(g) = h(g)^{-1}\cdot e_H\cdot h(g) = h(g)^{-1}\cdot h(g) = e_H.

The homomorphism h is injective (and called a group monomorphism) if and only if ker(h) = {eG}.

The kernel and image of a homomorphism can be interpreted as measuring how close it is to being an isomorphism. The First Isomorphism Theorem states that the image of a group homomorphism, h(G) is isomorphic to the quotient group G/ker h.

Read more about this topic:  Group Homomorphism

Famous quotes containing the words image and, image and/or kernel:

    “If the devil doesn’t exist and, therefore, man has created him, he has created him in his own image and likeness.”
    —Feodor Dostoyevsky (1821–1881)

    “The exile is a singular, whereas refugees tend to be thought of in the mass. Armenian refugees, Jewish refugees, refugees from Franco Spain. But a political leader or artistic figure is an exile. Thomas Mann yesterday, Theodorakis today. Exile is the noble and dignified term, while a refugee is more hapless.... What is implied in these nuances of social standing is the respect we pay to choice. The exile appears to have made a decision, while the refugee is the very image of helplessness.”
    —Mary McCarthy (1912–1989)

    “We should never stand upon ceremony with sincerity. We should never cheat and insult and banish one another by our meanness, if there were present the kernel of worth and friendliness. We should not meet thus in haste.”
    —Henry David Thoreau (1817–1862)