Understanding a Cyclic Group Proof

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite












For one of my questions, the following answer was given by Suzet:



enter image description here



The thing is: I do not see why... Is it because of inverses or because having a negative could make $i-j$ positive? I asked this in the comment but no one replied yet. Does anyone know? :) I feel like I am missing something very trivial.







share|cite|improve this question
























    up vote
    2
    down vote

    favorite












    For one of my questions, the following answer was given by Suzet:



    enter image description here



    The thing is: I do not see why... Is it because of inverses or because having a negative could make $i-j$ positive? I asked this in the comment but no one replied yet. Does anyone know? :) I feel like I am missing something very trivial.







    share|cite|improve this question






















      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      For one of my questions, the following answer was given by Suzet:



      enter image description here



      The thing is: I do not see why... Is it because of inverses or because having a negative could make $i-j$ positive? I asked this in the comment but no one replied yet. Does anyone know? :) I feel like I am missing something very trivial.







      share|cite|improve this question












      For one of my questions, the following answer was given by Suzet:



      enter image description here



      The thing is: I do not see why... Is it because of inverses or because having a negative could make $i-j$ positive? I asked this in the comment but no one replied yet. Does anyone know? :) I feel like I am missing something very trivial.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 12 at 23:15









      numericalorange

      1,286110




      1,286110




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          4
          down vote



          accepted










          A variant: $enspace$if $a^-n=e;(ninmathbf N)$, then $; e=e^-1=(a^-n)^-1=a^(-n)(-1)=a^n.$






          share|cite|improve this answer




















          • Very simple answer and super easy to understand! Thank you very much!!
            – numericalorange
            Aug 12 at 23:59

















          up vote
          3
          down vote













          Suppose that for a positive integer $n$, we have $a^-n = e$. Then multiplying by $a$ on each side, we get $a = a^-n+1$. Then we simply have:
          $$
          a^n = (a^-n+1)^n = a^-n^2+n = a^-n(n-1) = (a^-n)^n-1 = e^n-1 = e
          $$






          share|cite|improve this answer


















          • 1




            Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
            – Arturo Magidin
            Aug 12 at 23:55










          • Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
            – numericalorange
            Aug 12 at 23:58






          • 1




            @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
            – Arturo Magidin
            Aug 13 at 0:14






          • 1




            @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
            – Sambo
            Aug 13 at 0:21










          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',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2880810%2funderstanding-a-cyclic-group-proof%23new-answer', 'question_page');

          );

          Post as a guest






























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          4
          down vote



          accepted










          A variant: $enspace$if $a^-n=e;(ninmathbf N)$, then $; e=e^-1=(a^-n)^-1=a^(-n)(-1)=a^n.$






          share|cite|improve this answer




















          • Very simple answer and super easy to understand! Thank you very much!!
            – numericalorange
            Aug 12 at 23:59














          up vote
          4
          down vote



          accepted










          A variant: $enspace$if $a^-n=e;(ninmathbf N)$, then $; e=e^-1=(a^-n)^-1=a^(-n)(-1)=a^n.$






          share|cite|improve this answer




















          • Very simple answer and super easy to understand! Thank you very much!!
            – numericalorange
            Aug 12 at 23:59












          up vote
          4
          down vote



          accepted







          up vote
          4
          down vote



          accepted






          A variant: $enspace$if $a^-n=e;(ninmathbf N)$, then $; e=e^-1=(a^-n)^-1=a^(-n)(-1)=a^n.$






          share|cite|improve this answer












          A variant: $enspace$if $a^-n=e;(ninmathbf N)$, then $; e=e^-1=(a^-n)^-1=a^(-n)(-1)=a^n.$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 12 at 23:58









          Bernard

          111k635103




          111k635103











          • Very simple answer and super easy to understand! Thank you very much!!
            – numericalorange
            Aug 12 at 23:59
















          • Very simple answer and super easy to understand! Thank you very much!!
            – numericalorange
            Aug 12 at 23:59















          Very simple answer and super easy to understand! Thank you very much!!
          – numericalorange
          Aug 12 at 23:59




          Very simple answer and super easy to understand! Thank you very much!!
          – numericalorange
          Aug 12 at 23:59










          up vote
          3
          down vote













          Suppose that for a positive integer $n$, we have $a^-n = e$. Then multiplying by $a$ on each side, we get $a = a^-n+1$. Then we simply have:
          $$
          a^n = (a^-n+1)^n = a^-n^2+n = a^-n(n-1) = (a^-n)^n-1 = e^n-1 = e
          $$






          share|cite|improve this answer


















          • 1




            Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
            – Arturo Magidin
            Aug 12 at 23:55










          • Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
            – numericalorange
            Aug 12 at 23:58






          • 1




            @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
            – Arturo Magidin
            Aug 13 at 0:14






          • 1




            @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
            – Sambo
            Aug 13 at 0:21














          up vote
          3
          down vote













          Suppose that for a positive integer $n$, we have $a^-n = e$. Then multiplying by $a$ on each side, we get $a = a^-n+1$. Then we simply have:
          $$
          a^n = (a^-n+1)^n = a^-n^2+n = a^-n(n-1) = (a^-n)^n-1 = e^n-1 = e
          $$






          share|cite|improve this answer


















          • 1




            Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
            – Arturo Magidin
            Aug 12 at 23:55










          • Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
            – numericalorange
            Aug 12 at 23:58






          • 1




            @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
            – Arturo Magidin
            Aug 13 at 0:14






          • 1




            @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
            – Sambo
            Aug 13 at 0:21












          up vote
          3
          down vote










          up vote
          3
          down vote









          Suppose that for a positive integer $n$, we have $a^-n = e$. Then multiplying by $a$ on each side, we get $a = a^-n+1$. Then we simply have:
          $$
          a^n = (a^-n+1)^n = a^-n^2+n = a^-n(n-1) = (a^-n)^n-1 = e^n-1 = e
          $$






          share|cite|improve this answer














          Suppose that for a positive integer $n$, we have $a^-n = e$. Then multiplying by $a$ on each side, we get $a = a^-n+1$. Then we simply have:
          $$
          a^n = (a^-n+1)^n = a^-n^2+n = a^-n(n-1) = (a^-n)^n-1 = e^n-1 = e
          $$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 13 at 0:22

























          answered Aug 12 at 23:22









          Sambo

          1,3631427




          1,3631427







          • 1




            Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
            – Arturo Magidin
            Aug 12 at 23:55










          • Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
            – numericalorange
            Aug 12 at 23:58






          • 1




            @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
            – Arturo Magidin
            Aug 13 at 0:14






          • 1




            @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
            – Sambo
            Aug 13 at 0:21












          • 1




            Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
            – Arturo Magidin
            Aug 12 at 23:55










          • Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
            – numericalorange
            Aug 12 at 23:58






          • 1




            @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
            – Arturo Magidin
            Aug 13 at 0:14






          • 1




            @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
            – Sambo
            Aug 13 at 0:21







          1




          1




          Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
          – Arturo Magidin
          Aug 12 at 23:55




          Wouldn't it be simpler to just take inverses on both sides of $a^-n=e$? Also, you are assuming $a^-n=e$, but in your third equality you seem to be using $a^n=e$, which needs justification, as that is supposed to be what you are trying to establish.
          – Arturo Magidin
          Aug 12 at 23:55












          Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
          – numericalorange
          Aug 12 at 23:58




          Thank you both for replying and helping me the best way you can. I was also confused why $a^n=e$ was used. So can I just say that if $n$ is a positive integer such that $a^-n=e$, then by inverses, $a^na^-n=a^ne$ or $e=a^n$ which is a contradiction?
          – numericalorange
          Aug 12 at 23:58




          1




          1




          @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
          – Arturo Magidin
          Aug 13 at 0:14




          @numericalorange: Are you addressing me, or Sambo? Multiplying both sides of $a^-n=e$ by $a^n$ also gives that if $a^-n=e$, then $a^n=e$, yes.
          – Arturo Magidin
          Aug 13 at 0:14




          1




          1




          @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
          – Sambo
          Aug 13 at 0:21




          @ArturoMagidin You're absolutely right; I messed up. I'll edit it now. Bernard's answer above is indeed a much quicker solution.
          – Sambo
          Aug 13 at 0:21

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2880810%2funderstanding-a-cyclic-group-proof%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What does second last employer means? [closed]

          List of Gilmore Girls characters

          Confectionery