Assignment 3
Assignment 3
Leto Cavé
Student ID: 14379570
Contents
Problem 2.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Part (a) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Part (b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Part (c) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Problem 2.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Part (a) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Part (b) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Part (c) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Part (d) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Problem 2.3
The symmetric group S3 is the group of all permutations of the set {1, 2, 3}, with function com-
position as the group operation. Explicitly, S3 consists of all bijections σ : {1, 2, 3} → {1, 2, 3}.
The bijective function σ can be formatted the following way:
1 2 3
σ= .
σ(1) σ(2) σ(3)
Here the first row represents the original positions 1, 2, 3 and the second row consists of their
corresponding images under σ. The elements of S3 can be classified as follows:
1 2 3
(1) = .
1 2 3
1 2 3 1 2 3 1 2 3
(1 2) = , (2 3) = , (1 3) = .
2 1 3 1 3 2 3 2 1
1
• Two 3-cycles: 1 7→ 2, 2 7→ 3, 3 7→ 1 (cyclic shift),
1 2 3 1 2 3
(1 2 3) = , (1 3 2) = .
2 3 1 3 1 2
The group table (Cayley table) of S3 is constructed by computing the product of each pair of
elements under function composition. Since the elements of S3 are:
(1) (1 2) (2 3) (1 3) (1 2 3) (1 3 2)
(1) (1) (1 2) (2 3) (1 3) (1 2 3) (1 3 2)
(1 2) (1 2) (1) (1 3 2) (1 2 3) (1 3) (2 3)
(2 3) (2 3) (1 2 3) (1) (1 3 2) (1 2) (1 3)
(1 3) (1 3) (1 3 2) (1 2 3) (1) (2 3) (1 2)
(1 2 3) (1 2 3) (2 3) (1 3) (1 2) (1 3 2) (1)
(1 3 2) (1 3 2) (1 3) (1 2) (2 3) (1) (1 2 3)
{(1)}, {(1), (1 2)}, {(1), (2 3)}, {(1), (1 3)}, {(1), (1 2 3), (1 3 2)}, S3 .
To classify all subgroups, we consider the Lagrange theorem, which states that any subgroup of a
finite group must have an order dividing the group order |S3 | = 6. The divisors of 6 are:
1, 2, 3, 6.
H6 = S3 .
H1 , H2 , H3 , H4 , H5 , H6 .
Since we have accounted for all possible orders dividing |S3 | = 6, these are the only subgroups. ■
Problem 2.11
Let d, n ∈ Z>0 with d | n, so that n = dq for some q ∈ N.
f (ā) = ā mod d, ∀a ∈ Z.
Here Z/nZ is the integers modulo n under addition consisting of the elements {0, 1, . . . , n − 1}
with operation + mod n.
g : (Z/nZ)× → (Z/dZ)× ,
defined by:
g(ā) = ā mod d, ∀a ∈ Z with gcd(a, n) = 1.
Here, (Z/nZ) is the multiplicative group of units modulo n, consisting of all elements that have
×
a multiplicative inverse:
(Z/nZ)× = {ā ∈ Z/nZ | gcd(a, n) = 1}.
• Since a is coprime to n, a is not divisible by any prime factor of n, and therefore not by any
prime factor of d.
Hence, g is well-defined.
Homomorphism Property
We check whether g preserves the group operation (multiplication modulo n):
Thus, we conclude:
g(ā · b̄) = g(ā) · g(b̄).
Therefore, g is a group homomorphism. ■
Let a ∈ Z satisfy gcd(a, d) = 1, and let t be the product of all primes dividing n but not a. We
prove:
gcd(a + td, n) = 1.
Define:
By assumption, gcd(a, d) = 1, so Sa ∩ Sd = ∅.
We define: Y
t= p ep ,
p∈Sa
where p is the highest power of p dividing n. Since t contains only the primes of n that do not
ep
gcd(a + td, n) = 1.
We prove that g from part (b) is surjective and provide an example where g is injective when
d < n.
Proof.
To show that g : (Z/nZ)× → (Z/dZ)× is surjective, let:
b̄ ∈ (Z/dZ)× .
By definition, gcd(b, d) = 1. Using part (c), there exists an integer a ≡ b mod d such that:
gcd(a, n) = 1.
Example: Injectivity for d < n: For g to be injective, we need to show that if g(ā) = g(b̄), then
ā = b̄ in (Z/nZ)× , meaning:
a ≡ b (mod n).
This is equivalent to:
a ≡ b (mod d) and gcd(a, n) = 1.
If d and n are coprime, then the natural reduction map preserves distinct equivalence classes,
making g bijective.
Consider n = 15 and d = 4. We have:
¯ 13,
(Z/15Z)× = {1̄, 2̄, 4̄, 7̄, 8̄, 11, ¯ 14},
¯