Miscellaneous Exercises
Miscellaneous Exercises
p
Solution: Any element of Q Z is of the form
q + Z, where (p, q ) = 1.
⎛p ⎞
Now, q ⎜⎜ + Z ⎟⎟ = p + Z = Z, since p ∈ Z.
q
⎝ ⎠
⎛p ⎞
∴ o ⎜⎜ q + Z ⎟⎟ ≤ q.
⎝ ⎠
p
∴ q + Z is of finite order.
***
Example 3: Let U(n ) denote the set of elements in Z n that have an inverse
w.r.t. multiplication. (In Unit 10 you will study more about such sets.) Show that
( U(n ), ⋅) is a group.
Further, show that if (m, n ) = 1, then U(mn ) ~ − U(m) × U(n ).
Next, define
φ : U(mn ) → U(m) × U(n ) : φ( x (mod mn )) = ( x (mod m), x (mod n )).
Now, x ∈ U(mn )
⇒ (mn, x ) = 1
285
Block 1 Essential Preliminary Concepts
⇒ (m, x ) = 1 and (n, x ) = 1, as (a , b) = 1 iff ar + bs = 1 for some r, s ∈ Z.
⇒ x (mod m) ∈ U(m) and x (mod n ) ∈ U(n ).
Also, if x = y in U(mn ), then mn ( x − y). So m ( x − y) and n ( x − y).
∴ x = y in U(m) and x = y in U(n ).
Thus, φ is a well-defined function.
Finally, to see why φ is surjective let ( x (mod m), y(mod n )) ∈ U(m) × U(n ).
Then (m, x ) = 1 and (n , y) = 1.
Since (m, n ) = 1, ∃ r, s ∈ Z s.t. mr + ns = 1. …(1)
Now φ(nsx + mry) = (nsx (mod m), mry(mod n )).
Also, by (1), x = mrx + nsx ≡ nsx (mod m), and y = mry + nsy ≡ mry(mod n ).
∴ ( x (mod m), y(mod n )) = (nsx (mod m), mry(mod n )) = φ(nsx + mry).
Thus, φ is onto.
− U(m) × U(n ).
Hence, U(mn ) ~
***
Example 4: Find the order of the quotient group (Z10× U(10) < ( 2, 9 ) > .
Solution: If o( 2, 9 ) = m, then
m m−1
(2m, 9 ) = ( 0, 1 ) and (2(m − 1), 9 ) ≠ ( 0, 1 ).
Now 2m = 0 ⇒ m = 5, 10, 15, K
9 m = 1 ⇒ m = 2, 4, 6, 8,K
So the least m s.t. 2m = 0 and 9 m = 1 is m = 10.
∴ o( 2, 9 ) = 10, and hence, o(< ( 2, 9 ) >) = 10.
Also, the order of Z 10 × U(10) = 10 × 4 = 40, since o( U (10)) = 4.
Example 8: Show that if G is a group s.t. Z(G ) = {e}, then Aut G has a
trivial centre.
Miscellaneous Exercises
E1) Give two distinct non-trivial elements of the group C[ x ] < x ( x 2 + i) > .
E4) Give an example, with justification, of two distinct cosets of the subgroup
< (1 3) > in S5 .
function.
ii) Using (i), prove that the number of group homomorphisms from
Z m into Z n is the g.c.d of m and n , where m, n ∈ N.
[Hint: See Example 6.]
iii) Show that the number of group homomorphisms from Z m into Z n
is the same as the number of homomorphisms from Z n into Z m ,
where m, n ∈ Z.
E13) Among the following groups, find those pairs that are isomorphic. Justify
your answers.
i) (Z4 , +), ii) (S2 , o), iii) (Q8 , ⋅), iv) (Z∗5 , ⋅), v) Aut Z 6 ,
vi) Inn S3 , vii) (R+ , ⋅), viii) (S3 , o), ix) (R, +), x) (D8 , o).
289
Block 1 Essential Preliminary Concepts
SOLUTIONS / ANSWERS
E1) As you know, there are infinitely many such elements. For instance, two
of them are 2+ < x 3 + ix > and x + < x 3 + ix > .
Since neither 2 nor x are in < x 3 + ix >, both the cosets are non-trivial.
Further, since deg ( x − 2) = 1 and deg ( x 3 + ix ) = 3, x − 2 ∉ < x 3 + ix > .
Hence, these cosets are distinct.
E2) No. For instance, from Unit 7 you know that R Z is a counter-example.
• 1 5 7 11
1 1 5 7 11
5 5 1 11 7
7 7 11 1 5
11 11 7 5 1
Using the table, you should prove that G satisfies all the axioms for
being a group.
Let φ : G → SG : φ( x ) = φ x , where φ x ( y) = xy ∀ y ∈ G.
Then φ( 1 ) = I (from the first row of the table above),
⎛1 5 7 11⎞
φ( 5 ) = ⎜⎜ ⎟ (you can see this from Row 2 of the table),
⎝5 1 11 7 ⎟⎠
⎛1 5 7 11⎞
φ( 7 ) = ⎜⎜ ⎟,
⎝ 7 11 1 5 ⎟⎠
⎛1 5 7 11⎞
φ(11) = ⎜⎜ ⎟.
⎝11 7 5 1 ⎟⎠
290
Block 1 Solutions/Answers
E7) Suppose Aut G is cyclic. Then Inn G will be cyclic. So G Z(G ) will be
cyclic. This contradicts Theorem 5 of Unit 7. ∴ Aut G is not cyclic.
E13) (i) and (iv) are isomorphic, both being cyclic of order 4.
(ii) and (v) are isomorphic, since Aut Z 6 = {I, φ}, where
φ : Z 6 → Z 6 : φ( 1 ) = 5 .
292
Block 1 Solutions/Answers
S3
(vi) and (viii) are isomorphic, since − Inn S3 and Z(S3 ) = {I}.
~
Z(S3 )
−/ D8 , as every non-trrivial element of Q8 is of order 2, but D8 has
Q8 ~
elements of order 4 also.
293