Why $mathbb{Z}_m times mathbb{Z}_n, , text{gcd}(m,n) >1$ isn't cyclic?












2














I'm aware of the theorem which states that $mathbb{Z}_m times mathbb{Z}_n$ is isomorphic to $mathbb{Z}_{mn}$ (and thus cyclic) if and only if $text{gcd}(m,n)=1$.



However, in $G=mathbb{Z}_2 times mathbb{Z}_4$, where $text{gcd}(2,4)=2$, it seems to me that if we take $(0,0)$ and add to it $(1,1)$ $4$ times (least common multiple of $2,4$) then we return to $(0,0)$. That's what misled me into thinking that $G$ is cyclic.



Could you explain to me why this is a faulty syllogism and provide me with a more practical way to visualize cyclic direct products?










share|cite|improve this question









New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 3




    Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
    – Theo Bendit
    yesterday






  • 1




    If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
    – John11
    yesterday










  • One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
    – freehumorist
    20 hours ago
















2














I'm aware of the theorem which states that $mathbb{Z}_m times mathbb{Z}_n$ is isomorphic to $mathbb{Z}_{mn}$ (and thus cyclic) if and only if $text{gcd}(m,n)=1$.



However, in $G=mathbb{Z}_2 times mathbb{Z}_4$, where $text{gcd}(2,4)=2$, it seems to me that if we take $(0,0)$ and add to it $(1,1)$ $4$ times (least common multiple of $2,4$) then we return to $(0,0)$. That's what misled me into thinking that $G$ is cyclic.



Could you explain to me why this is a faulty syllogism and provide me with a more practical way to visualize cyclic direct products?










share|cite|improve this question









New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
















  • 3




    Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
    – Theo Bendit
    yesterday






  • 1




    If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
    – John11
    yesterday










  • One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
    – freehumorist
    20 hours ago














2












2








2


2





I'm aware of the theorem which states that $mathbb{Z}_m times mathbb{Z}_n$ is isomorphic to $mathbb{Z}_{mn}$ (and thus cyclic) if and only if $text{gcd}(m,n)=1$.



However, in $G=mathbb{Z}_2 times mathbb{Z}_4$, where $text{gcd}(2,4)=2$, it seems to me that if we take $(0,0)$ and add to it $(1,1)$ $4$ times (least common multiple of $2,4$) then we return to $(0,0)$. That's what misled me into thinking that $G$ is cyclic.



Could you explain to me why this is a faulty syllogism and provide me with a more practical way to visualize cyclic direct products?










share|cite|improve this question









New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











I'm aware of the theorem which states that $mathbb{Z}_m times mathbb{Z}_n$ is isomorphic to $mathbb{Z}_{mn}$ (and thus cyclic) if and only if $text{gcd}(m,n)=1$.



However, in $G=mathbb{Z}_2 times mathbb{Z}_4$, where $text{gcd}(2,4)=2$, it seems to me that if we take $(0,0)$ and add to it $(1,1)$ $4$ times (least common multiple of $2,4$) then we return to $(0,0)$. That's what misled me into thinking that $G$ is cyclic.



Could you explain to me why this is a faulty syllogism and provide me with a more practical way to visualize cyclic direct products?







abstract-algebra group-theory cyclic-groups






share|cite|improve this question









New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 21 hours ago





















New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked yesterday









LoneBone

618




618




New contributor




LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






LoneBone is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








  • 3




    Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
    – Theo Bendit
    yesterday






  • 1




    If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
    – John11
    yesterday










  • One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
    – freehumorist
    20 hours ago














  • 3




    Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
    – Theo Bendit
    yesterday






  • 1




    If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
    – John11
    yesterday










  • One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
    – freehumorist
    20 hours ago








3




3




Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
– Theo Bendit
yesterday




Well, as a quick response, your logic is faulty because you've found an order $4$ element in an order $8$ group. If you found an order $8$ element, that'd be a different story.
– Theo Bendit
yesterday




1




1




If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
– John11
yesterday




If it was cyclic you should be able to catch all elements of the group. How do you get $(1,2)$ from adding $(1,1)$ repeatedly?
– John11
yesterday












One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
– freehumorist
20 hours ago




