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:

    “I think that Richard Nixon will go down in history as a true folk hero, who struck a vital blow to the whole diseased concept of the revered image and gave the American virtue of irreverence and skepticism back to the people.”
    —William Burroughs (b. 1914)

    “I know not what the younger dreams—
    Some vague Utopia—and she seems,
    When withered old and skeleton-gaunt,
    An image of such politics.”
    —William Butler Yeats (1865–1939)

    “All true histories contain instruction; though, in some, the treasure may be hard to find, and when found, so trivial in quantity that the dry, shrivelled kernel scarcely compensates for the trouble of cracking the nut.”
    —Anne Brontë (1820–1849)