← 2017 Paper 2

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

15 marks · Section A

Cyclic groups · Algebra · asked 8× in 13 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(xmod5,xmod7)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 k1k\ge1,

k(1,1)=(kmod5, kmod7).k\cdot(1,1)=(k\bmod 5,\ k\bmod 7).

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

lcm(5,7)=57gcd(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×Z7Z35.\mathbb Z_5\times\mathbb Z_7\cong\mathbb Z_{35}.

Method 2 — Explicit isomorphism (CRT)

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

ψ(xmod35)=(xmod5, xmod7).\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×Z7Z35via xmod35  (xmod5, xmod7).  \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 — 13 years, mapped. Get the take-away PDF free.