We will solve this question by the method of elimination. Observe that if n is prime then 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(
e)
then |<a>|=n and <a>
<a>=
. The problem will occur with the converse see
is cyclic but 6 is not prime. In general
= <
> is always cyclic no matter what n is!! so option (A) is false. Can you rule out option (C)
Consider option (C) every proper subgroup of is cyclic.
Consider { e , (12)(34) , (13)(24) , (14)(23) } = G
Observe that this is a subgroup and |G|=4. Moreover o(g)=2
g(
e)
G
So G is not cyclic. Hence option (C) is not correct. Can you rule out option (D)?
Consider *
which is also known as Klein's 4 group then it is not cyclic but all of it's proper subgroups are {0}*
,
*{0} and {0}*{0} which are cyclic. Hence we can rule out option (D) as well.
So option (B) is correct. Now let prove that H
= {
,
,.....,
}. By well ordering principle H has a minimal non zero element 'm'. Claim: H=<m> clearly <m>
H. For any r
H by Euclid's algorithm we have r=km+d where 0
d < m
which
d=r-km
H
If d
0 then d<m which is a contradiction
So, d=0
r=km
H=<m> and we are done
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.
We will solve this question by the method of elimination. Observe that if n is prime then 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(
e)
then |<a>|=n and <a>
<a>=
. The problem will occur with the converse see
is cyclic but 6 is not prime. In general
= <
> is always cyclic no matter what n is!! so option (A) is false. Can you rule out option (C)
Consider option (C) every proper subgroup of is cyclic.
Consider { e , (12)(34) , (13)(24) , (14)(23) } = G
Observe that this is a subgroup and |G|=4. Moreover o(g)=2
g(
e)
G
So G is not cyclic. Hence option (C) is not correct. Can you rule out option (D)?
Consider *
which is also known as Klein's 4 group then it is not cyclic but all of it's proper subgroups are {0}*
,
*{0} and {0}*{0} which are cyclic. Hence we can rule out option (D) as well.
So option (B) is correct. Now let prove that H
= {
,
,.....,
}. By well ordering principle H has a minimal non zero element 'm'. Claim: H=<m> clearly <m>
H. For any r
H by Euclid's algorithm we have r=km+d where 0
d < m
which
d=r-km
H
If d
0 then d<m which is a contradiction
So, d=0
r=km
H=<m> and we are done
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.