Is the uniqueness of the additive neutral element sufficient to prove x+z=x implies z=0?












2












$begingroup$


The following was originally stated for n-tuples of elements from a scalar field, so most of the properties of "vectors" are easily established from the properties of the underlying scalar field. But the authors seem to want their development to be "self-reliant". For this reason I have replaced "n-tuple" with "vector".



The equality relation for vectors has been established, as have the
associative and commutative laws of vector addition. The next property
of vector addition to be introduced is the neutral element:



There exists a vector $mathfrak{0}$ such that $mathfrak{x}+mathfrak{0}=mathfrak{x}$ for every $mathfrak{x}$. It follows there can be only one neutral element, for if $mathfrak{0}$ and $mathfrak{0}^{prime}$ were
two such elements we would have $mathfrak{0}^{prime}+mathfrak{0}=mathfrak{0}^{prime}$ and $mathfrak{0}+mathfrak{0}^{prime}=mathfrak{0},$ so that by the commutative law of vector addition and the transitivity of vector equality we would have $mathfrak{0}=mathfrak{0}^{prime}.$



Now suppose that for some $mathfrak{x}$ we have $mathfrak{x}+mathfrak{z}=mathfrak{x}.$
Do we have enough to prove that $mathfrak{z}=mathfrak{0}?$



I note in particular that the proof of the uniqueness of $mathfrak{0}$
relies on the assumption that $mathfrak{x}+mathfrak{0}^{prime}=mathfrak{x}$ holds for all vectors, and thereby for $mathfrak{x}=mathfrak{0}$. That assumption comes from the definition of $mathfrak{0}$ satisfying $mathfrak{x}+mathfrak{0}=mathfrak{x}$
for every vector, and the assumption that $mathfrak{0}^prime$ is also 'such an element'.



Also note that the additive inverses have not yet been introduced.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
    $endgroup$
    – Paul K
    43 mins ago










  • $begingroup$
    The last line of the question is: "Also note that the additive inverses have not yet been introduced."
    $endgroup$
    – Steven Hatton
    42 mins ago










  • $begingroup$
    Oh, I missed that one, sorry
    $endgroup$
    – Paul K
    41 mins ago






  • 1




    $begingroup$
    In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
    $endgroup$
    – Paul K
    39 mins ago


















2












$begingroup$


The following was originally stated for n-tuples of elements from a scalar field, so most of the properties of "vectors" are easily established from the properties of the underlying scalar field. But the authors seem to want their development to be "self-reliant". For this reason I have replaced "n-tuple" with "vector".



The equality relation for vectors has been established, as have the
associative and commutative laws of vector addition. The next property
of vector addition to be introduced is the neutral element:



There exists a vector $mathfrak{0}$ such that $mathfrak{x}+mathfrak{0}=mathfrak{x}$ for every $mathfrak{x}$. It follows there can be only one neutral element, for if $mathfrak{0}$ and $mathfrak{0}^{prime}$ were
two such elements we would have $mathfrak{0}^{prime}+mathfrak{0}=mathfrak{0}^{prime}$ and $mathfrak{0}+mathfrak{0}^{prime}=mathfrak{0},$ so that by the commutative law of vector addition and the transitivity of vector equality we would have $mathfrak{0}=mathfrak{0}^{prime}.$



Now suppose that for some $mathfrak{x}$ we have $mathfrak{x}+mathfrak{z}=mathfrak{x}.$
Do we have enough to prove that $mathfrak{z}=mathfrak{0}?$



I note in particular that the proof of the uniqueness of $mathfrak{0}$
relies on the assumption that $mathfrak{x}+mathfrak{0}^{prime}=mathfrak{x}$ holds for all vectors, and thereby for $mathfrak{x}=mathfrak{0}$. That assumption comes from the definition of $mathfrak{0}$ satisfying $mathfrak{x}+mathfrak{0}=mathfrak{x}$
for every vector, and the assumption that $mathfrak{0}^prime$ is also 'such an element'.



Also note that the additive inverses have not yet been introduced.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
    $endgroup$
    – Paul K
    43 mins ago










  • $begingroup$
    The last line of the question is: "Also note that the additive inverses have not yet been introduced."
    $endgroup$
    – Steven Hatton
    42 mins ago










  • $begingroup$
    Oh, I missed that one, sorry
    $endgroup$
    – Paul K
    41 mins ago






  • 1




    $begingroup$
    In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
    $endgroup$
    – Paul K
    39 mins ago
















2












2








2





$begingroup$


The following was originally stated for n-tuples of elements from a scalar field, so most of the properties of "vectors" are easily established from the properties of the underlying scalar field. But the authors seem to want their development to be "self-reliant". For this reason I have replaced "n-tuple" with "vector".



The equality relation for vectors has been established, as have the
associative and commutative laws of vector addition. The next property
of vector addition to be introduced is the neutral element:



