Let G be a group of order 6, and H be a subgroup of G such that 1 < |H| < 6. Which one of the following options is correct?
A. Both G and H are always cyclic.
B. G may not be cyclic, but H is always cyclic.
C. G is always cyclic, but H may not be cyclic.
D. Both G and H may not be cyclic.
GATE 2021 · Discrete Mathematics · Group Theory · medium
Answer: B. G may not be cyclic, but H is always cyclic.
Determine possible orders for H: Since 1 < |H| < 6, we get |H| in {2, 3}. Both 2 and 3 are prime.
Check whether G is always cyclic: G could be S_3 (order 6, non-cyclic, non-abelian). So G need not be cyclic.
Check whether H is always cyclic: |H| is 2 or 3, both prime. Therefore H is always cyclic.