9
$\begingroup$

This probably is a stupid question, but is there an infinite cyclic group generated by every single one of its nonidentity elements?

  • 4
    If $a$ is a generator of this group, $a^2$ is not a generator since $a$ is not in the subgroup generated by $a^2$.2012-05-28
  • 1
    Perhaps you mean every non-identity element?2012-05-28
  • 0
    @DavideGiraudo: that is not generally true, for example in $\mathbb{Z}/3\mathbb{Z}$.2012-05-28
  • 0
    @auke But (I think) it is when the group is infinite.2012-05-28
  • 0
    @DavideGiraudo: then give a proof of that :-/2012-05-28
  • 2
    If $a=a^{2k}$ for some integer $k$, then $a^{2k-1}=e=a^0$ (identity element). But we have $a^j\neq a^n$ if $j\neq n$ thanks to the infiniteness of the group.2012-05-28
  • 0
    A cyclic group is generated by any of its non-identity elements if and only if it is cyclic of prime order. This thread covers the infinite case, while if your group is of order $n=ab$ and generated by an element $x$ then $x^a$ has order $b$ in your group so cannot generate the whole group.2012-05-29

4 Answers 4