How Cheenta works to ensure student success?
Explore the Back-Story

Cyclic Groups & Subgroups : IIT 2018 Problem 1

Understand the problem

Which one of the following is TRUE? (A) \Bbb Z_n is cyclic if and only if n is prime
(B) Every proper subgroup of \Bbb Z_n
 is cyclic
(C) Every proper subgroup of S_4
 is cyclic
(D) If every proper subgroup of a group is cyclic, then the group is cyclic.

Start with hints

Hint 1:

We will solve this question by the method of elimination. Observe that if n is prime then \mathbb{Z}_n is obviously cyclic as any of the subgroup <a> has order either 1 or n by Lagrange's theorem. Now if the order is 1 then a=id. So choose a(\neqe) \in \mathbb{Z}_n then |<a>|=n and <a> \subseteq \mathbb{Z}_n \Rightarrow <a>= \mathbb{Z}_n. The problem will occur with the converse see \mathbb{Z}_6 is cyclic but 6 is not prime. In general \mathbb{Z}_n = <\overline{1}> is always cyclic no matter what n is!! so option (A) is false. Can you rule out option (C)

Hint 2:

Consider option (C) every proper subgroup of S_4 is cyclic. Consider { e , (12)(34) , (13)(24) , (14)(23) } = G  Observe that this is a subgroup and |G|=4. Moreover o(g)=2 \forall g(\neqe) \in G So G is not cyclic. Hence option (C) is not correct. Can you rule out option (D)?

Hint 3:

Consider \mathbb{Z}_2*\mathbb{Z}_2 which is also known as Klein's 4 group then it is not cyclic but all of it's proper subgroups are {0}*\mathbb{Z}_2 , \mathbb{Z}_2*{0} and {0}*{0} which are cyclic. Hence we can rule out option (D) as well.

Hint 4:

So option (B) is correct. Now let prove that H \leq \mathbb{Z}_n = {\overline{0},\overline{1},.....,\overline{n-1}}. By well ordering principle H has a minimal non zero element 'm'. Claim: H=<m> clearly <m> \subset H. For any r \in H by Euclid's algorithm we have r=km+d where 0 \leq d < m  which \Rightarrow d=r-km \in H If d \neq 0 then d<m which is a contradiction So, d=0 \Rightarrow r=km \Rightarrow H=<m> and we are done 

 

Connected Program at Cheenta

The higher mathematics program caters to advanced college and university students. It is useful for I.S.I. M.Math Entrance, GRE Math Subject Test, TIFR Ph.D. Entrance, I.I.T. JAM. The program is problem driven. We work with candidates who have a deep love for mathematics. This program is also useful for adults continuing who wish to rediscover the world of mathematics.

Similar Problems

Understand the problem

Which one of the following is TRUE? (A) \Bbb Z_n is cyclic if and only if n is prime
(B) Every proper subgroup of \Bbb Z_n
 is cyclic
(C) Every proper subgroup of S_4
 is cyclic
(D) If every proper subgroup of a group is cyclic, then the group is cyclic.

Start with hints

Hint 1:

We will solve this question by the method of elimination. Observe that if n is prime then \mathbb{Z}_n is obviously cyclic as any of the subgroup <a> has order either 1 or n by Lagrange's theorem. Now if the order is 1 then a=id. So choose a(\neqe) \in \mathbb{Z}_n then |<a>|=n and <a> \subseteq \mathbb{Z}_n \Rightarrow <a>= \mathbb{Z}_n. The problem will occur with the converse see \mathbb{Z}_6 is cyclic but 6 is not prime. In general \mathbb{Z}_n = <\overline{1}> is always cyclic no matter what n is!! so option (A) is false. Can you rule out option (C)

Hint 2:

Consider option (C) every proper subgroup of S_4 is cyclic. Consider { e , (12)(34) , (13)(24) , (14)(23) } = G  Observe that this is a subgroup and |G|=4. Moreover o(g)=2 \forall g(\neqe) \in G So G is not cyclic. Hence option (C) is not correct. Can you rule out option (D)?

Hint 3:

Consider \mathbb{Z}_2*\mathbb{Z}_2 which is also known as Klein's 4 group then it is not cyclic but all of it's proper subgroups are {0}*\mathbb{Z}_2 , \mathbb{Z}_2*{0} and {0}*{0} which are cyclic. Hence we can rule out option (D) as well.

Hint 4:

So option (B) is correct. Now let prove that H \leq \mathbb{Z}_n = {\overline{0},\overline{1},.....,\overline{n-1}}. By well ordering principle H has a minimal non zero element 'm'. Claim: H=<m> clearly <m> \subset H. For any r \in H by Euclid's algorithm we have r=km+d where 0 \leq d < m  which \Rightarrow d=r-km \in H If d \neq 0 then d<m which is a contradiction So, d=0 \Rightarrow r=km \Rightarrow H=<m> and we are done 

 

Connected Program at Cheenta

The higher mathematics program caters to advanced college and university students. It is useful for I.S.I. M.Math Entrance, GRE Math Subject Test, TIFR Ph.D. Entrance, I.I.T. JAM. The program is problem driven. We work with candidates who have a deep love for mathematics. This program is also useful for adults continuing who wish to rediscover the world of mathematics.

Similar Problems

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Knowledge Partner

Cheenta is a knowledge partner of Aditya Birla Education Academy
Cheenta

Cheenta Academy

Aditya Birla Education Academy

Aditya Birla Education Academy

Cheenta. Passion for Mathematics

Advanced Mathematical Science. Taught by olympians, researchers and true masters of the subject.
JOIN TRIAL
support@cheenta.com
Menu
Trial
Whatsapp
magic-wandrockethighlight