← 2017 Paper 2

UPSC 2017 Maths Optional Paper 2 Q3a — Step-by-Step Solution

15 marks · Section A

Cyclic groups · Algebra · asked 8× in 14 yrs · Read the full method →

Question

Show that the groups Z5×Z7\mathbb Z_5\times\mathbb Z_7 and Z35\mathbb Z_{35} are isomorphic.

Technique

Show the product group is cyclic by finding an element of order lcm⁡(5,7)=35=∣G∣\operatorname{lcm}(5,7)=35=|G| (the generator (1,1)(1,1)); equivalently the CRT isomorphism x↦(x mod 5,x mod 7)x\mapsto(x\bmod5,x\bmod7) with trivial kernel.

Solution

Both groups have order 3535. We show Z5×Z7\mathbb Z_5\times\mathbb Z_7 is cyclic (then any cyclic group of order 3535 is isomorphic to Z35\mathbb Z_{35}). We give two complete arguments.

Method 1 — Exhibit a generator (order of (1,1)(1,1))

Consider the element (1,1)∈Z5×Z7(1,1)\in\mathbb Z_5\times\mathbb Z_7 (the group operation is coordinatewise addition mod 55 and mod 77). For k≥1k\ge1,

k⋅(1,1)=(k mod 5, k mod 7).k\cdot(1,1)=(k\bmod 5,\ k\bmod 7).

This equals the identity (0,0)(0,0) iff k≡0(mod5)k\equiv0\pmod5 and k≡0(mod7)k\equiv0\pmod7, i.e. iff 5∣k5\mid k and 7∣k7\mid k. The smallest such positive kk is

lcm⁡(5,7)=5⋅7gcd⁡(5,7)=351=35.\operatorname{lcm}(5,7)=\frac{5\cdot7}{\gcd(5,7)}=\frac{35}{1}=35.

Hence (1,1)(1,1) has order 3535. Since ∣Z5×Z7∣=35|\mathbb Z_5\times\mathbb Z_7|=35, the cyclic subgroup ⟨(1,1)⟩\langle(1,1)\rangle already has 3535 elements and equals the whole group. So Z5×Z7\mathbb Z_5\times\mathbb Z_7 is cyclic of order 3535, hence

Z5×Z7≅Z35.\mathbb Z_5\times\mathbb Z_7\cong\mathbb Z_{35}.

Method 2 — Explicit isomorphism (CRT)

Define ψ:Z35→Z5×Z7\psi:\mathbb Z_{35}\to\mathbb Z_5\times\mathbb Z_7 by

ψ(x mod 35)=(x mod 5, x mod 7).\psi(x\bmod 35)=(x\bmod 5,\ x\bmod 7).

Hence ψ\psi is a group isomorphism. (This ψ\psi is exactly the Chinese Remainder Theorem isomorphism for coprime moduli.)

Answer

  Z5×Z7≅Z35via x mod 35 ↦ (x mod 5, x mod 7).  \boxed{\;\mathbb Z_5\times\mathbb Z_7\cong\mathbb Z_{35}\quad\text{via }x\bmod35\ \mapsto\ (x\bmod5,\ x\bmod7).\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.