In a Cayley table, which Group axioms fail when an entry appears twice in a row or a column?

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











up vote
5
down vote

favorite
2












In a Cayley table, which Group axioms fail when an entry appears twice in a row or a column?



It's obviously not the Closure axiom, and after some inspection, I believe the Inverses axiom does fail.



However, I'm not so sure how to show whether or not the two other axioms fail (Identity and Associativity).







share|cite|improve this question


























    up vote
    5
    down vote

    favorite
    2












    In a Cayley table, which Group axioms fail when an entry appears twice in a row or a column?



    It's obviously not the Closure axiom, and after some inspection, I believe the Inverses axiom does fail.



    However, I'm not so sure how to show whether or not the two other axioms fail (Identity and Associativity).







    share|cite|improve this question
























      up vote
      5
      down vote

      favorite
      2









      up vote
      5
      down vote

      favorite
      2






      2





      In a Cayley table, which Group axioms fail when an entry appears twice in a row or a column?



      It's obviously not the Closure axiom, and after some inspection, I believe the Inverses axiom does fail.



      However, I'm not so sure how to show whether or not the two other axioms fail (Identity and Associativity).







      share|cite|improve this question














      In a Cayley table, which Group axioms fail when an entry appears twice in a row or a column?



      It's obviously not the Closure axiom, and after some inspection, I believe the Inverses axiom does fail.



      However, I'm not so sure how to show whether or not the two other axioms fail (Identity and Associativity).









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 25 at 23:57









      Shaun

      7,43692972




      7,43692972










      asked Aug 25 at 22:42









      Stephen

      1,2771819




      1,2771819




















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          9
          down vote



          accepted










          None of the properties fail automatically



          For any group property, you can always find a Cayley table where there's a duplicate entry and yet that property still holds. Here are examples for each:



          1. Associativity can still hold. $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


          2. Identity can still hold. (Same example.)
            $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


          3. Inverses can still hold. (Here, $a$ and $b$ are inverses of each other.)$$beginarrayccc & e & a & b \hline e & e & a & b\a & a & a & e \b & b & e & aendarray$$


          However, either associativity fails or inverses fail.



          If there's a duplicate row, then $ab=ac$ for some $bneq c$. Suppose the operator has inverses and associativity. Then we get $a^-1ab = a^-1ac$ so that $b=c$— contradicting our assumption that $bneq c$.



          So if there's a duplicate row, the operator can either be associative (as shown above), or have inverses (as shown above), but never both.



          For confirmation, note that in the example tables above, #1 is associative but not invertible because of 0, and #3 is invertible but not associative because $(bb)a = aa = a$ but $b(ba) = be = b$.)



          Diagram



          Groups can't have repeat entries. Therefore, if a table has repeat entries, it's not a group. If it's not a group, then it's not in the green region of this diagram. Visually, you can see that such a table can't be both associative and have inverses at the same time. And you can show that there exist tables with duplicate rows that belong to any other non-green region of this diagram.



          enter image description here






          share|cite|improve this answer





























            up vote
            3
            down vote













            If you have a monoid, an entry can appear twice in a row or a column. However, the axioms "Identity" and "Associativity" are satisfied. Suppose now that $xa = xb$ with $a not= b$. Then $x$ cannot have an inverse, since otherwise $xa = xb$ implies $x^-1xa = x^-1xb$, that is, $a = b$.






            share|cite|improve this answer


















            • 3




              In your last line you are assuming associativity.
              – Josh B.
              Aug 25 at 23:52

















            up vote
            1
            down vote













            Update: The proof I gave that you can't have inverses at all assumed associativity. Out of the three properties in question (identity, inverses, associativity), you can have any combination whatsoever as long as it does not have both inverses and associativity.



            This change can be made without affecting the identity, though it doesn't have to. As an example, consider the additive group $mathbbZ_2$ with $1+1=1$ instead of $1+1=0$. By inspection of the 3 relevant cases, there is still an identity in this set and operation even though rows and columns have duplicated information.



            That isn't mandatory. The offending definition could just as well have been $0+1=0$, with nothing else changed. One could easily verify that the resulting set and operation do not have an identity.



            If there is not an identity, inverses don't exist. At least, the definitions of inverse that I'm familiar with explicitly define such a thing in terms of an identity.



            If there IS an identity, inverses still don't exist. Consider (with multiplicative notation and an identity of $e$) the equation $ax=bx$ corresponding to a row with duplicates if $aneq b$. Note that if inverses existed we would have $ae=be$, but since $e$ is the identity we have $a=b$, violating $aneq b$.



            Associativity can go either way. The object $mathbbZ_2$ with $1+1=1$ is associative and even has an identity. As far as modifications to $mathbbZ_2$ are concerned, there are non-associative options as well (like all additions being $0$ except $0+1=1$), but none of them have a proper identity.



            With slightly more elements, we can lose associativity and retain the identity. Consider the set $0,1,2$ with $0$ as an identity, $1+1=0$, and $2+1=0$. Note that $$beginaligned2+(1+1)&=2+0\&=2neq1\&=0+1\&=(2+1)+1.endaligned$$ The remaining operations can be defined however you want, and this Cayley table still corresponds to a set with an identity and without associativity.






            share|cite|improve this answer


















            • 1




              Associativity definitely could fail. Take your time.
              – Frenzy Li
              Aug 25 at 23:16







            • 1




              Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
              – Shaun
              Aug 26 at 0:13











            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%2f2894561%2fin-a-cayley-table-which-group-axioms-fail-when-an-entry-appears-twice-in-a-row%23new-answer', 'question_page');

            );

            Post as a guest






























            3 Answers
            3






            active

            oldest

            votes








            3 Answers
            3






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            9
            down vote



            accepted










            None of the properties fail automatically



            For any group property, you can always find a Cayley table where there's a duplicate entry and yet that property still holds. Here are examples for each:



            1. Associativity can still hold. $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


            2. Identity can still hold. (Same example.)
              $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


            3. Inverses can still hold. (Here, $a$ and $b$ are inverses of each other.)$$beginarrayccc & e & a & b \hline e & e & a & b\a & a & a & e \b & b & e & aendarray$$


            However, either associativity fails or inverses fail.



            If there's a duplicate row, then $ab=ac$ for some $bneq c$. Suppose the operator has inverses and associativity. Then we get $a^-1ab = a^-1ac$ so that $b=c$— contradicting our assumption that $bneq c$.



            So if there's a duplicate row, the operator can either be associative (as shown above), or have inverses (as shown above), but never both.



            For confirmation, note that in the example tables above, #1 is associative but not invertible because of 0, and #3 is invertible but not associative because $(bb)a = aa = a$ but $b(ba) = be = b$.)



            Diagram



            Groups can't have repeat entries. Therefore, if a table has repeat entries, it's not a group. If it's not a group, then it's not in the green region of this diagram. Visually, you can see that such a table can't be both associative and have inverses at the same time. And you can show that there exist tables with duplicate rows that belong to any other non-green region of this diagram.



            enter image description here






            share|cite|improve this answer


























              up vote
              9
              down vote



              accepted










              None of the properties fail automatically



              For any group property, you can always find a Cayley table where there's a duplicate entry and yet that property still holds. Here are examples for each:



              1. Associativity can still hold. $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


              2. Identity can still hold. (Same example.)
                $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


              3. Inverses can still hold. (Here, $a$ and $b$ are inverses of each other.)$$beginarrayccc & e & a & b \hline e & e & a & b\a & a & a & e \b & b & e & aendarray$$


              However, either associativity fails or inverses fail.



              If there's a duplicate row, then $ab=ac$ for some $bneq c$. Suppose the operator has inverses and associativity. Then we get $a^-1ab = a^-1ac$ so that $b=c$— contradicting our assumption that $bneq c$.



              So if there's a duplicate row, the operator can either be associative (as shown above), or have inverses (as shown above), but never both.



              For confirmation, note that in the example tables above, #1 is associative but not invertible because of 0, and #3 is invertible but not associative because $(bb)a = aa = a$ but $b(ba) = be = b$.)



              Diagram



              Groups can't have repeat entries. Therefore, if a table has repeat entries, it's not a group. If it's not a group, then it's not in the green region of this diagram. Visually, you can see that such a table can't be both associative and have inverses at the same time. And you can show that there exist tables with duplicate rows that belong to any other non-green region of this diagram.



              enter image description here






              share|cite|improve this answer
























                up vote
                9
                down vote



                accepted







                up vote
                9
                down vote



                accepted






                None of the properties fail automatically



                For any group property, you can always find a Cayley table where there's a duplicate entry and yet that property still holds. Here are examples for each:



                1. Associativity can still hold. $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


                2. Identity can still hold. (Same example.)
                  $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


                3. Inverses can still hold. (Here, $a$ and $b$ are inverses of each other.)$$beginarrayccc & e & a & b \hline e & e & a & b\a & a & a & e \b & b & e & aendarray$$


                However, either associativity fails or inverses fail.



                If there's a duplicate row, then $ab=ac$ for some $bneq c$. Suppose the operator has inverses and associativity. Then we get $a^-1ab = a^-1ac$ so that $b=c$— contradicting our assumption that $bneq c$.



                So if there's a duplicate row, the operator can either be associative (as shown above), or have inverses (as shown above), but never both.



                For confirmation, note that in the example tables above, #1 is associative but not invertible because of 0, and #3 is invertible but not associative because $(bb)a = aa = a$ but $b(ba) = be = b$.)



                Diagram



                Groups can't have repeat entries. Therefore, if a table has repeat entries, it's not a group. If it's not a group, then it's not in the green region of this diagram. Visually, you can see that such a table can't be both associative and have inverses at the same time. And you can show that there exist tables with duplicate rows that belong to any other non-green region of this diagram.



                enter image description here






                share|cite|improve this answer














                None of the properties fail automatically



                For any group property, you can always find a Cayley table where there's a duplicate entry and yet that property still holds. Here are examples for each:



                1. Associativity can still hold. $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


                2. Identity can still hold. (Same example.)
                  $$beginarrayc times& 0 & 1 \hline 0 & 0 & 0\1 & 0 & 1endarray$$


                3. Inverses can still hold. (Here, $a$ and $b$ are inverses of each other.)$$beginarrayccc & e & a & b \hline e & e & a & b\a & a & a & e \b & b & e & aendarray$$


                However, either associativity fails or inverses fail.



                If there's a duplicate row, then $ab=ac$ for some $bneq c$. Suppose the operator has inverses and associativity. Then we get $a^-1ab = a^-1ac$ so that $b=c$— contradicting our assumption that $bneq c$.



                So if there's a duplicate row, the operator can either be associative (as shown above), or have inverses (as shown above), but never both.



                For confirmation, note that in the example tables above, #1 is associative but not invertible because of 0, and #3 is invertible but not associative because $(bb)a = aa = a$ but $b(ba) = be = b$.)



                Diagram



                Groups can't have repeat entries. Therefore, if a table has repeat entries, it's not a group. If it's not a group, then it's not in the green region of this diagram. Visually, you can see that such a table can't be both associative and have inverses at the same time. And you can show that there exist tables with duplicate rows that belong to any other non-green region of this diagram.



                enter image description here







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Aug 27 at 20:35

























                answered Aug 26 at 1:55









                user326210

                8,722625




                8,722625




















                    up vote
                    3
                    down vote













                    If you have a monoid, an entry can appear twice in a row or a column. However, the axioms "Identity" and "Associativity" are satisfied. Suppose now that $xa = xb$ with $a not= b$. Then $x$ cannot have an inverse, since otherwise $xa = xb$ implies $x^-1xa = x^-1xb$, that is, $a = b$.






                    share|cite|improve this answer


















                    • 3




                      In your last line you are assuming associativity.
                      – Josh B.
                      Aug 25 at 23:52














                    up vote
                    3
                    down vote













                    If you have a monoid, an entry can appear twice in a row or a column. However, the axioms "Identity" and "Associativity" are satisfied. Suppose now that $xa = xb$ with $a not= b$. Then $x$ cannot have an inverse, since otherwise $xa = xb$ implies $x^-1xa = x^-1xb$, that is, $a = b$.






                    share|cite|improve this answer


















                    • 3




                      In your last line you are assuming associativity.
                      – Josh B.
                      Aug 25 at 23:52












                    up vote
                    3
                    down vote










                    up vote
                    3
                    down vote









                    If you have a monoid, an entry can appear twice in a row or a column. However, the axioms "Identity" and "Associativity" are satisfied. Suppose now that $xa = xb$ with $a not= b$. Then $x$ cannot have an inverse, since otherwise $xa = xb$ implies $x^-1xa = x^-1xb$, that is, $a = b$.






                    share|cite|improve this answer














                    If you have a monoid, an entry can appear twice in a row or a column. However, the axioms "Identity" and "Associativity" are satisfied. Suppose now that $xa = xb$ with $a not= b$. Then $x$ cannot have an inverse, since otherwise $xa = xb$ implies $x^-1xa = x^-1xb$, that is, $a = b$.







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Aug 26 at 0:16









                    Shaun

                    7,43692972




                    7,43692972










                    answered Aug 25 at 23:17









                    J.-E. Pin

                    17.4k21753




                    17.4k21753







                    • 3




                      In your last line you are assuming associativity.
                      – Josh B.
                      Aug 25 at 23:52












                    • 3




                      In your last line you are assuming associativity.
                      – Josh B.
                      Aug 25 at 23:52







                    3




                    3




                    In your last line you are assuming associativity.
                    – Josh B.
                    Aug 25 at 23:52




                    In your last line you are assuming associativity.
                    – Josh B.
                    Aug 25 at 23:52










                    up vote
                    1
                    down vote













                    Update: The proof I gave that you can't have inverses at all assumed associativity. Out of the three properties in question (identity, inverses, associativity), you can have any combination whatsoever as long as it does not have both inverses and associativity.



                    This change can be made without affecting the identity, though it doesn't have to. As an example, consider the additive group $mathbbZ_2$ with $1+1=1$ instead of $1+1=0$. By inspection of the 3 relevant cases, there is still an identity in this set and operation even though rows and columns have duplicated information.



                    That isn't mandatory. The offending definition could just as well have been $0+1=0$, with nothing else changed. One could easily verify that the resulting set and operation do not have an identity.



                    If there is not an identity, inverses don't exist. At least, the definitions of inverse that I'm familiar with explicitly define such a thing in terms of an identity.



                    If there IS an identity, inverses still don't exist. Consider (with multiplicative notation and an identity of $e$) the equation $ax=bx$ corresponding to a row with duplicates if $aneq b$. Note that if inverses existed we would have $ae=be$, but since $e$ is the identity we have $a=b$, violating $aneq b$.



                    Associativity can go either way. The object $mathbbZ_2$ with $1+1=1$ is associative and even has an identity. As far as modifications to $mathbbZ_2$ are concerned, there are non-associative options as well (like all additions being $0$ except $0+1=1$), but none of them have a proper identity.



                    With slightly more elements, we can lose associativity and retain the identity. Consider the set $0,1,2$ with $0$ as an identity, $1+1=0$, and $2+1=0$. Note that $$beginaligned2+(1+1)&=2+0\&=2neq1\&=0+1\&=(2+1)+1.endaligned$$ The remaining operations can be defined however you want, and this Cayley table still corresponds to a set with an identity and without associativity.






                    share|cite|improve this answer


















                    • 1




                      Associativity definitely could fail. Take your time.
                      – Frenzy Li
                      Aug 25 at 23:16







                    • 1




                      Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                      – Shaun
                      Aug 26 at 0:13















                    up vote
                    1
                    down vote













                    Update: The proof I gave that you can't have inverses at all assumed associativity. Out of the three properties in question (identity, inverses, associativity), you can have any combination whatsoever as long as it does not have both inverses and associativity.



                    This change can be made without affecting the identity, though it doesn't have to. As an example, consider the additive group $mathbbZ_2$ with $1+1=1$ instead of $1+1=0$. By inspection of the 3 relevant cases, there is still an identity in this set and operation even though rows and columns have duplicated information.



                    That isn't mandatory. The offending definition could just as well have been $0+1=0$, with nothing else changed. One could easily verify that the resulting set and operation do not have an identity.



                    If there is not an identity, inverses don't exist. At least, the definitions of inverse that I'm familiar with explicitly define such a thing in terms of an identity.



                    If there IS an identity, inverses still don't exist. Consider (with multiplicative notation and an identity of $e$) the equation $ax=bx$ corresponding to a row with duplicates if $aneq b$. Note that if inverses existed we would have $ae=be$, but since $e$ is the identity we have $a=b$, violating $aneq b$.



                    Associativity can go either way. The object $mathbbZ_2$ with $1+1=1$ is associative and even has an identity. As far as modifications to $mathbbZ_2$ are concerned, there are non-associative options as well (like all additions being $0$ except $0+1=1$), but none of them have a proper identity.



                    With slightly more elements, we can lose associativity and retain the identity. Consider the set $0,1,2$ with $0$ as an identity, $1+1=0$, and $2+1=0$. Note that $$beginaligned2+(1+1)&=2+0\&=2neq1\&=0+1\&=(2+1)+1.endaligned$$ The remaining operations can be defined however you want, and this Cayley table still corresponds to a set with an identity and without associativity.






                    share|cite|improve this answer


















                    • 1




                      Associativity definitely could fail. Take your time.
                      – Frenzy Li
                      Aug 25 at 23:16







                    • 1




                      Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                      – Shaun
                      Aug 26 at 0:13













                    up vote
                    1
                    down vote










                    up vote
                    1
                    down vote









                    Update: The proof I gave that you can't have inverses at all assumed associativity. Out of the three properties in question (identity, inverses, associativity), you can have any combination whatsoever as long as it does not have both inverses and associativity.



                    This change can be made without affecting the identity, though it doesn't have to. As an example, consider the additive group $mathbbZ_2$ with $1+1=1$ instead of $1+1=0$. By inspection of the 3 relevant cases, there is still an identity in this set and operation even though rows and columns have duplicated information.



                    That isn't mandatory. The offending definition could just as well have been $0+1=0$, with nothing else changed. One could easily verify that the resulting set and operation do not have an identity.



                    If there is not an identity, inverses don't exist. At least, the definitions of inverse that I'm familiar with explicitly define such a thing in terms of an identity.



                    If there IS an identity, inverses still don't exist. Consider (with multiplicative notation and an identity of $e$) the equation $ax=bx$ corresponding to a row with duplicates if $aneq b$. Note that if inverses existed we would have $ae=be$, but since $e$ is the identity we have $a=b$, violating $aneq b$.



                    Associativity can go either way. The object $mathbbZ_2$ with $1+1=1$ is associative and even has an identity. As far as modifications to $mathbbZ_2$ are concerned, there are non-associative options as well (like all additions being $0$ except $0+1=1$), but none of them have a proper identity.



                    With slightly more elements, we can lose associativity and retain the identity. Consider the set $0,1,2$ with $0$ as an identity, $1+1=0$, and $2+1=0$. Note that $$beginaligned2+(1+1)&=2+0\&=2neq1\&=0+1\&=(2+1)+1.endaligned$$ The remaining operations can be defined however you want, and this Cayley table still corresponds to a set with an identity and without associativity.






                    share|cite|improve this answer














                    Update: The proof I gave that you can't have inverses at all assumed associativity. Out of the three properties in question (identity, inverses, associativity), you can have any combination whatsoever as long as it does not have both inverses and associativity.



                    This change can be made without affecting the identity, though it doesn't have to. As an example, consider the additive group $mathbbZ_2$ with $1+1=1$ instead of $1+1=0$. By inspection of the 3 relevant cases, there is still an identity in this set and operation even though rows and columns have duplicated information.



                    That isn't mandatory. The offending definition could just as well have been $0+1=0$, with nothing else changed. One could easily verify that the resulting set and operation do not have an identity.



                    If there is not an identity, inverses don't exist. At least, the definitions of inverse that I'm familiar with explicitly define such a thing in terms of an identity.



                    If there IS an identity, inverses still don't exist. Consider (with multiplicative notation and an identity of $e$) the equation $ax=bx$ corresponding to a row with duplicates if $aneq b$. Note that if inverses existed we would have $ae=be$, but since $e$ is the identity we have $a=b$, violating $aneq b$.



                    Associativity can go either way. The object $mathbbZ_2$ with $1+1=1$ is associative and even has an identity. As far as modifications to $mathbbZ_2$ are concerned, there are non-associative options as well (like all additions being $0$ except $0+1=1$), but none of them have a proper identity.



                    With slightly more elements, we can lose associativity and retain the identity. Consider the set $0,1,2$ with $0$ as an identity, $1+1=0$, and $2+1=0$. Note that $$beginaligned2+(1+1)&=2+0\&=2neq1\&=0+1\&=(2+1)+1.endaligned$$ The remaining operations can be defined however you want, and this Cayley table still corresponds to a set with an identity and without associativity.







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Aug 26 at 2:12

























                    answered Aug 25 at 23:15









                    Hans Musgrave

                    1,504111




                    1,504111







                    • 1




                      Associativity definitely could fail. Take your time.
                      – Frenzy Li
                      Aug 25 at 23:16







                    • 1




                      Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                      – Shaun
                      Aug 26 at 0:13













                    • 1




                      Associativity definitely could fail. Take your time.
                      – Frenzy Li
                      Aug 25 at 23:16







                    • 1




                      Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                      – Shaun
                      Aug 26 at 0:13








                    1




                    1




                    Associativity definitely could fail. Take your time.
                    – Frenzy Li
                    Aug 25 at 23:16





                    Associativity definitely could fail. Take your time.
                    – Frenzy Li
                    Aug 25 at 23:16





                    1




                    1




                    Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                    – Shaun
                    Aug 26 at 0:13





                    Inverse semigroups might interest you. There, one can have inverses without an identity. We say $b$ is an inverse of $a$ if both $a=aba$ and $b=bab$.
                    – Shaun
                    Aug 26 at 0:13


















                     

                    draft saved


                    draft discarded















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2894561%2fin-a-cayley-table-which-group-axioms-fail-when-an-entry-appears-twice-in-a-row%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    Comments

                    Popular posts from this blog

                    Long meetings (6-7 hours a day): Being “babysat” by supervisor

                    What does second last employer means? [closed]

                    One-line joke