Documente Academic
Documente Profesional
Documente Cultură
Homomorphisms
Up to now, we have been discussing the groups and their structure. Now we turn to the
discussion of functions from one group to another, which respect the group structure.
These functions are called homomorphisms.
9.1
(9.1)
for all a, b G.
Remark.
1. Note that in the l.h.s. of (9.1), the product ab is taken in G, whereas in the
r.h.s. the product (a)(b) is taken in G .
2. Clearly, an isomorphism between two groups is a special example of a homomorphism.
3. For any groups G and G there is always at least one homomorphism : G G ,
namely the trivial homomorphism dened by (g) = e for all g G, where e is the
identity in G . Equation (9.1) then reduces to the true equation e e = e .
Example 9.2.
1. Consider the groups C and R+ under multiplication and the map
: C R+ given by (z) = |z|. Since |z1 z2 | = |z1 | |z2 |, the equation (9.1) is
satised and is a homomorphism.
2. Consider R under addition and the group U of complex numbers z with |z| = 1 under
multiplication. Let : R U be the map (x) = ei2x . Since
(x + y) = ei2(x+y) = ei2x ei2y = (x)(y),
is a homomorphism.
3. Let F (R) be the group of all functions g : R R under addition. Consider the
mapping of F (R) to R under addition, dened by (g) = g(0) for any g F (R).
Recall that, by denition, the sum of two functions f and g is the function f + g
whose value at x is f (x) + g(x). Thus we have
(f + g) = (f + g)(0) = f (0) + g(0) = (f ) + (g),
and (9.1) is satised, so is a homomorphism.
4. Consider the group GL(n, R). Recall that for matrices A, B GL(n, R) we have
det(AB) = det A det B.
This means that det is a homomorphism from GL(n, R) to R under multiplication.
35
0 r1 < n,
0 r2 < n.
0 r3 < n.
(9.2)
Thus,
s + t = (q1 + q2 + q3 )n + r3 ,
and so (s + t) = r3 . On the other hand, equation (9.2) shows that (s)(t) = r3 .
7. Let G1 and G2 be groups. It is easy to see that the map f : G1 G2 G1 ,
f : (g1 , g2 ) g1 , is a homomorphism, called projection homomorphism.
9.2
Properties of homomorphisms
Next, we recall the denition of an image of a set. Let A and B be any two sets, and
f : A B be a mapping.
For S A, f [S] = {y B | x S such that y = f (x)} is the image of S.
Theorem 9.4. Let be a homomorphism of a group G into a group G . If H is a subgroup
in G, then [H] is a subgroup of G .
Proof. Consider the set [H]. We shall check the two conditions of Theorem 3.7. In order to
check that [H] is closed under the group operation, let (a) and (b) be any two elements
of [H] and consider their product: (a)(b) = (ab). So we see that their product is in
[H], and thus [H] is closed under the group operation.
Next, for any (a) [H], by Theorem 9.3(ii), one has (a)1 = (a1 ) [H].
Corollary 9.5. Let be a homomorphism of a group G into a group G .
(i) The image [G] of G is a subgroup of G .
(ii) If |G | is nite, then |[G]| is nite and is a divisor of |G |.
Proof. (i) follows from Theorem 9.4(i) with H = G. (ii) follows from (i) by the Theorem
of Lagrange.
9.3
First recall the denition of a pre-image (another term is inverse image) of an element
of a set. Let A and B be any two sets, and f : A B be a mapping. For y B,
f 1 (y) = {x A | f (x) = y} is the pre-image of y.
Let be a homomorphism of a group G into a group G , and let e be the identity in
G . The set 1 (e ) plays a very important role for the homomorphism and has a special
name.
Denition 9.6. Let be a homomorphism of a group G into a group G and e be the
identity in G . The set 1 (e ) = {x G | (x) = e } is called a kernel of , denoted by
Ker().
The kernel of a homomorphism : G G is always non-empty: by Theorem 9.3(i),
the identity of G is always in Ker .
Example 9.7.
1. Consider the groups C and R+ under multiplication and the homomorphism : C R+ given by (z) = |z|. The kernel of is the subgroup U of all
z such that |z| = 1.
2. Consider the group R under addition and the homomorphism : R U given by
(x) = ei2x . The kernel of is the subgroup Z of R.
3. Let F (R) be the group of all functions g : R R under addition. Let : F (R) R
be the homomorphism dened by (g) = g(0) for any g F (R). The kernel of is
the subgroup of all g such that g(0) = 0.
37
Theorem 9.8. Let be a homomorphism of a group G into a group G , and let e be the
identity in G . Then the kernel H = Ker() is a normal subgroup of G. For any a G,
one has
1 ((a)) = {x G | (x) = (a)} = aH.
(9.3)
Note that the rst equality in (9.3) is simply the denition of the set 1 ((a)), whereas
the second one is a statement.
Proof. 1. Let us check that H is a subgroup. We shall check the two conditions of Theorem 3.7.
First, suppose a and b are in H, i.e., (a) = (b) = e . Then (ab) = (a)(b) = e e = e
and so ab H.
Next, if a H, then, by Theorem 9.3(ii), (a1 ) = ((a))1 = e 1 = e , and so e H.
2. In order to prove (9.3), let us prove the two inclusions
aH 1 ((a)),
1 ((a)) aH.
(9.4)
For the rst one, suppose that g aH, i.e., g = ah with h H. Then
(g) = (ah) = (a)(h) = (a)e = (a)
and so g 1 ((a)). For the second inclusion, suppose that g 1 ((a)), i.e., (g) =
(a). Then
e = ((a))1 (g) = (a1 g)
and so a1 g = h H. Thus, g = ah and so g aH.
3. Similarly, to (9.4), one proves the inclusions
Ha 1 ((a)),
1 ((a)) Ha.
(9.5)
39