Asg3 Soln
Asg3 Soln
1
Consider the following mapping ϕ : G/Kf → R:
ϕ((a, 0, 0)Kf ) = a
G/Kf = {Kf , 1 ⊕ Kf , 2 ⊕ Kf , 3 ⊕ Kf }
ϕ(a ⊕ Kf ) = f (a); a = 0, 1, 2, 3
ϕ(a ⊕ Kf ) = a (1)
5. Def: For any group G, the center Z(G) of G is the set of elements that commute with all
elements of G, i.e
Z(G) = {a ∈ G : ag = ga ∀g ∈ G}
2
(a) Find Z(GL(2, C)).
soln:
a 0
Consider the matrix ∈ GL(2, C).
0 b
x y
Let ∈ Z(GL(2, C)). Then
z w
x y a 0 a 0 x y
= =⇒ by = ay and az = bz
z w 0 b 0 b z w
So
x 0
Z(GL(2, C)) = { : x ∈ C} (2)
0 x
which are matrices proportional to the identity.
(b) Consider the set of fractional linear transformations of the complex plane, C,
az + b
Ta,b,c,d (z) =
cz + d
a b
where is an invertible matrix.
c d
Show that this is a group of transformations and is isomorphic to GL(2, C)/Z(GL(2, C)).
soln:
The set of fractional linear transformations is closed under the operation of composi-
tion, i.e
a2 ac11z+d
z+b1
1
+ b2
Ta2 ,b2 ,c2 ,d2 (Ta1 ,b1 ,c1 ,d1 (z)) =
c2 ac11z+d
z+b1
1
+ d2
(a2 a1 + b2 c1 )z + (a2 b1 + b2 d1 ) a3 z + b 3
= =
(c2 a1 + d2 c1 )z + (c2 b1 + d2 d1 ) c3 z + d 3
(3)
3
The composition of fractional linear transformation is associative since matrix multi-
plication is associative.
The transformation T1,0,0,1 acts as the identity element in this set. i.e Ta,b,c,d T1,0,0,1 =
T1,0,0,1 Ta,b,c,d = T
a,b,c,d . ′ ′
a b a b
Consider Ta,b,c,d . is an invertible matrix. Let be its inverse. Then
c d c′ d ′
Ta,b,c,d Ta′ ,b′ ,c′ ,d′ (z) = Ta′ ,b′ ,c′ ,d′ Ta,b,c,d (z) = T1,0,0,1 (z)
So all the group axioms are satisfied by the set of factional linear transformations along
with composition. Hence it forms a group.
Consider the following natural mapping f : GL(2, C) → T as follows:
a b
f( ) = Ta,b,c,d
c d
This is a homomorphism since
a1 b 1 a2 b 2 a3 b 3
f( ) = f( )
c1 d 1 c2 d 2 c3 d 3
= Ta3 ,b3 ,c3 ,d3
= Ta1 ,b1 ,c1 ,d1 Ta2 ,b2 ,c2 ,d2
a1 b 1 a2 b 2
= f( )f ( )
c1 d 1 c2 d2
Now let us find the kernel of this homomorphism. Let k ∈ C. Then
k 0
f( ) = Tk,0,0,k
0 k
4
1 x
7. Let G = where x ∈ R. Show that the group G along with the binary operation of
0 1
usual matrix multiplication is isomorphic to ⟨R, +⟩.
soln:
Consider the following mapping from G to R:
1 x
f =x
0 1
This is a one-one mapping from G → R.
1 x 1 y 1 x+y
f = f
0 1 0 1 0 1
= x+y
1 x 1 y
= f +f
0 1 0 1
So this mapping preserves the group operation and hence is an isomorphism. Therefore G is
isomorphic to ⟨Z, +⟩.
10. (a) Let A, B be cyclic groups of order m and n, respectively. Prove that A × B is cyclic if
and only if m and n are relatively prime.
5
soln:
if part:
m and n are relatively prime.
Let a and b be generators of A and B respectively. So o(a) = m and o(b) = n Hence
o(a, b) = l.c.m(m, n) = mn. So (a, b) is a generator of A × B =⇒ A × B is cyclic.
only if:
A × B is cyclic. So ∃(a, b) ∈ A × B such that o(a, b) = mn. o(a)|m and o(b)|n and
l.c.m(o(a), o(b)) = mn, =⇒ o(a) = m and o(b) = n.
(b) Use the result in part (a) to prove the Chinese Remainder Theorem, namely, if m and
n are relatively prime integers and u, v any two integers, then we can find an integer x
such that x ≡ u(modm) and x ≡ v(modn).
soln:
Put A = Zm and B = Zn . Then (1, 1) is a generator of A × B.
Let u(modm) = u′ and v(modn) = v ′ . Then (u′ , v ′ ) ∈ A × B. This implies ∃x such
that (1, 1)x = (u′ , v ′ ), i.e x(modm) = u′ = u(modm) and x(modn) = v ′ = v(modn)
which implies x ≡ u(modm) and x ≡ v(modn)
(a) Z8 → K4
soln:
If a group G is homomorphic to a group G′ , there is a kernel K of this homomorphism.
K is a normal subgroup of G. If G and G′ are finite then o(K) = o(G)/o(G′ ) The
homomorphism theorem states that the quotient group G/K is isomorphic to G′ . So
We must first find a normal subgroup of Z8 of order 8/4 = 2. There is only one such
subgroup K = {0, 4}.
6
For the homomorphism we map all the elements of K to 0 ∈ Z2 and all the elements
of (1, 0) ⊕ K to 1 ∈ Z2 . The homomorphism can be verified.
(c) Z4 × Z4 → Z8
soln:
Z8 is a cyclic group of order 8. 1 is a generator of Z8 . Any element of Z4 × Z4 mapped
to 1 in Z8 must have order which is a multiple of 8. But the maximum order of any
element in Z4 × Z4 is 4. So this homomorphism is not possible.