Group Theory: MATH10079

Download as pdf or txt
Download as pdf or txt
You are on page 1of 6

Group Theory

MATH10079

Thursday 21 May 2020


13:00 – 15:00 * †

*
If you have extra time for in-person exams (according to your Schedule of Adjustments)
then you are entitled to a fixed additional 1 hour for this remote examination.

You will have an additional 1 hour to assemble and submit your PDF.

Attempt all questions

Important instructions
1. Start each question on a new sheet of paper.
2. Number your sheets of paper to help you scan them in order.
3. At the top of each page write the question number on the left and your student exam
number BXXXXXX on the top right.
4. Only write on one side of each piece of paper.
5. If you have rough work to do, simply include it within your overall answer – put
brackets at the start and end of it if you want to highlight that it is rough work.

This examination will be marked anonymously.


MATH10079 Group Theory 1

(1) (a) Let  


a b
G = SL2 (Z) = { | a, b, c, d ∈ Z, ad − bc = 1},
c d
H = GL2 (Z2 ).
Let φ : G → H be defined by
   
a b a mod 2 b mod 2
φ( )= .
c d c mod 2 d mod 2

You may use without proof the fact that φ is a group homomorphism.
(i) Let N = ker φ. Prove directly from the definitions that N C G.
[2 marks]
(ii) Prove that G/N ∼
= H. [3 marks]
(b) Let n ≥ 2 be an integer and let A be the group of n × n invertible matrices with
entries in C. Let S ≤ A be the subgroup of matrices with determinant 1. Prove
that S C A and that A/S ∼ = C∗ . [2 marks]
(c) Let B be the group of 4 × 4 invertible upper triangular matrices with entries in
R. Let  
1 a b c
0 1 d e 
C = {0 0 1 f  | a, b, c, d, e, f ∈ R}.

0 0 0 1
Prove that C C B and that B/C ∼
= (R∗ )4 . [3 marks]

[Please turn over]


MATH10079 Group Theory 2

(2) Indicate whether the following statements are TRUE or FALSE, providing a short
(one or two sentence) justification for your answer. Clearly state any theorems that
you employ. Each fully correct answer is worth 1 mark.

(a) Every group of order 4096 is solvable.


(b) A group G is abelian if and only if the derived subgroup of G is trivial.
(c) Sn is solvable for all n.
(d) Every group of order 54 has a normal subgroup of order 27.
(e) In a group of order 54, all subgroups of order 9 are conjugate.
(f) A subgroup K of a group G is normal if and only if K is the kernel of a group
homomorphism from G to some other group H.
(g) There is a field F so that C2 ×C2 is isomorphic to a subgroup of the multiplicative
group F ∗ = F r {0}.
(h) Any group with class equation

1| + 1 +{z· · · + 1} = n
n

is abelian.
(i) The groups S5 and A5 × C2 are isomorphic.
(j) The group hx, y|x2 , (xy)2 , y 7 i has order 21.
[10 marks]

[Please turn over]


MATH10079 Group Theory 3

(3) (a) Let G = Z3 /(f1 , f2 , f3 ), where f1 = (3, 1, 5), f2 = (8, 2, 12), and f3 = (8, 4, 22).
(Recall that here (f1 , f2 , f3 ) means the subgroup generated by f1 , f2 , and f3 .)
If they exist, find a, b ∈ Z≥1 so that a|b and so that G ∼ = Ca × Cb . If such a, b
do not exist, explain why not. [4 marks]
(b) Let H = C2 × C8 × C6 .
(i) What is the largest integer M so that CM is isomorphic to a subgroup of
H? Justify your answer. [3 marks]
(ii) How many elements of H have order M , where M is the integer you found
in part (i)? [3 marks]

[Please turn over]


MATH10079 Group Theory 4

(4) (a) Let a < b < c be prime, and further suppose that:

ab ≡ 1 mod c and ac ≡ 1 mod b.

(Note that these hypotheses imply that b + c < bc.) Let K be a group of order
abc, and prove that K either has a normal subgroup of order b or a normal
subgroup of order c. [4 marks]
(b) Let G be a group of order 345 = 3 · 5 · 23.
(i) Show that G has normal subgroups of orders 5 and 23. [2 marks]
(ii) It is a fact that:

If H is a group with #H = pq, where p < q are prime (∗)


and p does not divide q − 1, then H is abelian.

Use (∗) to show that the derived subgroup G0 of G is equal to {e}, and thus
show that G is cyclic. [4 marks]

[Please turn over]


MATH10079 Group Theory 5

(5) (a) (i) Let G be a group. Two composition series

{e} C G1 C G2 C · · · C Gk = G and {e} C H1 C H2 C · · · C Hk = G

of G are distinct if for some i ∈ {1, . . . , k} we have Gi ∼


6= Hi . List all distinct
composition series of Z42 , giving a brief justification of why you have found
them all. [4 marks]
(ii) Is there a chain of subgroups

42Z = A0 C A1 C A2 C A3 C A4 = Z

so that for all i we have both that Ai 6= Ai+1 and Ai+1 /Ai is simple? Give
a brief justification of your answer. [2 marks]
(b) Recall that if H ≤ G, the normalizer of H is

NG (H) = {g ∈ G|gHg −1 = H}.

Let G be a finite group such that #G is a multiple of some prime p. Let P be


a Sylow p-subgroup of G and let K = NG (P ).
(i) Prove that P is also a Sylow p-subgroup of K. [1 mark]
(ii) Prove that NG (K) = K. [3 marks]

[End of Paper]

You might also like