6
$\begingroup$

Let $G$ be a cyclic group. There's a theorem which states that if $|G|$ is a prime, then every non-identity member of $G$ is a generator.

What about a cyclic group whose order is not prime: Is there such a group whose every non-identity member is a generator?

Are there other necessary/sufficient conditions regarding groups whose every non-identity member is a generator? (Beyond primality of $|G|$.)

  • 0
    @Zev: Thanks, corrected.2011-06-08

1 Answers 1

14

To answer your first question: no, a cyclic group whose order is not prime must contain non-identity (thanks Zev!) elements that are not generators. Let $G$ be a cyclic group, let $g$ be any generator of $G$, and let $n$ be the order of $G$. Then for any $d$ that divides $n$, the subgroup generated by $g^d$ is not all of $G$ (this subgroup has $n/d$ elements, but $G$ has $n$ elements).

To answer your second question: for every non-identity element of $G$ to be a generator, $G$ must be a cyclic group with prime order. If $G$ weren't a cyclic group, then $G$ wouldn't have any generators at all (the definition of "cyclic group" is "a group that can be generated by a single element"), and the answer to your first question shows that the order of $G$ must be prime.

  • 4
    +$1$: Nice answer! I deleted mine because appealing to [Cauchy](http://en.wikipedia.org/wiki/Cauchy%27s_theorem_%28group_theory%29) is clearly overkill for this...2011-06-07