DEPARTMENT OF MATHEMATICS
Assignment – Module 1: Group Theory
Course: BITMA401
Introduction to Group Theory
[Link] Question
1. Let G be the set of all non-zero real numbers and let a * b = 7ab. Show that (G, *) is
an abelian group.
2. Let G be the set of real numbers not equal to −3 and * be defined by a * b = a + b +
ab/3. Show that (G, *) is an abelian group.
3. Prove that a group G is abelian if and only if (ab)⁴ = a⁴b⁴ for all a, b ∈ G. Also prove
that if x² = e for every x ∈ G, then G must be abelian.
4. Let G = { [1, a, b; 0, 1, c; 0, 0, 1] : a, b, c ∈ Z } under matrix multiplication. Prove that G
is a group. Is G abelian? Justify your answer.
5. Prove that the set of all rational numbers of the form 5^m · 7^n, where m and n are
integers, forms an abelian group under multiplication.
Modular Arithmetic, Subgroups & Cyclic Groups
[Link] Question
1. Let G be an abelian group and let S = {x ∈ G : x³ = e}. Determine whether S is a
subgroup of G. Justify with proof or counterexample.
2. Let G be a group and let Z(G) = {x ∈ G : xy = yx for all y ∈ G} (the centre of G). Prove
that Z(G) is a subgroup of G.
3. Determine whether the set of all integers modulo 8, i.e., Z₈, forms a group under
addition modulo 8. (a) Is it cyclic? (b) Find all generators of Z₈.
4. Consider the group (Z₄₀, +). Find the order of the elements 5, 8, and 25. Determine
the subgroup generated by each of these elements.
5. Prove that Z₁₃*, with multiplication modulo 13, is a cyclic group. Compute all its
generators.
6. (i) Let |a| = 24 in a group G. Compute the orders of a³, a⁸, and a¹⁰. (ii) List the
elements of subgroups ⟨5⟩ and ⟨10⟩ in Z₃₀. How many subgroups does Z₃₀ have? List
a generator for each.
Homomorphisms and Isomorphisms
[Link] Question
1. Let G = (ℝ*, ·) and H = (ℝ, +). Define φ : ℝ* → ℝ by φ(x) = ln|x|. Prove that φ is a
group homomorphism. Find ker(φ) and determine whether φ is an isomorphism.
2. Let f : G → H and g : H → K be group homomorphisms. Prove that the composition g ∘
f : G → K is also a homomorphism. Further, if a ∈ G with |a| = n and |f(a)| = k, prove
that k divides n.
3. Let G = (ℝ, +) and H = {z ∈ ℂ : |z| = 1} under multiplication. Define φ : ℝ → H by φ(t) =
e^(2πit). Show that φ is a surjective homomorphism, find its kernel.
4. Let G = (ℝ*, ·) and consider the map φ : G → G defined by φ(x) = x². Show that φ is a
homomorphism. Find ker(φ), determine the image of φ, and decide whether φ is an
isomorphism.