MA267A1
MA267A1
2 (a) Let σ ∈ Sn be a cycle of odd length k, written as σ = (a1 a2 . . . ak ). We show that σ 2 is also a
cycle.
Applying σ 2 shifts each element by two positions:
Thus,
σ 2 = (a1 a3 a5 . . . ak−2 a2 a4 . . . ak ).
Since k is odd, σ 2 permutes all k elements cyclically without breaking into smaller cycles. Therefore,
σ 2 is a cycle of length k.
∴ σ 2 is a cycle.
(b) Let σ ∈ Sn be a cycle of even length k ≥ 4, written as σ = (a1 a2 . . . ak ). Applying σ 2 shifts each
element by two positions:
Since σ 2 splits into two disjoint cycles of length k/2, one with even integer indexing and one with
odd, as seen above. It is not a cycle.
∴ σ 2 is not a cycle when σ has even length.
(c) Suppose p divides m, the shift in mapping by σ p periodically goes through the elements and splits
into disjoint cycles. Only if p and m are co primes will the cycle σ p permute through all the
elements without splitting into smaller cycles.
3 (a) To prove the required we show that ∗ is associative, ∃ an identity of the group (D, ∗), and every
element of said group has an inverse:
∀a, b, c ∈ Z and d, e, f ∈ {1, −1}, we have, ((a, d) ∗ (b, e)) ∗ (c, f ) = (a + db, de) ∗ (c, f ) =
(a + db + dec, def ) = (a, d) ∗ (b + ec, ef ) = (a, d) ∗ ((b, e) ∗ (c, f )).
∴ ∗ is associative
Let (i,j) ∈ D be some arbitrary element. Suppose, ∀(x,y) ∈ D, (x,y)∗(i,j) = (x+iy, yj) = (x,y)
= (i,j)∗(x,y), then (i,j) = (0,1) and is the identity of the group (D, ∗).
Suppose ∀ (a,b) ∈ D, ∃ (c,d) ∈ D, such that
(a,b)∗(c,d) = (c,d)∗(a,b) = (0,1), then,
(a,b)∗(c,d) = (a+bc,bd) = (0,1) ⇒ (c,d) = (-a/b,b)=(-ab,b).
Thus, every element has an inverse.
It is so proved that (D, ∗) is indeed a group.
(b) Take (2,1) and (3,1) ∈ Z, (2,1)∗(3,-1) = (2+1·3,1·-1) = (5,-1) whereas (3,-1)∗(2,1) = (3-1·2,-1·1)
= (2,-1). As they are clearly not equatable, (D,∗) is non-abelian.
(c) For elements of the form (x, 1) with x ̸= 0, we compute:
For (x, 1)n = (0, 1), we would require nx = 0. Since x ̸= 0, no such n exists, so (x, 1) has infinite
order.
For elements of the form (x, −1), we compute:
Therefore, H is a subgroup of G.