non-abelian group of order 27

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











up vote
2
down vote

favorite












If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,



where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$



My question is: Can we use this fact to construct a non-abelian group of order $27$ ?



The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .



Please help.



Thanks in advance







share|cite|improve this question
























    up vote
    2
    down vote

    favorite












    If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,



    where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$



    My question is: Can we use this fact to construct a non-abelian group of order $27$ ?



    The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .



    Please help.



    Thanks in advance







    share|cite|improve this question






















      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,



      where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$



      My question is: Can we use this fact to construct a non-abelian group of order $27$ ?



      The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .



      Please help.



      Thanks in advance







      share|cite|improve this question












      If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,



      where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$



      My question is: Can we use this fact to construct a non-abelian group of order $27$ ?



      The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .



      Please help.



      Thanks in advance









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 25 at 2:57









      user521337

      14210




      14210




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.



          The nonabelian group of exponent $3$ $is$
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
          ,rightrangle$$
          and the one of exponent $9$ is
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
          ,rightrangle.$$
          To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
          So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
          which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
          You can prove that the second group has order $27$ with a similar argument.






          share|cite|improve this answer






















          • could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
            – user521337
            Aug 25 at 17:26










          • I have added some explanation using group presentations, which is probably the quickest way to prove it.
            – Derek Holt
            Aug 25 at 19:13










          • can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
            – user521337
            Aug 26 at 20:01










          • for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
            – user521337
            Aug 26 at 20:25










          • Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
            – Derek Holt
            Aug 26 at 21:33










          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%2f2893770%2fnon-abelian-group-of-order-27%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
          1
          down vote



          accepted










          Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.



          The nonabelian group of exponent $3$ $is$
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
          ,rightrangle$$
          and the one of exponent $9$ is
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
          ,rightrangle.$$
          To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
          So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
          which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
          You can prove that the second group has order $27$ with a similar argument.






          share|cite|improve this answer






















          • could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
            – user521337
            Aug 25 at 17:26










          • I have added some explanation using group presentations, which is probably the quickest way to prove it.
            – Derek Holt
            Aug 25 at 19:13










          • can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
            – user521337
            Aug 26 at 20:01










          • for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
            – user521337
            Aug 26 at 20:25










          • Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
            – Derek Holt
            Aug 26 at 21:33














          up vote
          1
          down vote



          accepted










          Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.



          The nonabelian group of exponent $3$ $is$
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
          ,rightrangle$$
          and the one of exponent $9$ is
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
          ,rightrangle.$$
          To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
          So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
          which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
          You can prove that the second group has order $27$ with a similar argument.






          share|cite|improve this answer






















          • could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
            – user521337
            Aug 25 at 17:26










          • I have added some explanation using group presentations, which is probably the quickest way to prove it.
            – Derek Holt
            Aug 25 at 19:13










          • can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
            – user521337
            Aug 26 at 20:01










          • for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
            – user521337
            Aug 26 at 20:25










          • Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
            – Derek Holt
            Aug 26 at 21:33












          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.



          The nonabelian group of exponent $3$ $is$
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
          ,rightrangle$$
          and the one of exponent $9$ is
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
          ,rightrangle.$$
          To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
          So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
          which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
          You can prove that the second group has order $27$ with a similar argument.






          share|cite|improve this answer














          Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.



          The nonabelian group of exponent $3$ $is$
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
          ,rightrangle$$
          and the one of exponent $9$ is
          $$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
          left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
          ,rightrangle.$$
          To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
          So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
          which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
          You can prove that the second group has order $27$ with a similar argument.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 25 at 19:12

























          answered Aug 25 at 8:41









          Derek Holt

          50.1k53366




          50.1k53366











          • could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
            – user521337
            Aug 25 at 17:26










          • I have added some explanation using group presentations, which is probably the quickest way to prove it.
            – Derek Holt
            Aug 25 at 19:13










          • can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
            – user521337
            Aug 26 at 20:01










          • for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
            – user521337
            Aug 26 at 20:25










          • Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
            – Derek Holt
            Aug 26 at 21:33
















          • could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
            – user521337
            Aug 25 at 17:26










          • I have added some explanation using group presentations, which is probably the quickest way to prove it.
            – Derek Holt
            Aug 25 at 19:13










          • can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
            – user521337
            Aug 26 at 20:01










          • for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
            – user521337
            Aug 26 at 20:25










          • Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
            – Derek Holt
            Aug 26 at 21:33















          could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
          – user521337
          Aug 25 at 17:26




          could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
          – user521337
          Aug 25 at 17:26












          I have added some explanation using group presentations, which is probably the quickest way to prove it.
          – Derek Holt
          Aug 25 at 19:13




          I have added some explanation using group presentations, which is probably the quickest way to prove it.
          – Derek Holt
          Aug 25 at 19:13












          can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
          – user521337
          Aug 26 at 20:01




          can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
          – user521337
          Aug 26 at 20:01












          for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
          – user521337
          Aug 26 at 20:25




          for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
          – user521337
          Aug 26 at 20:25












          Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
          – Derek Holt
          Aug 26 at 21:33




          Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
          – Derek Holt
          Aug 26 at 21:33

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2893770%2fnon-abelian-group-of-order-27%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Carbon dioxide

          Why am i infinitely getting the same tweet with the Twitter Search API?