What is wrong with the followig proof that Z is isomorphic to ZxZ

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











up vote
3
down vote

favorite












Since



$ G =( prod_1^infty mathbbZ )times mathbbZ times mathbbZ cong (prod_1^infty mathbbZ) times mathbbZ $,



by taking quotients we get



$mathbbZ times Z cong G/ prod_1^infty mathbbZ cong mathbbZ$.



Therefore



$mathbbZ cong mathbbZ times Z$.



But $mathbbZ$ is indecomposable! What's wrong with above proof?










share|cite|improve this question





















  • You are not working within a field structure. This you can't use cancellation.
    – Alephnull
    1 hour ago










  • What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
    – bof
    1 hour ago










  • Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
    – Eric Wofsey
    1 hour ago










  • The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
    – Arturo Magidin
    46 mins ago











  • This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
    – Jair Taylor
    7 mins ago














up vote
3
down vote

favorite












Since



$ G =( prod_1^infty mathbbZ )times mathbbZ times mathbbZ cong (prod_1^infty mathbbZ) times mathbbZ $,



by taking quotients we get



$mathbbZ times Z cong G/ prod_1^infty mathbbZ cong mathbbZ$.



Therefore



$mathbbZ cong mathbbZ times Z$.



But $mathbbZ$ is indecomposable! What's wrong with above proof?










share|cite|improve this question





















  • You are not working within a field structure. This you can't use cancellation.
    – Alephnull
    1 hour ago










  • What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
    – bof
    1 hour ago










  • Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
    – Eric Wofsey
    1 hour ago










  • The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
    – Arturo Magidin
    46 mins ago











  • This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
    – Jair Taylor
    7 mins ago












up vote
3
down vote

favorite









up vote
3
down vote

favorite











Since



$ G =( prod_1^infty mathbbZ )times mathbbZ times mathbbZ cong (prod_1^infty mathbbZ) times mathbbZ $,



by taking quotients we get



$mathbbZ times Z cong G/ prod_1^infty mathbbZ cong mathbbZ$.



Therefore



$mathbbZ cong mathbbZ times Z$.



But $mathbbZ$ is indecomposable! What's wrong with above proof?










share|cite|improve this question













Since



$ G =( prod_1^infty mathbbZ )times mathbbZ times mathbbZ cong (prod_1^infty mathbbZ) times mathbbZ $,



by taking quotients we get



$mathbbZ times Z cong G/ prod_1^infty mathbbZ cong mathbbZ$.



Therefore



$mathbbZ cong mathbbZ times Z$.



But $mathbbZ$ is indecomposable! What's wrong with above proof?







group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 1 hour ago









student

446




446











  • You are not working within a field structure. This you can't use cancellation.
    – Alephnull
    1 hour ago










  • What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
    – bof
    1 hour ago










  • Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
    – Eric Wofsey
    1 hour ago










  • The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
    – Arturo Magidin
    46 mins ago











  • This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
    – Jair Taylor
    7 mins ago
















  • You are not working within a field structure. This you can't use cancellation.
    – Alephnull
    1 hour ago










  • What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
    – bof
    1 hour ago










  • Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
    – Eric Wofsey
    1 hour ago










  • The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
    – Arturo Magidin
    46 mins ago











  • This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
    – Jair Taylor
    7 mins ago















You are not working within a field structure. This you can't use cancellation.
– Alephnull
1 hour ago




You are not working within a field structure. This you can't use cancellation.
– Alephnull
1 hour ago












What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
– bof
1 hour ago




What's so special about $mathbb Z$? Haven't you just proved $Gcong Gtimes G$ for every group $G$? If $G$ is a group of order $n$, does that mean that $n^2=n$ for every $n$?
– bof
1 hour ago












Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
– Eric Wofsey
1 hour ago




Possible duplicate of Cancellation Law for Direct Sums - What is wrong with this argument?
– Eric Wofsey
1 hour ago












The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
– Arturo Magidin
46 mins ago





