Why are units called units?












3












$begingroup$


Why are units in abstract algebra called units? Is it just because they generalize the notion of $-1$ and $1$?, and the like? There's often a sense that units don't matter, when talking about things like irreducibility- is the name unit supposed to trivialize them somehow?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
    $endgroup$
    – Omnomnomnom
    Oct 5 '15 at 5:54










  • $begingroup$
    I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
    $endgroup$
    – Eric Wofsey
    Oct 5 '15 at 5:58
















3












$begingroup$


Why are units in abstract algebra called units? Is it just because they generalize the notion of $-1$ and $1$?, and the like? There's often a sense that units don't matter, when talking about things like irreducibility- is the name unit supposed to trivialize them somehow?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
    $endgroup$
    – Omnomnomnom
    Oct 5 '15 at 5:54










  • $begingroup$
    I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
    $endgroup$
    – Eric Wofsey
    Oct 5 '15 at 5:58














3












3








3





$begingroup$


Why are units in abstract algebra called units? Is it just because they generalize the notion of $-1$ and $1$?, and the like? There's often a sense that units don't matter, when talking about things like irreducibility- is the name unit supposed to trivialize them somehow?










share|cite|improve this question











$endgroup$




Why are units in abstract algebra called units? Is it just because they generalize the notion of $-1$ and $1$?, and the like? There's often a sense that units don't matter, when talking about things like irreducibility- is the name unit supposed to trivialize them somehow?







abstract-algebra terminology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Oct 5 '15 at 5:51









Omnomnomnom

129k794188




129k794188










asked Oct 5 '15 at 5:47









BobBob

9719




9719








  • 1




    $begingroup$
    I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
    $endgroup$
    – Omnomnomnom
    Oct 5 '15 at 5:54










  • $begingroup$
    I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
    $endgroup$
    – Eric Wofsey
    Oct 5 '15 at 5:58














  • 1




    $begingroup$
    I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
    $endgroup$
    – Omnomnomnom
    Oct 5 '15 at 5:54










  • $begingroup$
    I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
    $endgroup$
    – Eric Wofsey
    Oct 5 '15 at 5:58








1




1




$begingroup$
I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
$endgroup$
– Omnomnomnom
Oct 5 '15 at 5:54




$begingroup$
I think that the idea here is that when one measures something in "units" in the usual sense (e.g. meters, seconds, etc.), one is inherently performing a division of some kind to find how many of unit $u$ fit into $x$. So, the "units" of a ring are precisely the elements by which one may divide.
$endgroup$
– Omnomnomnom
Oct 5 '15 at 5:54












$begingroup$
I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
$endgroup$
– Eric Wofsey
Oct 5 '15 at 5:58




$begingroup$
I suspect the terminology (like much terminology in ring theory) originates from number theory, where units were things that "behaved like $1$" in factorizations (of integers, or more generally of elements of extensions of the integers)
$endgroup$
– Eric Wofsey
Oct 5 '15 at 5:58










3 Answers
3






active

oldest

votes


















4












$begingroup$

"Unit" from "unity", from Latin unus meaning "one" (see uno, un, etc. in Romance languages). Thus, "1-like thing". In fact, even 1 itself is sometimes referred to as "unity", as in the term roots of unity.






share|cite|improve this answer











