Q1
Q2
Q3
Q4
Q5
Q6
Q7
Q8
Total
The Australian National University
Mid-Semester Examination - September 2013
MATH2322/3104/6118 - Algebra 1 Honours
Student No.: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Important notes:
No notes, calculators or books permitted.
Questions have different weights and the value of each is shown. The maximum
possible grade is 100.
Place your answers in the space provided on the test sheet. If you need more space,
use the back of the pages.
A good strategy is not to spend too much time on any question. Read them through
first and attack them in the order that allows you to make the most progress.
You have 15 minutes reading time.
You have 2 hours to complete the entire exam.
You may use results proved in the class, but you should clearly state the
result you are applying. Of course, if you are asked to prove a statement
that was presented in the lecture or the book, it is not sufficient to simply
quote it.
Unless otherwise indicated, you must prove your answers. Please be
neat.
MATH 2322/3104/6118, Page 1 of 15
Question: 1
30P
In parts (a) through (f), define the given term and give a non-trivial example. (You
do not need to prove that your example satisfies the definition.)
(a) group automorphism
(b) normal subgroup
Begin Your Solution Here
MATH 2322/3104/6118, Page 2 of 15
(c) centre of a group
(d) congruence class
Begin Your Solution Here
MATH 2322/3104/6118, Page 3 of 15
(e) index of a subgroup
(f) basis of a vector space
Begin Your Solution Here
MATH 2322/3104/6118, Page 4 of 15
Question: 2
Let : S4 S4 be the homomorphism defined by () = (124)(421).
(a) Compute (23)(314)(12) .
15P
(b) What is the kernel of ?
MATH 2322/3104/6118, Page 5 of 15
Recall that : S4 S4 is the homomorphism defined by () = (124)(421).
(c) What is the image of A4 under the map ?
Begin Your Solution Here
MATH 2322/3104/6118, Page 6 of 15
Question: 3
10P
Let H be an index 2 subgroup of a group G. Prove that H is a normal subgroup of G.
Begin Your Solution Here
MATH 2322/3104/6118, Page 7 of 15
Question: 4
10P
Suppose that |G| = 25. Prove that if G has only one subgroup of order 5, then G is a
cyclic group.
Begin Your Solution Here
MATH 2322/3104/6118, Page 8 of 15
Question: 5
10P
(a) If H is a subgroup of a group G, then the left cosets of H partition G. Define an
equivalence relation on G which induces this partition.
Begin Your Solution Here
MATH 2322/3104/6118, Page 9 of 15
(b) For x, y G, write x y if there exists some g G such that gxg 1 = y. Show
that is an equivalence relation.
Begin Your Solution Here
MATH 2322/3104/6118, Page 10 of 15
Question: 6
15P
In parts (a) and (b), find a proper, non-trivial normal subgroup N of the given group
G. Identify the quotient group G/N with some other group you know. Is G/N N
= G?
(a) Z/12Z
(b) S3
Begin Your Solution Here
MATH 2322/3104/6118, Page 11 of 15
(c) Give two examples of proper, non-trivial normal subgroups of GL3 (R). One of these
subgroups should have finite order and the other should have infinite order.
Begin Your Solution Here
MATH 2322/3104/6118, Page 12 of 15
Question: 7
10P
Suppose that H, K are subgroups of G. Show that the map f : H K G defined
by f (h, k) = hk is injective if and only if H K = {e}.
Begin Your Solution Here
MATH 2322/3104/6118, Page 13 of 15
Continue Your Solution Here
MATH 2322/3104/6118, Page 14 of 15
Extra page intentionally left blank
MATH 2322/3104/6118, Page 15 of 15