There exists a vector $mathfrak{0}$ such that $mathfrak{x}+mathfrak{0}=mathfrak{x}$ for every $mathfrak{x}$. It follows there can be only one neutral element, for if $mathfrak{0}$ and $mathfrak{0}^{prime}$ were
two such elements we would have $mathfrak{0}^{prime}+mathfrak{0}=mathfrak{0}^{prime}$ and $mathfrak{0}+mathfrak{0}^{prime}=mathfrak{0},$ so that by the commutative law of vector addition and the transitivity of vector equality we would have $mathfrak{0}=mathfrak{0}^{prime}.$



Now suppose that for some $mathfrak{x}$ we have $mathfrak{x}+mathfrak{z}=mathfrak{x}.$
Do we have enough to prove that $mathfrak{z}=mathfrak{0}?$



I note in particular that the proof of the uniqueness of $mathfrak{0}$
relies on the assumption that $mathfrak{x}+mathfrak{0}^{prime}=mathfrak{x}$ holds for all vectors, and thereby for $mathfrak{x}=mathfrak{0}$. That assumption comes from the definition of $mathfrak{0}$ satisfying $mathfrak{x}+mathfrak{0}=mathfrak{x}$
for every vector, and the assumption that $mathfrak{0}^prime$ is also 'such an element'.



Also note that the additive inverses have not yet been introduced.










share|cite|improve this question









$endgroup$




The following was originally stated for n-tuples of elements from a scalar field, so most of the properties of "vectors" are easily established from the properties of the underlying scalar field. But the authors seem to want their development to be "self-reliant". For this reason I have replaced "n-tuple" with "vector".



The equality relation for vectors has been established, as have the
associative and commutative laws of vector addition. The next property
of vector addition to be introduced is the neutral element:



There exists a vector $mathfrak{0}$ such that $mathfrak{x}+mathfrak{0}=mathfrak{x}$ for every $mathfrak{x}$. It follows there can be only one neutral element, for if $mathfrak{0}$ and $mathfrak{0}^{prime}$ were
two such elements we would have $mathfrak{0}^{prime}+mathfrak{0}=mathfrak{0}^{prime}$ and $mathfrak{0}+mathfrak{0}^{prime}=mathfrak{0},$ so that by the commutative law of vector addition and the transitivity of vector equality we would have $mathfrak{0}=mathfrak{0}^{prime}.$



Now suppose that for some $mathfrak{x}$ we have $mathfrak{x}+mathfrak{z}=mathfrak{x}.$
Do we have enough to prove that $mathfrak{z}=mathfrak{0}?$



I note in particular that the proof of the uniqueness of $mathfrak{0}$
relies on the assumption that $mathfrak{x}+mathfrak{0}^{prime}=mathfrak{x}$ holds for all vectors, and thereby for $mathfrak{x}=mathfrak{0}$. That assumption comes from the definition of $mathfrak{0}$ satisfying $mathfrak{x}+mathfrak{0}=mathfrak{x}$
for every vector, and the assumption that $mathfrak{0}^prime$ is also 'such an element'.



Also note that the additive inverses have not yet been introduced.







group-theory proof-verification vector-spaces






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 49 mins ago









Steven HattonSteven Hatton

827316




827316












  • $begingroup$
    Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
    $endgroup$
    – Paul K
    43 mins ago










  • $begingroup$
    The last line of the question is: "Also note that the additive inverses have not yet been introduced."
    $endgroup$
    – Steven Hatton
    42 mins ago










  • $begingroup$
    Oh, I missed that one, sorry
    $endgroup$
    – Paul K
    41 mins ago






  • 1




    $begingroup$
    In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
    $endgroup$
    – Paul K
    39 mins ago




















  • $begingroup$
    Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
    $endgroup$
    – Paul K
    43 mins ago










  • $begingroup$
    The last line of the question is: "Also note that the additive inverses have not yet been introduced."
    $endgroup$
    – Steven Hatton
    42 mins ago










  • $begingroup$
    Oh, I missed that one, sorry
    $endgroup$
    – Paul K
    41 mins ago






  • 1




    $begingroup$
    In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
    $endgroup$
    – Paul K
    39 mins ago


















$begingroup$
Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
$endgroup$
– Paul K
43 mins ago




$begingroup$
Add the additive inverse of $mathfrak{x}$ to both sides and you obtain $mathfrak{z} = 0$.
$endgroup$
– Paul K
43 mins ago












$begingroup$
The last line of the question is: "Also note that the additive inverses have not yet been introduced."
$endgroup$
– Steven Hatton
42 mins ago




$begingroup$
The last line of the question is: "Also note that the additive inverses have not yet been introduced."
$endgroup$
– Steven Hatton
42 mins ago












$begingroup$
Oh, I missed that one, sorry
$endgroup$
– Paul K
41 mins ago




