Characterize Abelian Factor Group to Direct Product

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











up vote
4
down vote

favorite













What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?




I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
$$
mathbbZ_32,
quad
mathbbZ_16timesmathbbZ_2,
quad
mathbbZ_8timesmathbbZ_4,
quad
mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
quad
mathbbZ_4times mathbbZ_4timesmathbbZ_2
$$



However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?







share|cite|improve this question


























    up vote
    4
    down vote

    favorite













    What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?




    I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
    $$
    mathbbZ_32,
    quad
    mathbbZ_16timesmathbbZ_2,
    quad
    mathbbZ_8timesmathbbZ_4,
    quad
    mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
    quad
    mathbbZ_4times mathbbZ_4timesmathbbZ_2
    $$



    However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?







    share|cite|improve this question
























      up vote
      4
      down vote

      favorite









      up vote
      4
      down vote

      favorite












      What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?




      I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
      $$
      mathbbZ_32,
      quad
      mathbbZ_16timesmathbbZ_2,
      quad
      mathbbZ_8timesmathbbZ_4,
      quad
      mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
      quad
      mathbbZ_4times mathbbZ_4timesmathbbZ_2
      $$



      However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?







      share|cite|improve this question















      What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?




      I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
      $$
      mathbbZ_32,
      quad
      mathbbZ_16timesmathbbZ_2,
      quad
      mathbbZ_8timesmathbbZ_4,
      quad
      mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
      quad
      mathbbZ_4times mathbbZ_4timesmathbbZ_2
      $$



      However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 26 at 10:33









      Jendrik Stelzner

      7,58221037




      7,58221037










      asked Aug 26 at 7:58









      kelvin hong 方

      3137




      3137




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
          First, use the $1$ in the bottom-left to get rid of the last row and first column:
          $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
          The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
          $$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
          where a factor $Bbb Z/4Bbb Z$ splits out.



          Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$






          share|cite|improve this answer




















          • Wow, seems like a new method for me. I will research a little more on this topic, thanks!
            – kelvin hong 方
            Aug 26 at 12:25










          • @kelvin You're welcome.
            – Arnaud Mortier
            Aug 26 at 22:48










          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%2f2894808%2fcharacterize-abelian-factor-group-to-direct-product%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          3
          down vote



          accepted










          As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
          First, use the $1$ in the bottom-left to get rid of the last row and first column:
          $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
          The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
          $$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
          where a factor $Bbb Z/4Bbb Z$ splits out.



          Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$






          share|cite|improve this answer




















          • Wow, seems like a new method for me. I will research a little more on this topic, thanks!
            – kelvin hong 方
            Aug 26 at 12:25










          • @kelvin You're welcome.
            – Arnaud Mortier
            Aug 26 at 22:48














          up vote
          3
          down vote



          accepted










          As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
          First, use the $1$ in the bottom-left to get rid of the last row and first column:
          $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
          The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
          $$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
          where a factor $Bbb Z/4Bbb Z$ splits out.



          Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$






          share|cite|improve this answer




















          • Wow, seems like a new method for me. I will research a little more on this topic, thanks!
            – kelvin hong 方
            Aug 26 at 12:25










          • @kelvin You're welcome.
            – Arnaud Mortier
            Aug 26 at 22:48












          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
          First, use the $1$ in the bottom-left to get rid of the last row and first column:
          $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
          The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
          $$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
          where a factor $Bbb Z/4Bbb Z$ splits out.



          Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$






          share|cite|improve this answer












          As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
          First, use the $1$ in the bottom-left to get rid of the last row and first column:
          $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
          The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
          $$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
          where a factor $Bbb Z/4Bbb Z$ splits out.



          Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 26 at 8:25









          Arnaud Mortier

          19.6k22159




          19.6k22159











          • Wow, seems like a new method for me. I will research a little more on this topic, thanks!
            – kelvin hong 方
            Aug 26 at 12:25










          • @kelvin You're welcome.
            – Arnaud Mortier
            Aug 26 at 22:48
















          • Wow, seems like a new method for me. I will research a little more on this topic, thanks!
            – kelvin hong 方
            Aug 26 at 12:25










          • @kelvin You're welcome.
            – Arnaud Mortier
            Aug 26 at 22:48















          Wow, seems like a new method for me. I will research a little more on this topic, thanks!
          – kelvin hong 方
          Aug 26 at 12:25




          Wow, seems like a new method for me. I will research a little more on this topic, thanks!
          – kelvin hong 方
          Aug 26 at 12:25












          @kelvin You're welcome.
          – Arnaud Mortier
          Aug 26 at 22:48




          @kelvin You're welcome.
          – Arnaud Mortier
          Aug 26 at 22:48

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2894808%2fcharacterize-abelian-factor-group-to-direct-product%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          tkz-euclide: tkzDrawCircle[R] not working

          How to combine Bézier curves to a surface?

          1st Magritte Awards