The isomorphism from $(prod mathbbZ)timesmathbbZtimesmathbbZ$ to $(prodmathbbZ)timesmathbbZ$ does not map $(prodmathbbZ)times0times0$ to $(prodmathbbZ)times0$; so you do not know that you are taking quotients modulo "the same thing"; that is, you have an isomorphism $phicolon Gto K$; and subgroup $Ntriangleleft G$ and $Mtriangleleft K$ with $Ncong M$; but unless $phi(N)=M$, you cannot use $phi$ to conclude $G/Ncong K/M$; yet you are trying to do so here.
– Arturo Magidin
46 mins ago













This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
– Jair Taylor
7 mins ago




This is basically the same as arguing $infty +1 = infty$; subtracting $infty$ from both sides, $1=0$.
– Jair Taylor
7 mins ago










2 Answers
2






active

oldest

votes

















up vote
6
down vote













Quotienting by isomorphic copy need not preserve isomorphisms. For a simpler related example: $C_n=mathbbZ/nmathbbZ$ and $mmathbbZcong nmathbbZ$ for all $m,n>0$, but obviously the cyclic groups $C_m$ and $C_n$ are not isomorphic if $mneq n$.






share|cite|improve this answer




















  • Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
    – student
    1 hour ago






  • 1




    @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
    – Eric Wofsey
    1 hour ago

















up vote
1
down vote













Your argument is based on the assumption that $G/N_1cong G/N_2$ follows from $N_1cong N_2$. Here is a simple example to show that this assumption is incorrect.



The non-isomorphic groups $mathbb Z_4$ and $mathbb Z_2timesmathbb Z_2$ are both homomorphic images of the group $G=mathbb Z_2timesmathbb Z_4$. Thus there are subgroups $N_1,N_2$ of $G$ such that $G/N_1congmathbb Z_4$ and $G/N_2congmathbb Z_2timesmathbb Z_2$. The subgroups $N_1$ and $N_2$ are isomorphic, as both have order $2$; so $N_1cong N_2$ but $G/N_1notcong G/N_2$.






