Confusing Definition of field in Sheldon Axler's Linear Algebra done right. What does “1+1 is defined to...












-1












$begingroup$


In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be



A field is a set containing at least two distinct elements called 0 and 1, along
with operations of addition and multiplication satisfying all the properties
listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
with the usual operations of addition and multiplication. Another example of
a field is the set {0, 1} with the usual operations of addition and multiplication
except that 1 + 1 is defined to equal 0.


In the last sentence he says, except that 1 + 1 is defined to equal 0.



I don't understand what this means, in the context of a field.










share|cite|improve this question









$endgroup$

















    -1












    $begingroup$


    In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be



    A field is a set containing at least two distinct elements called 0 and 1, along
    with operations of addition and multiplication satisfying all the properties
    listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
    with the usual operations of addition and multiplication. Another example of
    a field is the set {0, 1} with the usual operations of addition and multiplication
    except that 1 + 1 is defined to equal 0.


    In the last sentence he says, except that 1 + 1 is defined to equal 0.



    I don't understand what this means, in the context of a field.










    share|cite|improve this question









    $endgroup$















      -1












      -1








      -1





      $begingroup$


      In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be



      A field is a set containing at least two distinct elements called 0 and 1, along
      with operations of addition and multiplication satisfying all the properties
      listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
      with the usual operations of addition and multiplication. Another example of
      a field is the set {0, 1} with the usual operations of addition and multiplication
      except that 1 + 1 is defined to equal 0.


      In the last sentence he says, except that 1 + 1 is defined to equal 0.



      I don't understand what this means, in the context of a field.










      share|cite|improve this question









      $endgroup$




      In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be



      A field is a set containing at least two distinct elements called 0 and 1, along
      with operations of addition and multiplication satisfying all the properties
      listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
      with the usual operations of addition and multiplication. Another example of
      a field is the set {0, 1} with the usual operations of addition and multiplication
      except that 1 + 1 is defined to equal 0.


      In the last sentence he says, except that 1 + 1 is defined to equal 0.



      I don't understand what this means, in the context of a field.







      linear-algebra






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 14 at 11:09









      Daksh MiglaniDaksh Miglani

      1247




      1247






















          2 Answers
          2






          active

          oldest

          votes


















          0












          $begingroup$

          The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
            $endgroup$
            – Giuseppe Negro
            Jan 14 at 11:16












          • $begingroup$
            @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:18



















          1












          $begingroup$

          Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:17










          • $begingroup$
            No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:19












          • $begingroup$
            can you simply this explanation a bit further, I'm still confused.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:28






          • 1




            $begingroup$
            In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:30












          Your Answer








          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
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3073109%2fconfusing-definition-of-field-in-sheldon-axlers-linear-algebra-done-right-what%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          0












          $begingroup$

          The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
            $endgroup$
            – Giuseppe Negro
            Jan 14 at 11:16












          • $begingroup$
            @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:18
















          0












          $begingroup$

          The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
            $endgroup$
            – Giuseppe Negro
            Jan 14 at 11:16












          • $begingroup$
            @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:18














          0












          0








          0





          $begingroup$

          The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).






          share|cite|improve this answer









          $endgroup$



          The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 14 at 11:13









          WuestenfuxWuestenfux

          5,5561513




          5,5561513












          • $begingroup$
            Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
            $endgroup$
            – Giuseppe Negro
            Jan 14 at 11:16












          • $begingroup$
            @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:18


















          • $begingroup$
            Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
            $endgroup$
            – Giuseppe Negro
            Jan 14 at 11:16












          • $begingroup$
            @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:18
















          $begingroup$
          Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
          $endgroup$
          – Giuseppe Negro
          Jan 14 at 11:16






          $begingroup$
          Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
          $endgroup$
          – Giuseppe Negro
          Jan 14 at 11:16














          $begingroup$
          @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:18




          $begingroup$
          @GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:18











          1












          $begingroup$

          Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:17










          • $begingroup$
            No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:19












          • $begingroup$
            can you simply this explanation a bit further, I'm still confused.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:28






          • 1




            $begingroup$
            In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:30
















          1












          $begingroup$

          Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:17










          • $begingroup$
            No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:19












          • $begingroup$
            can you simply this explanation a bit further, I'm still confused.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:28






          • 1




            $begingroup$
            In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:30














          1












          1








          1





          $begingroup$

          Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$






          share|cite|improve this answer











          $endgroup$



          Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 14 at 11:20

























          answered Jan 14 at 11:15









          José Carlos SantosJosé Carlos Santos

          176k24136245




          176k24136245












          • $begingroup$
            okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:17










          • $begingroup$
            No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:19












          • $begingroup$
            can you simply this explanation a bit further, I'm still confused.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:28






          • 1




            $begingroup$
            In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:30


















          • $begingroup$
            okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:17










          • $begingroup$
            No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:19












          • $begingroup$
            can you simply this explanation a bit further, I'm still confused.
            $endgroup$
            – Daksh Miglani
            Jan 14 at 11:28






          • 1




            $begingroup$
            In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
            $endgroup$
            – José Carlos Santos
            Jan 14 at 11:30
















          $begingroup$
          okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:17




          $begingroup$
          okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:17












          $begingroup$
          No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
          $endgroup$
          – José Carlos Santos
          Jan 14 at 11:19






          $begingroup$
          No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
          $endgroup$
          – José Carlos Santos
          Jan 14 at 11:19














          $begingroup$
          can you simply this explanation a bit further, I'm still confused.
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:28




          $begingroup$
          can you simply this explanation a bit further, I'm still confused.
          $endgroup$
          – Daksh Miglani
          Jan 14 at 11:28




          1




          1




          $begingroup$
          In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
          $endgroup$
          – José Carlos Santos
          Jan 14 at 11:30




          $begingroup$
          In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
          $endgroup$
          – José Carlos Santos
          Jan 14 at 11:30


















          draft saved

          draft discarded




















































          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%2f3073109%2fconfusing-definition-of-field-in-sheldon-axlers-linear-algebra-done-right-what%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

          Bressuire

          Cabo Verde

          Gyllenstierna