Prove that a cyclic group with only one generator can have at most 2 elements












12












$begingroup$



Prove that a cyclic group that has only one generator has at most $2$ elements.




I want to know if my proof would be valid:



Suppose $G$ is a cyclic group and $g$ is its only generator. Let $|G|=n$ where $n>2$, then we know that $gcd(n,n-1)=1$. This implies that $g^{n-1}$ is a generator of $G$. We have a contradiction, since $g$ is the only generator of $G$ (and $n > 2$ leads to $n-1 neq 1$). Thus $|G|leq 2$.



I tried to use the fact that generating elements of a group are coprime to the order of the group, thanks.










share|cite|improve this question









New contributor




Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$

















    12












    $begingroup$



    Prove that a cyclic group that has only one generator has at most $2$ elements.




    I want to know if my proof would be valid:



    Suppose $G$ is a cyclic group and $g$ is its only generator. Let $|G|=n$ where $n>2$, then we know that $gcd(n,n-1)=1$. This implies that $g^{n-1}$ is a generator of $G$. We have a contradiction, since $g$ is the only generator of $G$ (and $n > 2$ leads to $n-1 neq 1$). Thus $|G|leq 2$.



    I tried to use the fact that generating elements of a group are coprime to the order of the group, thanks.










    share|cite|improve this question









    New contributor




    Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$















      12












      12








      12





      $begingroup$



      Prove that a cyclic group that has only one generator has at most $2$ elements.




      I want to know if my proof would be valid:



      Suppose $G$ is a cyclic group and $g$ is its only generator. Let $|G|=n$ where $n>2$, then we know that $gcd(n,n-1)=1$. This implies that $g^{n-1}$ is a generator of $G$. We have a contradiction, since $g$ is the only generator of $G$ (and $n > 2$ leads to $n-1 neq 1$). Thus $|G|leq 2$.



      I tried to use the fact that generating elements of a group are coprime to the order of the group, thanks.










      share|cite|improve this question









      New contributor




      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $endgroup$





      Prove that a cyclic group that has only one generator has at most $2$ elements.




      I want to know if my proof would be valid:



      Suppose $G$ is a cyclic group and $g$ is its only generator. Let $|G|=n$ where $n>2$, then we know that $gcd(n,n-1)=1$. This implies that $g^{n-1}$ is a generator of $G$. We have a contradiction, since $g$ is the only generator of $G$ (and $n > 2$ leads to $n-1 neq 1$). Thus $|G|leq 2$.



      I tried to use the fact that generating elements of a group are coprime to the order of the group, thanks.







      abstract-algebra greatest-common-divisor cyclic-groups






      share|cite|improve this question









      New contributor




      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question









      New contributor




      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question








      edited 15 hours ago









      darij grinberg

      11.3k33164




      11.3k33164






      New contributor




      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked 16 hours ago









      PabloPablo

      633




      633




      New contributor




      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      Pablo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






















          3 Answers
          3






          active

          oldest

          votes


















          16












          $begingroup$

          Perhaps easier: if $g$ generates $G$, then so does $g^{-1}$. The hypothesis then implies that $g=g^{-1}$, so $g^2=1$. Done (either $g=1$ or not, in which case respectively the order of $G$ is $1$ or $2$).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Beautiful! Thank you so much for this!
            $endgroup$
            – Pablo
            8 hours ago






          • 2




            $begingroup$
            When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
            $endgroup$
            – Marc van Leeuwen
            3 hours ago





















          9












          $begingroup$

          Your proof is correct if $G$ is finite, i.e. $Gcongmathbb{Z}_m$ for some $mge 1$. Just notice that it may happen that $Gcongmathbb{Z}$; however, in this case $g$ and $g^{-1}$ are distinct generators and this concludes the proof.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            That's a very good observation, thanks!
            $endgroup$
            – Pablo
            8 hours ago



















          0












          $begingroup$

          Here is another take.



          The number of generators is $phi(n)$, where $phi$ is Euler's function.



          Now, either $n$ has a prime factor $pge 3$ or $n$ is a power of $2$.



          In the first case, we have $phi(n) ge phi(p)=p-1ge2$.



          In the second case, if $nge 3$, then $4$ divides $n$ and so $phi(n) ge phi(4)=2$.



          Bottom line, $phi(n)=1$ implies $n$ is a power of $2$ less than $4$, that is, $n=1$ or $n=2$.



          (The key fact is: if $d$ divides $n$, then $phi(n) ge phi(d)$.)






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            The argument in the very last sentence is wrong (though the claim is true).
            $endgroup$
            – darij grinberg
            14 hours ago












          • $begingroup$
            @darij, thanks.
            $endgroup$
            – lhf
            5 hours ago











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });






          Pablo is a new contributor. Be nice, and check out our Code of Conduct.










          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3119533%2fprove-that-a-cyclic-group-with-only-one-generator-can-have-at-most-2-elements%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          3 Answers
          3






          active

          oldest

          votes








          3 Answers
          3






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          16












          $begingroup$

          Perhaps easier: if $g$ generates $G$, then so does $g^{-1}$. The hypothesis then implies that $g=g^{-1}$, so $g^2=1$. Done (either $g=1$ or not, in which case respectively the order of $G$ is $1$ or $2$).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Beautiful! Thank you so much for this!
            $endgroup$
            – Pablo
            8 hours ago






          • 2




            $begingroup$
            When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
            $endgroup$
            – Marc van Leeuwen
            3 hours ago


















          16












          $begingroup$

          Perhaps easier: if $g$ generates $G$, then so does $g^{-1}$. The hypothesis then implies that $g=g^{-1}$, so $g^2=1$. Done (either $g=1$ or not, in which case respectively the order of $G$ is $1$ or $2$).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Beautiful! Thank you so much for this!
            $endgroup$
            – Pablo
            8 hours ago






          • 2




            $begingroup$
            When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
            $endgroup$
            – Marc van Leeuwen
            3 hours ago
















          16












          16








          16





          $begingroup$

          Perhaps easier: if $g$ generates $G$, then so does $g^{-1}$. The hypothesis then implies that $g=g^{-1}$, so $g^2=1$. Done (either $g=1$ or not, in which case respectively the order of $G$ is $1$ or $2$).






          share|cite|improve this answer









          $endgroup$



          Perhaps easier: if $g$ generates $G$, then so does $g^{-1}$. The hypothesis then implies that $g=g^{-1}$, so $g^2=1$. Done (either $g=1$ or not, in which case respectively the order of $G$ is $1$ or $2$).







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 16 hours ago









          MPWMPW

          30.2k12157




          30.2k12157












          • $begingroup$
            Beautiful! Thank you so much for this!
            $endgroup$
            – Pablo
            8 hours ago






          • 2




            $begingroup$
            When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
            $endgroup$
            – Marc van Leeuwen
            3 hours ago




















          • $begingroup$
            Beautiful! Thank you so much for this!
            $endgroup$
            – Pablo
            8 hours ago






          • 2




            $begingroup$
            When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
            $endgroup$
            – Marc van Leeuwen
            3 hours ago


















          $begingroup$
          Beautiful! Thank you so much for this!
          $endgroup$
          – Pablo
          8 hours ago




          $begingroup$
          Beautiful! Thank you so much for this!
          $endgroup$
          – Pablo
          8 hours ago




          2




          2




          $begingroup$
          When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
          $endgroup$
          – Marc van Leeuwen
          3 hours ago






          $begingroup$
          When $g$ is a generator of a cyclic group of order $n$, then $g^{-1}$ is just another way to write $g^{n-1}$, so this is not really all that different from the proof proposed in the question. Though indeed by avoiding to mention the order of the cyclic group, this answer does handle the infinite cyclic group where the one in the question overlooks that possibiliy.
          $endgroup$
          – Marc van Leeuwen
          3 hours ago













          9












          $begingroup$

          Your proof is correct if $G$ is finite, i.e. $Gcongmathbb{Z}_m$ for some $mge 1$. Just notice that it may happen that $Gcongmathbb{Z}$; however, in this case $g$ and $g^{-1}$ are distinct generators and this concludes the proof.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            That's a very good observation, thanks!
            $endgroup$
            – Pablo
            8 hours ago
















          9












          $begingroup$

          Your proof is correct if $G$ is finite, i.e. $Gcongmathbb{Z}_m$ for some $mge 1$. Just notice that it may happen that $Gcongmathbb{Z}$; however, in this case $g$ and $g^{-1}$ are distinct generators and this concludes the proof.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            That's a very good observation, thanks!
            $endgroup$
            – Pablo
            8 hours ago














          9












          9








          9





          $begingroup$

          Your proof is correct if $G$ is finite, i.e. $Gcongmathbb{Z}_m$ for some $mge 1$. Just notice that it may happen that $Gcongmathbb{Z}$; however, in this case $g$ and $g^{-1}$ are distinct generators and this concludes the proof.






          share|cite|improve this answer









          $endgroup$



          Your proof is correct if $G$ is finite, i.e. $Gcongmathbb{Z}_m$ for some $mge 1$. Just notice that it may happen that $Gcongmathbb{Z}$; however, in this case $g$ and $g^{-1}$ are distinct generators and this concludes the proof.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 15 hours ago









          LBJFSLBJFS

          2307




          2307












          • $begingroup$
            That's a very good observation, thanks!
            $endgroup$
            – Pablo
            8 hours ago


















          • $begingroup$
            That's a very good observation, thanks!
            $endgroup$
            – Pablo
            8 hours ago
















          $begingroup$
          That's a very good observation, thanks!
          $endgroup$
          – Pablo
          8 hours ago




          $begingroup$
          That's a very good observation, thanks!
          $endgroup$
          – Pablo
          8 hours ago











          0












          $begingroup$

          Here is another take.



          The number of generators is $phi(n)$, where $phi$ is Euler's function.



          Now, either $n$ has a prime factor $pge 3$ or $n$ is a power of $2$.



          In the first case, we have $phi(n) ge phi(p)=p-1ge2$.



          In the second case, if $nge 3$, then $4$ divides $n$ and so $phi(n) ge phi(4)=2$.



          Bottom line, $phi(n)=1$ implies $n$ is a power of $2$ less than $4$, that is, $n=1$ or $n=2$.



          (The key fact is: if $d$ divides $n$, then $phi(n) ge phi(d)$.)






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            The argument in the very last sentence is wrong (though the claim is true).
            $endgroup$
            – darij grinberg
            14 hours ago












          • $begingroup$
            @darij, thanks.
            $endgroup$
            – lhf
            5 hours ago
















          0












          $begingroup$

          Here is another take.



          The number of generators is $phi(n)$, where $phi$ is Euler's function.



          Now, either $n$ has a prime factor $pge 3$ or $n$ is a power of $2$.



          In the first case, we have $phi(n) ge phi(p)=p-1ge2$.



          In the second case, if $nge 3$, then $4$ divides $n$ and so $phi(n) ge phi(4)=2$.



          Bottom line, $phi(n)=1$ implies $n$ is a power of $2$ less than $4$, that is, $n=1$ or $n=2$.



          (The key fact is: if $d$ divides $n$, then $phi(n) ge phi(d)$.)






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            The argument in the very last sentence is wrong (though the claim is true).
            $endgroup$
            – darij grinberg
            14 hours ago












          • $begingroup$
            @darij, thanks.
            $endgroup$
            – lhf
            5 hours ago














          0












          0








          0





          $begingroup$

          Here is another take.



          The number of generators is $phi(n)$, where $phi$ is Euler's function.



          Now, either $n$ has a prime factor $pge 3$ or $n$ is a power of $2$.



          In the first case, we have $phi(n) ge phi(p)=p-1ge2$.



          In the second case, if $nge 3$, then $4$ divides $n$ and so $phi(n) ge phi(4)=2$.



          Bottom line, $phi(n)=1$ implies $n$ is a power of $2$ less than $4$, that is, $n=1$ or $n=2$.



          (The key fact is: if $d$ divides $n$, then $phi(n) ge phi(d)$.)






          share|cite|improve this answer











          $endgroup$



          Here is another take.



          The number of generators is $phi(n)$, where $phi$ is Euler's function.



          Now, either $n$ has a prime factor $pge 3$ or $n$ is a power of $2$.



          In the first case, we have $phi(n) ge phi(p)=p-1ge2$.



          In the second case, if $nge 3$, then $4$ divides $n$ and so $phi(n) ge phi(4)=2$.



          Bottom line, $phi(n)=1$ implies $n$ is a power of $2$ less than $4$, that is, $n=1$ or $n=2$.



          (The key fact is: if $d$ divides $n$, then $phi(n) ge phi(d)$.)







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 5 hours ago

























          answered 15 hours ago









          lhflhf

          165k10171396




          165k10171396








          • 1




            $begingroup$
            The argument in the very last sentence is wrong (though the claim is true).
            $endgroup$
            – darij grinberg
            14 hours ago












          • $begingroup$
            @darij, thanks.
            $endgroup$
            – lhf
            5 hours ago














          • 1




            $begingroup$
            The argument in the very last sentence is wrong (though the claim is true).
            $endgroup$
            – darij grinberg
            14 hours ago












          • $begingroup$
            @darij, thanks.
            $endgroup$
            – lhf
            5 hours ago








          1




          1




          $begingroup$
          The argument in the very last sentence is wrong (though the claim is true).
          $endgroup$
          – darij grinberg
          14 hours ago






          $begingroup$
          The argument in the very last sentence is wrong (though the claim is true).
          $endgroup$
          – darij grinberg
          14 hours ago














          $begingroup$
          @darij, thanks.
          $endgroup$
          – lhf
          5 hours ago




          $begingroup$
          @darij, thanks.
          $endgroup$
          – lhf
          5 hours ago










          Pablo is a new contributor. Be nice, and check out our Code of Conduct.










          draft saved

          draft discarded


















          Pablo is a new contributor. Be nice, and check out our Code of Conduct.













          Pablo is a new contributor. Be nice, and check out our Code of Conduct.












          Pablo is a new contributor. Be nice, and check out our Code of Conduct.
















          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3119533%2fprove-that-a-cyclic-group-with-only-one-generator-can-have-at-most-2-elements%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          How to label and detect the document text images

          Vallis Paradisi

          Tabula Rosettana