$endgroup$





















    1












    $begingroup$

    In the Sciences a unit is a fixed amount of a quantity in question.
    Every other amount is a multiple of the fixed amount.
    In the Sciences the zero amount cannot be a unit because no other amount is a multiple of it. In rings, units are those elements with the property that all other elements are multiples of them. Just like in the Sciences.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Is this true about abstract algebra too?
      $endgroup$
      – Arman Malekzadeh
      Jul 26 '17 at 19:30



















    1












    $begingroup$


    To build upon what user467419 said: In science a unit is a fixed value for which every other amount of something is a multiple of that fixed value.



    In rings, units are those elements with the property that all other elements are multiples of them. Specifically, if $u$ is a unit of a ring $R$, then there is a $vin R$ such that $uv=vu=1$. Thus, for any $xin R$, one can rewrite $x$ "in terms of the unit $u$" like so: $x=x(vu)=(xv)u$. Thus, $x$ is a multiple of $u$.




    This can be understood well in seeing why a ring $F$ is a field (i.e. a commutative ring in which every nonzero element is a unit) if and only if its only ideals are ${0}$ and $F$.



    Note every element in a field is a unit $u$. It follows that if we rewrite any element $xin F$ in terms of that unit, we will get $x=ku$ for some $kin F$. Now consider that any ideal is a kernel of a ring homomorphism $f:Fto R$. $f$'s kernel could be ${0}$, in which case $f$ is injective, and the ideal it corresponds to is ${0}$.



    Otherwise, some element (and thus unit) $u$ maps to zero. Since we can write any $x$ as $x=ku$, that means $f(x)=f(k)f(u)=0.$ So the kernel is all of $F$.



    Therefore the only ideals (homomorphism kernels) of a field are ${0}$ and $F$, because every element is a unit, so if one element goes to zero, they all must as well, since every element is a multiple of every other.




    More generally, since every element in a ring can be written as a multiple of any unit, we can consider any $x$ in a ring $R$ to be $x=ku$, and the behavior of $x$ under any group homomorphism $g$ is determined by the behavior of $k$ and of $u$ under $g$, since $g(x)=g(k)g(u)$. This explains why $u$ is called a "unit" since we can measure behavior of element $x$ in terms of what coefficient $k$ is in front of $u$ when we express $x$ in terms of $u$.




    Further (and I do not know if this has to do with how the term originated), a summary for the intuition of the term may be the following theorem:




    Theorem (alternate definition of a unit): $uin R$ is a unit iff for all $xin R$, there exists a $vin R$ such that $(xv)u=x$.




    The fowards case of this theorem is proven above, while the backward case is provable letting $x=1$.






    share|cite|improve this answer









    $endgroup$














      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%2f1465057%2fwhy-are-units-called-units%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









      4












      $begingroup$

      "Unit" from "unity", from Latin unus meaning "one" (see uno, un, etc. in Romance languages). Thus, "1-like thing". In fact, even 1 itself is sometimes referred to as "unity", as in the term roots of unity.






      share|cite|improve this answer











      $endgroup$


















        4












        $begingroup$

        "Unit" from "unity", from Latin unus meaning "one" (see uno, un, etc. in Romance languages). Thus, "1-like thing". In fact, even 1 itself is sometimes referred to as "unity", as in the term roots of unity.






        share|cite|improve this answer











        $endgroup$
















          4












          4








          4





          $begingroup$

          "Unit" from "unity", from Latin unus meaning "one" (see uno, un, etc. in Romance languages). Thus, "1-like thing". In fact, even 1 itself is sometimes referred to as "unity", as in the term roots of unity.






          share|cite|improve this answer











          $endgroup$



          "Unit" from "unity", from Latin unus meaning "one" (see uno, un, etc. in Romance languages). Thus, "1-like thing". In fact, even 1 itself is sometimes referred to as "unity", as in the term roots of unity.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Oct 5 '15 at 6:10

























          answered Oct 5 '15 at 5:59









          BrianOBrianO

          14.4k1822




          14.4k1822























              1












              $begingroup$

              In the Sciences a unit is a fixed amount of a quantity in question.
              Every other amount is a multiple of the fixed amount.
              In the Sciences the zero amount cannot be a unit because no other amount is a multiple of it. In rings, units are those elements with the property that all other elements are multiples of them. Just like in the Sciences.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                Is this true about abstract algebra too?
                $endgroup$
                – Arman Malekzadeh
                Jul 26 '17 at 19:30
















              1












              $begingroup$

              In the Sciences a unit is a fixed amount of a quantity in question.
              Every other amount is a multiple of the fixed amount.
              In the Sciences the zero amount cannot be a unit because no other amount is a multiple of it. In rings, units are those elements with the property that all other elements are multiples of them. Just like in the Sciences.






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                Is this true about abstract algebra too?
                $endgroup$
                – Arman Malekzadeh
                Jul 26 '17 at 19:30














              1












              1








              1





              $begingroup$

              In the Sciences a unit is a fixed amount of a quantity in question.
              Every other amount is a multiple of the fixed amount.
              In the Sciences the zero amount cannot be a unit because no other amount is a multiple of it. In rings, units are those elements with the property that all other elements are multiples of them. Just like in the Sciences.






              share|cite|improve this answer









              $endgroup$



              In the Sciences a unit is a fixed amount of a quantity in question.
              Every other amount is a multiple of the fixed amount.
              In the Sciences the zero amount cannot be a unit because no other amount is a multiple of it. In rings, units are those elements with the property that all other elements are multiples of them. Just like in the Sciences.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jul 26 '17 at 19:02









              user467419user467419

              211




              211












              • $begingroup$
                Is this true about abstract algebra too?
                $endgroup$
                – Arman Malekzadeh
                Jul 26 '17 at 19:30


















              • $begingroup$
                Is this true about abstract algebra too?
                $endgroup$
                – Arman Malekzadeh
                Jul 26 '17 at 19:30
















              $begingroup$
              Is this true about abstract algebra too?
              $endgroup$
              – Arman Malekzadeh
              Jul 26 '17 at 19:30




              $begingroup$
              Is this true about abstract algebra too?
              $endgroup$
              – Arman Malekzadeh
              Jul 26 '17 at 19:30











              1












              $begingroup$


              To build upon what user467419 said: In science a unit is a fixed value for which every other amount of something is a multiple of that fixed value.



              In rings, units are those elements with the property that all other elements are multiples of them. Specifically, if $u$ is a unit of a ring $R$, then there is a $vin R$ such that $uv=vu=1$. Thus, for any $xin R$, one can rewrite $x$ "in terms of the unit $u$" like so: $x=x(vu)=(xv)u$. Thus, $x$ is a multiple of $u$.




              This can be understood well in seeing why a ring $F$ is a field (i.e. a commutative ring in which every nonzero element is a unit) if and only if its only ideals are ${0}$ and $F$.



              Note every element in a field is a unit $u$. It follows that if we rewrite any element $xin F$ in terms of that unit, we will get $x=ku$ for some $kin F$. Now consider that any ideal is a kernel of a ring homomorphism $f:Fto R$. $f$'s kernel could be ${0}$, in which case $f$ is injective, and the ideal it corresponds to is ${0}$.



              Otherwise, some element (and thus unit) $u$ maps to zero. Since we can write any $x$ as $x=ku$, that means $f(x)=f(k)f(u)=0.$ So the kernel is all of $F$.



              Therefore the only ideals (homomorphism kernels) of a field are ${0}$ and $F$, because every element is a unit, so if one element goes to zero, they all must as well, since every element is a multiple of every other.




              More generally, since every element in a ring can be written as a multiple of any unit, we can consider any $x$ in a ring $R$ to be $x=ku$, and the behavior of $x$ under any group homomorphism $g$ is determined by the behavior of $k$ and of $u$ under $g$, since $g(x)=g(k)g(u)$. This explains why $u$ is called a "unit" since we can measure behavior of element $x$ in terms of what coefficient $k$ is in front of $u$ when we express $x$ in terms of $u$.




              Further (and I do not know if this has to do with how the term originated), a summary for the intuition of the term may be the following theorem:




              Theorem (alternate definition of a unit): $uin R$ is a unit iff for all $xin R$, there exists a $vin R$ such that $(xv)u=x$.




              The fowards case of this theorem is proven above, while the backward case is provable letting $x=1$.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$


                To build upon what user467419 said: In science a unit is a fixed value for which every other amount of something is a multiple of that fixed value.



                In rings, units are those elements with the property that all other elements are multiples of them. Specifically, if $u$ is a unit of a ring $R$, then there is a $vin R$ such that $uv=vu=1$. Thus, for any $xin R$, one can rewrite $x$ "in terms of the unit $u$" like so: $x=x(vu)=(xv)u$. Thus, $x$ is a multiple of $u$.




                This can be understood well in seeing why a ring $F$ is a field (i.e. a commutative ring in which every nonzero element is a unit) if and only if its only ideals are ${0}$ and $F$.



                Note every element in a field is a unit $u$. It follows that if we rewrite any element $xin F$ in terms of that unit, we will get $x=ku$ for some $kin F$. Now consider that any ideal is a kernel of a ring homomorphism $f:Fto R$. $f$'s kernel could be ${0}$, in which case $f$ is injective, and the ideal it corresponds to is ${0}$.



                Otherwise, some element (and thus unit) $u$ maps to zero. Since we can write any $x$ as $x=ku$, that means $f(x)=f(k)f(u)=0.$ So the kernel is all of $F$.



                Therefore the only ideals (homomorphism kernels) of a field are ${0}$ and $F$, because every element is a unit, so if one element goes to zero, they all must as well, since every element is a multiple of every other.




                More generally, since every element in a ring can be written as a multiple of any unit, we can consider any $x$ in a ring $R$ to be $x=ku$, and the behavior of $x$ under any group homomorphism $g$ is determined by the behavior of $k$ and of $u$ under $g$, since $g(x)=g(k)g(u)$. This explains why $u$ is called a "unit" since we can measure behavior of element $x$ in terms of what coefficient $k$ is in front of $u$ when we express $x$ in terms of $u$.




                Further (and I do not know if this has to do with how the term originated), a summary for the intuition of the term may be the following theorem:




                Theorem (alternate definition of a unit): $uin R$ is a unit iff for all $xin R$, there exists a $vin R$ such that $(xv)u=x$.




                The fowards case of this theorem is proven above, while the backward case is provable letting $x=1$.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$


                  To build upon what user467419 said: In science a unit is a fixed value for which every other amount of something is a multiple of that fixed value.



                  In rings, units are those elements with the property that all other elements are multiples of them. Specifically, if $u$ is a unit of a ring $R$, then there is a $vin R$ such that $uv=vu=1$. Thus, for any $xin R$, one can rewrite $x$ "in terms of the unit $u$" like so: $x=x(vu)=(xv)u$. Thus, $x$ is a multiple of $u$.




                  This can be understood well in seeing why a ring $F$ is a field (i.e. a commutative ring in which every nonzero element is a unit) if and only if its only ideals are ${0}$ and $F$.



                  Note every element in a field is a unit $u$. It follows that if we rewrite any element $xin F$ in terms of that unit, we will get $x=ku$ for some $kin F$. Now consider that any ideal is a kernel of a ring homomorphism $f:Fto R$. $f$'s kernel could be ${0}$, in which case $f$ is injective, and the ideal it corresponds to is ${0}$.



                  Otherwise, some element (and thus unit) $u$ maps to zero. Since we can write any $x$ as $x=ku$, that means $f(x)=f(k)f(u)=0.$ So the kernel is all of $F$.



                  Therefore the only ideals (homomorphism kernels) of a field are ${0}$ and $F$, because every element is a unit, so if one element goes to zero, they all must as well, since every element is a multiple of every other.




                  More generally, since every element in a ring can be written as a multiple of any unit, we can consider any $x$ in a ring $R$ to be $x=ku$, and the behavior of $x$ under any group homomorphism $g$ is determined by the behavior of $k$ and of $u$ under $g$, since $g(x)=g(k)g(u)$. This explains why $u$ is called a "unit" since we can measure behavior of element $x$ in terms of what coefficient $k$ is in front of $u$ when we express $x$ in terms of $u$.




                  Further (and I do not know if this has to do with how the term originated), a summary for the intuition of the term may be the following theorem:




                  Theorem (alternate definition of a unit): $uin R$ is a unit iff for all $xin R$, there exists a $vin R$ such that $(xv)u=x$.




                  The fowards case of this theorem is proven above, while the backward case is provable letting $x=1$.






                  share|cite|improve this answer









                  $endgroup$




                  To build upon what user467419 said: In science a unit is a fixed value for which every other amount of something is a multiple of that fixed value.



                  In rings, units are those elements with the property that all other elements are multiples of them. Specifically, if $u$ is a unit of a ring $R$, then there is a $vin R$ such that $uv=vu=1$. Thus, for any $xin R$, one can rewrite $x$ "in terms of the unit $u$" like so: $x=x(vu)=(xv)u$. Thus, $x$ is a multiple of $u$.




                  This can be understood well in seeing why a ring $F$ is a field (i.e. a commutative ring in which every nonzero element is a unit) if and only if its only ideals are ${0}$ and $F$.



                  Note every element in a field is a unit $u$. It follows that if we rewrite any element $xin F$ in terms of that unit, we will get $x=ku$ for some $kin F$. Now consider that any ideal is a kernel of a ring homomorphism $f:Fto R$. $f$'s kernel could be ${0}$, in which case $f$ is injective, and the ideal it corresponds to is ${0}$.



                  Otherwise, some element (and thus unit) $u$ maps to zero. Since we can write any $x$ as $x=ku$, that means $f(x)=f(k)f(u)=0.$ So the kernel is all of $F$.



                  Therefore the only ideals (homomorphism kernels) of a field are ${0}$ and $F$, because every element is a unit, so if one element goes to zero, they all must as well, since every element is a multiple of every other.




                  More generally, since every element in a ring can be written as a multiple of any unit, we can consider any $x$ in a ring $R$ to be $x=ku$, and the behavior of $x$ under any group homomorphism $g$ is determined by the behavior of $k$ and of $u$ under $g$, since $g(x)=g(k)g(u)$. This explains why $u$ is called a "unit" since we can measure behavior of element $x$ in terms of what coefficient $k$ is in front of $u$ when we express $x$ in terms of $u$.




                  Further (and I do not know if this has to do with how the term originated), a summary for the intuition of the term may be the following theorem:




                  Theorem (alternate definition of a unit): $uin R$ is a unit iff for all $xin R$, there exists a $vin R$ such that $(xv)u=x$.




                  The fowards case of this theorem is proven above, while the backward case is provable letting $x=1$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Feb 3 at 4:31









                  MathTrainMathTrain

                  690217




                  690217






























                      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%2f1465057%2fwhy-are-units-called-units%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

                      MongoDB - Not Authorized To Execute Command

                      How to fix TextFormField cause rebuild widget in Flutter

                      in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith