Group Theory: MATH10079
Group Theory: MATH10079
Group Theory: MATH10079
MATH10079
*
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.
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.
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]
(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.
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]
(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]
(4) (a) Let a < b < c be prime, and further suppose that:
(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:
Use (∗) to show that the derived subgroup G0 of G is equal to {e}, and thus
show that G is cyclic. [4 marks]
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
[End of Paper]