# Cyclic groups whose every non-identity member is a generator

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|.)

-

5
The statement should be that every non-identity element is a generator, since the identity element of a group is a generator if and only if the group is trivial. – Zev Chonoles♦ Jun 7 '11 at 21:39
@Zev: Thanks, corrected. – Sadeq Dousti Jun 8 '11 at 1:54

## 1 Answer

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
– t.b. Jun 7 '11 at 21:46

1
+1. Great answer, simple and to the point! – Sadeq Dousti Jun 8 '11 at 1:56
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 17, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9285479187965393, "perplexity_flag": "head"}