One thing you must know to begin all reasoning: finding examples can lead and give intuition, but example of positive implication for a case has no value without any other argument related to it. It won't help you see a thing, it won't help you prove a thing. In mathematics, the examples are searched to show existence for a contradiction and/or counter-fact.
– freehumorist
20 hours ago










3 Answers
3






active

oldest

votes


















3














Suppose that $m$ and $n$ are not coprime. Let $d=text{gcd}(m,n)$ and
$$
a=frac{mn}{d}
$$

Then $a$ is a multiple of both $m$ and $n$. Suppose that $(r,s) in mathbb{Z}_m times mathbb{Z}_n$. We have
$$a(r,s)=(ar,as)=(0,0),
$$

since $ar$ is a multiple of $m$ and $as$ is a multiple of $n$. Thus, every element of $mathbb{Z}_m times mathbb{Z}_n$ has order at most $a$ which is less than $mn$ and so $mathbb{Z}_m times mathbb{Z}_n$ is not cyclic.






share|cite|improve this answer





























    1














    In $G$, sure, adding $(1,1)$ to itself $4$ times equals $(0,0)$. But the group $G$ also contains the element $(0,3)$, and there is no amount of adding $(1,1)$ to itself that will result in $(0,3)$.



    So, the subgroup $H$ of $G$, generated by $(1,1)$, is cyclic. However, $H$ only has four elements, i.e. $H={(0,0),(1,1),(0,2),(1,3)}$ while $G$ has $8$ elements.



    If $G$ were cyclic, there would exist some element of $G$ which would generate all of $G$. Such an element does not exist.






    share|cite|improve this answer





























      0














      By the definition of the direct product of groups $Z_m times Z_n$, the order of any element $(a,b)$ is $lcm(o(a),0(b))$ since $Z_n$ and $Z_m$ are cyclic groups so they have elements of order $n$ and $m$ respectively, so maximum order of any element of $Z_m times Z_n$ is lcm(m,n).If $m$ and $n$ are not coprime then $lcm(m,n)< mn$. So $Z_m times Z_n$ does not have any element of order $mn$. Since $Z_m times Z_n$ is a group of order $mn$ which does not have any element of order $mn$ so it cannot be cyclic. In your example also you can see $G$ does not have any element of order 8 so it cannot be cyclic.






      share|cite|improve this answer





















      • Nitpick: There is more than one way to define the direct product of two groups.
        – Shaun
        23 hours ago










      • I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
        – MANI SHANKAR PANDEY
        19 hours ago











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


      }
      });






      LoneBone is a new contributor. Be nice, and check out our Code of Conduct.










      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3060448%2fwhy-mathbbz-m-times-mathbbz-n-textgcdm-n-1-isnt-cyclic%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









      3














      Suppose that $m$ and $n$ are not coprime. Let $d=text{gcd}(m,n)$ and
      $$
      a=frac{mn}{d}
      $$

      Then $a$ is a multiple of both $m$ and $n$. Suppose that $(r,s) in mathbb{Z}_m times mathbb{Z}_n$. We have
      $$a(r,s)=(ar,as)=(0,0),
      $$

      since $ar$ is a multiple of $m$ and $as$ is a multiple of $n$. Thus, every element of $mathbb{Z}_m times mathbb{Z}_n$ has order at most $a$ which is less than $mn$ and so $mathbb{Z}_m times mathbb{Z}_n$ is not cyclic.






      share|cite|improve this answer


























        3














        Suppose that $m$ and $n$ are not coprime. Let $d=text{gcd}(m,n)$ and
        $$
        a=frac{mn}{d}
        $$

        Then $a$ is a multiple of both $m$ and $n$. Suppose that $(r,s) in mathbb{Z}_m times mathbb{Z}_n$. We have
        $$a(r,s)=(ar,as)=(0,0),
        $$

        since $ar$ is a multiple of $m$ and $as$ is a multiple of $n$. Thus, every element of $mathbb{Z}_m times mathbb{Z}_n$ has order at most $a$ which is less than $mn$ and so $mathbb{Z}_m times mathbb{Z}_n$ is not cyclic.






        share|cite|improve this answer
























          3












          3








          3






          Suppose that $m$ and $n$ are not coprime. Let $d=text{gcd}(m,n)$ and
          $$
          a=frac{mn}{d}
          $$

          Then $a$ is a multiple of both $m$ and $n$. Suppose that $(r,s) in mathbb{Z}_m times mathbb{Z}_n$. We have
          $$a(r,s)=(ar,as)=(0,0),
          $$

          since $ar$ is a multiple of $m$ and $as$ is a multiple of $n$. Thus, every element of $mathbb{Z}_m times mathbb{Z}_n$ has order at most $a$ which is less than $mn$ and so $mathbb{Z}_m times mathbb{Z}_n$ is not cyclic.






          share|cite|improve this answer












          Suppose that $m$ and $n$ are not coprime. Let $d=text{gcd}(m,n)$ and
          $$
          a=frac{mn}{d}
          $$

          Then $a$ is a multiple of both $m$ and $n$. Suppose that $(r,s) in mathbb{Z}_m times mathbb{Z}_n$. We have
          $$a(r,s)=(ar,as)=(0,0),
          $$

          since $ar$ is a multiple of $m$ and $as$ is a multiple of $n$. Thus, every element of $mathbb{Z}_m times mathbb{Z}_n$ has order at most $a$ which is less than $mn$ and so $mathbb{Z}_m times mathbb{Z}_n$ is not cyclic.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 23 hours ago









          Jevaut

          898111




          898111























              1














              In $G$, sure, adding $(1,1)$ to itself $4$ times equals $(0,0)$. But the group $G$ also contains the element $(0,3)$, and there is no amount of adding $(1,1)$ to itself that will result in $(0,3)$.



              So, the subgroup $H$ of $G$, generated by $(1,1)$, is cyclic. However, $H$ only has four elements, i.e. $H={(0,0),(1,1),(0,2),(1,3)}$ while $G$ has $8$ elements.



              If $G$ were cyclic, there would exist some element of $G$ which would generate all of $G$. Such an element does not exist.






              share|cite|improve this answer


























                1














                In $G$, sure, adding $(1,1)$ to itself $4$ times equals $(0,0)$. But the group $G$ also contains the element $(0,3)$, and there is no amount of adding $(1,1)$ to itself that will result in $(0,3)$.



                So, the subgroup $H$ of $G$, generated by $(1,1)$, is cyclic. However, $H$ only has four elements, i.e. $H={(0,0),(1,1),(0,2),(1,3)}$ while $G$ has $8$ elements.



                If $G$ were cyclic, there would exist some element of $G$ which would generate all of $G$. Such an element does not exist.






                share|cite|improve this answer
























                  1












                  1








                  1






                  In $G$, sure, adding $(1,1)$ to itself $4$ times equals $(0,0)$. But the group $G$ also contains the element $(0,3)$, and there is no amount of adding $(1,1)$ to itself that will result in $(0,3)$.



                  So, the subgroup $H$ of $G$, generated by $(1,1)$, is cyclic. However, $H$ only has four elements, i.e. $H={(0,0),(1,1),(0,2),(1,3)}$ while $G$ has $8$ elements.



                  If $G$ were cyclic, there would exist some element of $G$ which would generate all of $G$. Such an element does not exist.






                  share|cite|improve this answer












                  In $G$, sure, adding $(1,1)$ to itself $4$ times equals $(0,0)$. But the group $G$ also contains the element $(0,3)$, and there is no amount of adding $(1,1)$ to itself that will result in $(0,3)$.



                  So, the subgroup $H$ of $G$, generated by $(1,1)$, is cyclic. However, $H$ only has four elements, i.e. $H={(0,0),(1,1),(0,2),(1,3)}$ while $G$ has $8$ elements.



                  If $G$ were cyclic, there would exist some element of $G$ which would generate all of $G$. Such an element does not exist.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered yesterday









                  5xum

                  89.6k393161




                  89.6k393161























                      0














                      By the definition of the direct product of groups $Z_m times Z_n$, the order of any element $(a,b)$ is $lcm(o(a),0(b))$ since $Z_n$ and $Z_m$ are cyclic groups so they have elements of order $n$ and $m$ respectively, so maximum order of any element of $Z_m times Z_n$ is lcm(m,n).If $m$ and $n$ are not coprime then $lcm(m,n)< mn$. So $Z_m times Z_n$ does not have any element of order $mn$. Since $Z_m times Z_n$ is a group of order $mn$ which does not have any element of order $mn$ so it cannot be cyclic. In your example also you can see $G$ does not have any element of order 8 so it cannot be cyclic.






                      share|cite|improve this answer





















                      • Nitpick: There is more than one way to define the direct product of two groups.
                        – Shaun
                        23 hours ago










                      • I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                        – MANI SHANKAR PANDEY
                        19 hours ago
















                      0














                      By the definition of the direct product of groups $Z_m times Z_n$, the order of any element $(a,b)$ is $lcm(o(a),0(b))$ since $Z_n$ and $Z_m$ are cyclic groups so they have elements of order $n$ and $m$ respectively, so maximum order of any element of $Z_m times Z_n$ is lcm(m,n).If $m$ and $n$ are not coprime then $lcm(m,n)< mn$. So $Z_m times Z_n$ does not have any element of order $mn$. Since $Z_m times Z_n$ is a group of order $mn$ which does not have any element of order $mn$ so it cannot be cyclic. In your example also you can see $G$ does not have any element of order 8 so it cannot be cyclic.






                      share|cite|improve this answer





















                      • Nitpick: There is more than one way to define the direct product of two groups.
                        – Shaun
                        23 hours ago










                      • I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                        – MANI SHANKAR PANDEY
                        19 hours ago














                      0












                      0








                      0






                      By the definition of the direct product of groups $Z_m times Z_n$, the order of any element $(a,b)$ is $lcm(o(a),0(b))$ since $Z_n$ and $Z_m$ are cyclic groups so they have elements of order $n$ and $m$ respectively, so maximum order of any element of $Z_m times Z_n$ is lcm(m,n).If $m$ and $n$ are not coprime then $lcm(m,n)< mn$. So $Z_m times Z_n$ does not have any element of order $mn$. Since $Z_m times Z_n$ is a group of order $mn$ which does not have any element of order $mn$ so it cannot be cyclic. In your example also you can see $G$ does not have any element of order 8 so it cannot be cyclic.






                      share|cite|improve this answer












                      By the definition of the direct product of groups $Z_m times Z_n$, the order of any element $(a,b)$ is $lcm(o(a),0(b))$ since $Z_n$ and $Z_m$ are cyclic groups so they have elements of order $n$ and $m$ respectively, so maximum order of any element of $Z_m times Z_n$ is lcm(m,n).If $m$ and $n$ are not coprime then $lcm(m,n)< mn$. So $Z_m times Z_n$ does not have any element of order $mn$. Since $Z_m times Z_n$ is a group of order $mn$ which does not have any element of order $mn$ so it cannot be cyclic. In your example also you can see $G$ does not have any element of order 8 so it cannot be cyclic.







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered 23 hours ago









                      MANI SHANKAR PANDEY

                      387




                      387












                      • Nitpick: There is more than one way to define the direct product of two groups.
                        – Shaun
                        23 hours ago










                      • I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                        – MANI SHANKAR PANDEY
                        19 hours ago


















                      • Nitpick: There is more than one way to define the direct product of two groups.
                        – Shaun
                        23 hours ago










                      • I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                        – MANI SHANKAR PANDEY
                        19 hours ago
















                      Nitpick: There is more than one way to define the direct product of two groups.
                      – Shaun
                      23 hours ago




                      Nitpick: There is more than one way to define the direct product of two groups.
                      – Shaun
                      23 hours ago












                      I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                      – MANI SHANKAR PANDEY
                      19 hours ago




                      I think that is called semidirect product. I have followed abstract algebra byDummit and Foote
                      – MANI SHANKAR PANDEY
                      19 hours ago










                      LoneBone is a new contributor. Be nice, and check out our Code of Conduct.










                      draft saved

                      draft discarded


















                      LoneBone is a new contributor. Be nice, and check out our Code of Conduct.













                      LoneBone is a new contributor. Be nice, and check out our Code of Conduct.












                      LoneBone is a new contributor. Be nice, and check out our Code of Conduct.
















                      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.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • 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.


                      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%2f3060448%2fwhy-mathbbz-m-times-mathbbz-n-textgcdm-n-1-isnt-cyclic%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

                      An IMO inspired problem

                      Management

                      Has there ever been an instance of an active nuclear power plant within or near a war zone?