$begingroup$
Oh, I missed that one, sorry
$endgroup$
– Paul K
41 mins ago




1




1




$begingroup$
In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
$endgroup$
– Paul K
39 mins ago






$begingroup$
In that case I would say that you can't prove it. Look for example at the real numbers with multiplication. You have a unique neutral element there ($1$). But we have $0 cdot x = 0$ for all $x$, in particular for $x neq 1$.
$endgroup$
– Paul K
39 mins ago












2 Answers
2






active

oldest

votes


















4












$begingroup$

No, this cannot be proved from just associativity, commutativity, and existence of a neutral element. For instance, consider the set $[0,1]$ with the binary operation $a*b=min(a,b)$. This operation is associative and commutative and $1$ is a neutral element. But for any $x,y$ with $x<y$, we have $x*y=x$, and $y$ is not necessarily the neutral element $1$.






share|cite|improve this answer









$endgroup$





















    3












    $begingroup$

    For an example with a more additive flavor, let's extend the operation $+$ to a new element $infty$ with the rule that $x+infty=infty+x=infty$ for all $x$. You can check that $+$ is still associative and commutative, and $0$ is still its identity element. However, we have $infty+7=infty$ and $7neq0$.






    share|cite|improve this answer









    $endgroup$













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


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085568%2fis-the-uniqueness-of-the-additive-neutral-element-sufficient-to-prove-xz-x-impl%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









      4












      $begingroup$

      No, this cannot be proved from just associativity, commutativity, and existence of a neutral element. For instance, consider the set $[0,1]$ with the binary operation $a*b=min(a,b)$. This operation is associative and commutative and $1$ is a neutral element. But for any $x,y$ with $x<y$, we have $x*y=x$, and $y$ is not necessarily the neutral element $1$.






      share|cite|improve this answer









      $endgroup$


















        4












        $begingroup$

        No, this cannot be proved from just associativity, commutativity, and existence of a neutral element. For instance, consider the set $[0,1]$ with the binary operation $a*b=min(a,b)$. This operation is associative and commutative and $1$ is a neutral element. But for any $x,y$ with $x<y$, we have $x*y=x$, and $y$ is not necessarily the neutral element $1$.






        share|cite|improve this answer









        $endgroup$
















          4












          4








          4





          $begingroup$

          No, this cannot be proved from just associativity, commutativity, and existence of a neutral element. For instance, consider the set $[0,1]$ with the binary operation $a*b=min(a,b)$. This operation is associative and commutative and $1$ is a neutral element. But for any $x,y$ with $x<y$, we have $x*y=x$, and $y$ is not necessarily the neutral element $1$.






          share|cite|improve this answer









          $endgroup$



          No, this cannot be proved from just associativity, commutativity, and existence of a neutral element. For instance, consider the set $[0,1]$ with the binary operation $a*b=min(a,b)$. This operation is associative and commutative and $1$ is a neutral element. But for any $x,y$ with $x<y$, we have $x*y=x$, and $y$ is not necessarily the neutral element $1$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 28 mins ago









          Eric WofseyEric Wofsey

          183k13209337




          183k13209337























              3












              $begingroup$

              For an example with a more additive flavor, let's extend the operation $+$ to a new element $infty$ with the rule that $x+infty=infty+x=infty$ for all $x$. You can check that $+$ is still associative and commutative, and $0$ is still its identity element. However, we have $infty+7=infty$ and $7neq0$.






              share|cite|improve this answer









              $endgroup$


















                3












                $begingroup$

                For an example with a more additive flavor, let's extend the operation $+$ to a new element $infty$ with the rule that $x+infty=infty+x=infty$ for all $x$. You can check that $+$ is still associative and commutative, and $0$ is still its identity element. However, we have $infty+7=infty$ and $7neq0$.






                share|cite|improve this answer









                $endgroup$
















                  3












                  3








                  3





                  $begingroup$

                  For an example with a more additive flavor, let's extend the operation $+$ to a new element $infty$ with the rule that $x+infty=infty+x=infty$ for all $x$. You can check that $+$ is still associative and commutative, and $0$ is still its identity element. However, we have $infty+7=infty$ and $7neq0$.






                  share|cite|improve this answer









                  $endgroup$



                  For an example with a more additive flavor, let's extend the operation $+$ to a new element $infty$ with the rule that $x+infty=infty+x=infty$ for all $x$. You can check that $+$ is still associative and commutative, and $0$ is still its identity element. However, we have $infty+7=infty$ and $7neq0$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 27 mins ago









                  Chris CulterChris Culter

                  20k43483




                  20k43483






























                      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%2f3085568%2fis-the-uniqueness-of-the-additive-neutral-element-sufficient-to-prove-xz-x-impl%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

                      الفوسفات في المغرب

                      Four equal circles intersect: What is the area of the small shaded portion and its height

                      بطل الاتحاد السوفيتي