Do you know a ring-like structure in which it is possible that zero times zero is not zero?











up vote
0
down vote

favorite












For every ring R, it can be shown that $ a cdot 0 = 0 $ for all $ a in R $, making use of the distributive law.



In a near-ring R, this does not necessarily hold, as the following example shows:
Let $G$ be a group with at least two elements, and let $ F := {fcolon G to G} $ be the set of all functions from $G$ to $G$. Together with the usual addition on functions, i.e. for $ f, g in F $ the sum is defined as $ f + gcolon G to G, a mapsto f(a) + g(a) $, and the composition as the multiplication, F is a near-ring. As the left distributive law does not hold on $F$, $ f circ 0 = 0 $ does not necessarily hold, with $ 0 in F $ being the constant mapping to $ 0 in G $. This can be seen by choosing $f$ as a constant function which does not map to $0$: we have $ f circ 0 = f neq 0 $. However, $ 0 circ 0 = 0 $ still holds. The property $ 0 cdot 0 = 0 $ can indeed be shown to hold for near-rings in general.



Now, I wonder if there is a (more or less commonly-studied) ring-like structure in which $ 0 cdot 0 = 0 $ does not hold. Do you know any such example?










share|cite|improve this question




























    up vote
    0
    down vote

    favorite












    For every ring R, it can be shown that $ a cdot 0 = 0 $ for all $ a in R $, making use of the distributive law.



    In a near-ring R, this does not necessarily hold, as the following example shows:
    Let $G$ be a group with at least two elements, and let $ F := {fcolon G to G} $ be the set of all functions from $G$ to $G$. Together with the usual addition on functions, i.e. for $ f, g in F $ the sum is defined as $ f + gcolon G to G, a mapsto f(a) + g(a) $, and the composition as the multiplication, F is a near-ring. As the left distributive law does not hold on $F$, $ f circ 0 = 0 $ does not necessarily hold, with $ 0 in F $ being the constant mapping to $ 0 in G $. This can be seen by choosing $f$ as a constant function which does not map to $0$: we have $ f circ 0 = f neq 0 $. However, $ 0 circ 0 = 0 $ still holds. The property $ 0 cdot 0 = 0 $ can indeed be shown to hold for near-rings in general.



    Now, I wonder if there is a (more or less commonly-studied) ring-like structure in which $ 0 cdot 0 = 0 $ does not hold. Do you know any such example?










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      For every ring R, it can be shown that $ a cdot 0 = 0 $ for all $ a in R $, making use of the distributive law.



      In a near-ring R, this does not necessarily hold, as the following example shows:
      Let $G$ be a group with at least two elements, and let $ F := {fcolon G to G} $ be the set of all functions from $G$ to $G$. Together with the usual addition on functions, i.e. for $ f, g in F $ the sum is defined as $ f + gcolon G to G, a mapsto f(a) + g(a) $, and the composition as the multiplication, F is a near-ring. As the left distributive law does not hold on $F$, $ f circ 0 = 0 $ does not necessarily hold, with $ 0 in F $ being the constant mapping to $ 0 in G $. This can be seen by choosing $f$ as a constant function which does not map to $0$: we have $ f circ 0 = f neq 0 $. However, $ 0 circ 0 = 0 $ still holds. The property $ 0 cdot 0 = 0 $ can indeed be shown to hold for near-rings in general.



      Now, I wonder if there is a (more or less commonly-studied) ring-like structure in which $ 0 cdot 0 = 0 $ does not hold. Do you know any such example?










      share|cite|improve this question















      For every ring R, it can be shown that $ a cdot 0 = 0 $ for all $ a in R $, making use of the distributive law.



      In a near-ring R, this does not necessarily hold, as the following example shows:
      Let $G$ be a group with at least two elements, and let $ F := {fcolon G to G} $ be the set of all functions from $G$ to $G$. Together with the usual addition on functions, i.e. for $ f, g in F $ the sum is defined as $ f + gcolon G to G, a mapsto f(a) + g(a) $, and the composition as the multiplication, F is a near-ring. As the left distributive law does not hold on $F$, $ f circ 0 = 0 $ does not necessarily hold, with $ 0 in F $ being the constant mapping to $ 0 in G $. This can be seen by choosing $f$ as a constant function which does not map to $0$: we have $ f circ 0 = f neq 0 $. However, $ 0 circ 0 = 0 $ still holds. The property $ 0 cdot 0 = 0 $ can indeed be shown to hold for near-rings in general.



      Now, I wonder if there is a (more or less commonly-studied) ring-like structure in which $ 0 cdot 0 = 0 $ does not hold. Do you know any such example?







      ring-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 16 at 18:29

























      asked Nov 16 at 18:22









      student

      13




      13



























          active

          oldest

          votes











          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: 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%2f3001474%2fdo-you-know-a-ring-like-structure-in-which-it-is-possible-that-zero-times-zero-i%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown






























          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3001474%2fdo-you-know-a-ring-like-structure-in-which-it-is-possible-that-zero-times-zero-i%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

          QoS: MAC-Priority for clients behind a repeater

          Ивакино (Тотемский район)

          Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)