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:

    “As every pool reflects the image of the sun, so every thought and thing restores us an image and creature of the supreme Good. The universe is perforated by a million channels for his activity. All things mount and mount.”
    —Ralph Waldo Emerson (1803–1882)

    “Thou shalt not, it is said, make unto thee any graven image of God. The same commandment should apply when God is taken to mean the living part of every human being, the part that cannot be grasped. It is a sin that, however much it is committed against us, we almost continually commit ourselves—Except when we love.”
    —Max Frisch (1911–1991)

    “After night’s thunder far away had rolled
    The fiery day had a kernel sweet of cold”
    —Edward Thomas (1878–1917)