share|cite|improve this answer




















    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%2f2982524%2fwhat-is-wrong-with-the-followig-proof-that-z-is-isomorphic-to-zxz%23new-answer', 'question_page');

    );

    Post as a guest






























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    6
    down vote













    Quotienting by isomorphic copy need not preserve isomorphisms. For a simpler related example: $C_n=mathbbZ/nmathbbZ$ and $mmathbbZcong nmathbbZ$ for all $m,n>0$, but obviously the cyclic groups $C_m$ and $C_n$ are not isomorphic if $mneq n$.






    share|cite|improve this answer




















    • Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
      – student
      1 hour ago






    • 1




      @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
      – Eric Wofsey
      1 hour ago














    up vote
    6
    down vote













    Quotienting by isomorphic copy need not preserve isomorphisms. For a simpler related example: $C_n=mathbbZ/nmathbbZ$ and $mmathbbZcong nmathbbZ$ for all $m,n>0$, but obviously the cyclic groups $C_m$ and $C_n$ are not isomorphic if $mneq n$.






    share|cite|improve this answer




















    • Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
      – student
      1 hour ago






    • 1




      @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
      – Eric Wofsey
      1 hour ago












    up vote
    6
    down vote










    up vote
    6
    down vote









    Quotienting by isomorphic copy need not preserve isomorphisms. For a simpler related example: $C_n=mathbbZ/nmathbbZ$ and $mmathbbZcong nmathbbZ$ for all $m,n>0$, but obviously the cyclic groups $C_m$ and $C_n$ are not isomorphic if $mneq n$.






    share|cite|improve this answer












    Quotienting by isomorphic copy need not preserve isomorphisms. For a simpler related example: $C_n=mathbbZ/nmathbbZ$ and $mmathbbZcong nmathbbZ$ for all $m,n>0$, but obviously the cyclic groups $C_m$ and $C_n$ are not isomorphic if $mneq n$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 1 hour ago









    user10354138

    4,533422




    4,533422











    • Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
      – student
      1 hour ago






    • 1




      @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
      – Eric Wofsey
      1 hour ago
















    • Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
      – student
      1 hour ago






    • 1




      @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
      – Eric Wofsey
      1 hour ago















    Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
    – student
    1 hour ago




    Quotient here is not by isomorphic copy. I am using the fact that factors are normal subgroups, and then using the first isomorphism theorem. The example you gave has no such product structure.
    – student
    1 hour ago




    1




    1




    @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
    – Eric Wofsey
    1 hour ago




    @student: If you are not using an isomorphic copy, then it is wrong to write $G/ prod_1^infty mathbbZ cong mathbbZ$, because you only have $G cong (prod_1^infty mathbbZ) times mathbbZ$, not $G = (prod_1^infty mathbbZ) times mathbbZ$
    – Eric Wofsey
    1 hour ago










    up vote
    1
    down vote













    Your argument is based on the assumption that $G/N_1cong G/N_2$ follows from $N_1cong N_2$. Here is a simple example to show that this assumption is incorrect.



    The non-isomorphic groups $mathbb Z_4$ and $mathbb Z_2timesmathbb Z_2$ are both homomorphic images of the group $G=mathbb Z_2timesmathbb Z_4$. Thus there are subgroups $N_1,N_2$ of $G$ such that $G/N_1congmathbb Z_4$ and $G/N_2congmathbb Z_2timesmathbb Z_2$. The subgroups $N_1$ and $N_2$ are isomorphic, as both have order $2$; so $N_1cong N_2$ but $G/N_1notcong G/N_2$.






    share|cite|improve this answer
























      up vote
      1
      down vote













      Your argument is based on the assumption that $G/N_1cong G/N_2$ follows from $N_1cong N_2$. Here is a simple example to show that this assumption is incorrect.



      The non-isomorphic groups $mathbb Z_4$ and $mathbb Z_2timesmathbb Z_2$ are both homomorphic images of the group $G=mathbb Z_2timesmathbb Z_4$. Thus there are subgroups $N_1,N_2$ of $G$ such that $G/N_1congmathbb Z_4$ and $G/N_2congmathbb Z_2timesmathbb Z_2$. The subgroups $N_1$ and $N_2$ are isomorphic, as both have order $2$; so $N_1cong N_2$ but $G/N_1notcong G/N_2$.






      share|cite|improve this answer






















        up vote
        1
        down vote










        up vote
        1
        down vote









        Your argument is based on the assumption that $G/N_1cong G/N_2$ follows from $N_1cong N_2$. Here is a simple example to show that this assumption is incorrect.



        The non-isomorphic groups $mathbb Z_4$ and $mathbb Z_2timesmathbb Z_2$ are both homomorphic images of the group $G=mathbb Z_2timesmathbb Z_4$. Thus there are subgroups $N_1,N_2$ of $G$ such that $G/N_1congmathbb Z_4$ and $G/N_2congmathbb Z_2timesmathbb Z_2$. The subgroups $N_1$ and $N_2$ are isomorphic, as both have order $2$; so $N_1cong N_2$ but $G/N_1notcong G/N_2$.






        share|cite|improve this answer












        Your argument is based on the assumption that $G/N_1cong G/N_2$ follows from $N_1cong N_2$. Here is a simple example to show that this assumption is incorrect.



        The non-isomorphic groups $mathbb Z_4$ and $mathbb Z_2timesmathbb Z_2$ are both homomorphic images of the group $G=mathbb Z_2timesmathbb Z_4$. Thus there are subgroups $N_1,N_2$ of $G$ such that $G/N_1congmathbb Z_4$ and $G/N_2congmathbb Z_2timesmathbb Z_2$. The subgroups $N_1$ and $N_2$ are isomorphic, as both have order $2$; so $N_1cong N_2$ but $G/N_1notcong G/N_2$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 37 mins ago









        bof

        48.1k449114




        48.1k449114



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2982524%2fwhat-is-wrong-with-the-followig-proof-that-z-is-isomorphic-to-zxz%23new-answer', 'question_page');

            );

            Post as a guest













































































            Popular posts from this blog

            How to check contact read email or not when send email to Individual?

            Christian Cage

            How to properly install USB display driver for Fresco Logic FL2000DX on Ubuntu?