Construct a nonabelian group of order 44 Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)The dihedral group $Vlanglealpharangle$Number of Sylow bases of a certain group of order 60Nonabelian group of order $p^3$ for odd prime $p$ and exponent $p$The only group of order $255$ is $mathbb Z_255$ ( Using Sylow and the $N/C$ Theorem)Number of elements of order $11$ in group of order $1331$Classifying groups of order $20$Construct a non-abelian group of order 75order of automorphism group of an abelian group of order 75Understanding a group of order $2^25.97^2$Understanding semidirect product for group of order 30

Is Vivien of the Wilds + Wilderness Reclamation a competitive combo?

How to leave only the following strings?

What's the connection between Mr. Nancy and fried chicken?

Will I be more secure with my own router behind my ISP's router?

Why aren't road bike wheels tiny?

Short story about an alien named Ushtu(?) coming from a future Earth, when ours was destroyed by a nuclear explosion

What were wait-states, and why was it only an issue for PCs?

Determine the generator of an ideal of ring of integers

Why is one lightbulb in a string illuminated?

How do I deal with an erroneously large refund?

Are Flameskulls resistant to magical piercing damage?

Knights and Knaves question

Who can become a wight?

Can a Wizard take the Magic Initiate feat and select spells from the Wizard list?

Why do people think Winterfell crypts is the safest place for women, children & old people?

Does Prince Arnaud cause someone holding the Princess to lose?

How to break 信じようとしていただけかも知れない into separate parts?

How to ask rejected full-time candidates to apply to teach individual courses?

Married in secret, can marital status in passport be changed at a later date?

Can I take recommendation from someone I met at a conference?

Suing a Police Officer Instead of the Police Department

Should man-made satellites feature an intelligent inverted "cow catcher"?

Sorting the characters in a utf-16 string in java

Providing direct feedback to a product salesperson



Construct a nonabelian group of order 44



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)The dihedral group $Vlanglealpharangle$Number of Sylow bases of a certain group of order 60Nonabelian group of order $p^3$ for odd prime $p$ and exponent $p$The only group of order $255$ is $mathbb Z_255$ ( Using Sylow and the $N/C$ Theorem)Number of elements of order $11$ in group of order $1331$Classifying groups of order $20$Construct a non-abelian group of order 75order of automorphism group of an abelian group of order 75Understanding a group of order $2^25.97^2$Understanding semidirect product for group of order 30










6












$begingroup$


Let $G$ be a group s.t. $|G|=44=2^211$. Using Sylow's Theorems, I have deduced that there is a unique Sylow $11$-subgroup of $G$; we shall call it $R$. Let $P$ be a Sylow $2$-subgroup of $G$. Then we have $G=Prtimes R$ and a homomorphism



$$gamma: P rightarrow Aut(R)=Aut(mathbbZ_11)cong(mathbbZ_10,+) .$$



Is this all correct so far?



So what about $gamma(p)=phi_p$ where $phi_p(r)=r^5$. I thought this because $tilde5inmathbbZ_10$ has order $4$ so the order of any element of $P$ could divide it... or something...



So I was thinking the group would be something like



$$G= langle p,r | p^4=r^11 prp^-1=r^5 rangle .$$



Any insight is greatly appreciated! Thanks! I would like to know both where I went wrong and how to do it correctly.




Did I do the above right? Identifying $mathbbZ_11$ with the additive group of $mathbbZ_10$? Or should I look at it multiplicatively, because I don't understand how that isomorphism works so it doesn't make sense to define the conjugation that makes the semi-direct product well defined based on elements of the additive group $mathbbZ_10$, but instead realize that $10 in U(mathbbZ_11)$ has order $2$ so we can have a group presentation something like:



$G = langle p, r | p^2=r^11=1 , prp^-1=r^10 rangle$



Insight appreciated!



I understand the dihedral group of the $22$-gon works now, thank you. Can somebody help me with my approach in constructing a non-abelian group of order $44$ via the methods I've been using? Thanks!










share|cite|improve this question











$endgroup$











  • $begingroup$
    I think you meant $r^11$ (r^11), not $r^11$ (r^11)
    $endgroup$
    – J. W. Tanner
    4 hours ago










  • $begingroup$
    I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
    $endgroup$
    – Travis
    3 hours ago










  • $begingroup$
    I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
    $endgroup$
    – Lubin
    3 hours ago










  • $begingroup$
    Doesn't $tilde5 in mathbbZ_10$ have order $2$?
    $endgroup$
    – Peter Shor
    2 hours ago










  • $begingroup$
    And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
    $endgroup$
    – Peter Shor
    2 hours ago















6












$begingroup$


Let $G$ be a group s.t. $|G|=44=2^211$. Using Sylow's Theorems, I have deduced that there is a unique Sylow $11$-subgroup of $G$; we shall call it $R$. Let $P$ be a Sylow $2$-subgroup of $G$. Then we have $G=Prtimes R$ and a homomorphism



$$gamma: P rightarrow Aut(R)=Aut(mathbbZ_11)cong(mathbbZ_10,+) .$$



Is this all correct so far?



So what about $gamma(p)=phi_p$ where $phi_p(r)=r^5$. I thought this because $tilde5inmathbbZ_10$ has order $4$ so the order of any element of $P$ could divide it... or something...



So I was thinking the group would be something like



$$G= langle p,r | p^4=r^11 prp^-1=r^5 rangle .$$



Any insight is greatly appreciated! Thanks! I would like to know both where I went wrong and how to do it correctly.




Did I do the above right? Identifying $mathbbZ_11$ with the additive group of $mathbbZ_10$? Or should I look at it multiplicatively, because I don't understand how that isomorphism works so it doesn't make sense to define the conjugation that makes the semi-direct product well defined based on elements of the additive group $mathbbZ_10$, but instead realize that $10 in U(mathbbZ_11)$ has order $2$ so we can have a group presentation something like:



$G = langle p, r | p^2=r^11=1 , prp^-1=r^10 rangle$



Insight appreciated!



I understand the dihedral group of the $22$-gon works now, thank you. Can somebody help me with my approach in constructing a non-abelian group of order $44$ via the methods I've been using? Thanks!










share|cite|improve this question











$endgroup$











  • $begingroup$
    I think you meant $r^11$ (r^11), not $r^11$ (r^11)
    $endgroup$
    – J. W. Tanner
    4 hours ago










  • $begingroup$
    I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
    $endgroup$
    – Travis
    3 hours ago










  • $begingroup$
    I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
    $endgroup$
    – Lubin
    3 hours ago










  • $begingroup$
    Doesn't $tilde5 in mathbbZ_10$ have order $2$?
    $endgroup$
    – Peter Shor
    2 hours ago










  • $begingroup$
    And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
    $endgroup$
    – Peter Shor
    2 hours ago













6












6








6


2



$begingroup$


Let $G$ be a group s.t. $|G|=44=2^211$. Using Sylow's Theorems, I have deduced that there is a unique Sylow $11$-subgroup of $G$; we shall call it $R$. Let $P$ be a Sylow $2$-subgroup of $G$. Then we have $G=Prtimes R$ and a homomorphism



$$gamma: P rightarrow Aut(R)=Aut(mathbbZ_11)cong(mathbbZ_10,+) .$$



Is this all correct so far?



So what about $gamma(p)=phi_p$ where $phi_p(r)=r^5$. I thought this because $tilde5inmathbbZ_10$ has order $4$ so the order of any element of $P$ could divide it... or something...



So I was thinking the group would be something like



$$G= langle p,r | p^4=r^11 prp^-1=r^5 rangle .$$



Any insight is greatly appreciated! Thanks! I would like to know both where I went wrong and how to do it correctly.




Did I do the above right? Identifying $mathbbZ_11$ with the additive group of $mathbbZ_10$? Or should I look at it multiplicatively, because I don't understand how that isomorphism works so it doesn't make sense to define the conjugation that makes the semi-direct product well defined based on elements of the additive group $mathbbZ_10$, but instead realize that $10 in U(mathbbZ_11)$ has order $2$ so we can have a group presentation something like:



$G = langle p, r | p^2=r^11=1 , prp^-1=r^10 rangle$



Insight appreciated!



I understand the dihedral group of the $22$-gon works now, thank you. Can somebody help me with my approach in constructing a non-abelian group of order $44$ via the methods I've been using? Thanks!










share|cite|improve this question











$endgroup$




Let $G$ be a group s.t. $|G|=44=2^211$. Using Sylow's Theorems, I have deduced that there is a unique Sylow $11$-subgroup of $G$; we shall call it $R$. Let $P$ be a Sylow $2$-subgroup of $G$. Then we have $G=Prtimes R$ and a homomorphism



$$gamma: P rightarrow Aut(R)=Aut(mathbbZ_11)cong(mathbbZ_10,+) .$$



Is this all correct so far?



So what about $gamma(p)=phi_p$ where $phi_p(r)=r^5$. I thought this because $tilde5inmathbbZ_10$ has order $4$ so the order of any element of $P$ could divide it... or something...



So I was thinking the group would be something like



$$G= langle p,r | p^4=r^11 prp^-1=r^5 rangle .$$



Any insight is greatly appreciated! Thanks! I would like to know both where I went wrong and how to do it correctly.




Did I do the above right? Identifying $mathbbZ_11$ with the additive group of $mathbbZ_10$? Or should I look at it multiplicatively, because I don't understand how that isomorphism works so it doesn't make sense to define the conjugation that makes the semi-direct product well defined based on elements of the additive group $mathbbZ_10$, but instead realize that $10 in U(mathbbZ_11)$ has order $2$ so we can have a group presentation something like:



$G = langle p, r | p^2=r^11=1 , prp^-1=r^10 rangle$



Insight appreciated!



I understand the dihedral group of the $22$-gon works now, thank you. Can somebody help me with my approach in constructing a non-abelian group of order $44$ via the methods I've been using? Thanks!







abstract-algebra group-theory sylow-theory group-presentation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 3 hours ago









Travis

64.6k769152




64.6k769152










asked 5 hours ago









Mathematical MushroomMathematical Mushroom

22418




22418











  • $begingroup$
    I think you meant $r^11$ (r^11), not $r^11$ (r^11)
    $endgroup$
    – J. W. Tanner
    4 hours ago










  • $begingroup$
    I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
    $endgroup$
    – Travis
    3 hours ago










  • $begingroup$
    I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
    $endgroup$
    – Lubin
    3 hours ago










  • $begingroup$
    Doesn't $tilde5 in mathbbZ_10$ have order $2$?
    $endgroup$
    – Peter Shor
    2 hours ago










  • $begingroup$
    And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
    $endgroup$
    – Peter Shor
    2 hours ago
















  • $begingroup$
    I think you meant $r^11$ (r^11), not $r^11$ (r^11)
    $endgroup$
    – J. W. Tanner
    4 hours ago










  • $begingroup$
    I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
    $endgroup$
    – Travis
    3 hours ago










  • $begingroup$
    I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
    $endgroup$
    – Lubin
    3 hours ago










  • $begingroup$
    Doesn't $tilde5 in mathbbZ_10$ have order $2$?
    $endgroup$
    – Peter Shor
    2 hours ago










  • $begingroup$
    And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
    $endgroup$
    – Peter Shor
    2 hours ago















$begingroup$
I think you meant $r^11$ (r^11), not $r^11$ (r^11)
$endgroup$
– J. W. Tanner
4 hours ago




$begingroup$
I think you meant $r^11$ (r^11), not $r^11$ (r^11)
$endgroup$
– J. W. Tanner
4 hours ago












$begingroup$
I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
$endgroup$
– Travis
3 hours ago




$begingroup$
I've taken the liberty of apply the correction J.W. Tanner mentioned, as well as a few other minor fixes.
$endgroup$
– Travis
3 hours ago












$begingroup$
I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
$endgroup$
– Lubin
3 hours ago




$begingroup$
I don’t understand the words, “because $tilde5inBbb Z_10$ has order $4$”
$endgroup$
– Lubin
3 hours ago












$begingroup$
Doesn't $tilde5 in mathbbZ_10$ have order $2$?
$endgroup$
– Peter Shor
2 hours ago




$begingroup$
Doesn't $tilde5 in mathbbZ_10$ have order $2$?
$endgroup$
– Peter Shor
2 hours ago












$begingroup$
And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
$endgroup$
– Peter Shor
2 hours ago




$begingroup$
And if you have a non-abelian group of order 22, isn't it easy to find one of order 44?
$endgroup$
– Peter Shor
2 hours ago










2 Answers
2






active

oldest

votes


















1












$begingroup$

No element of $mathbb Z_10$ has order four (why not?) and there is one element of order 2 ($5inmathbb Z_10$ under addition, $10cong -1in mathbb Z_11^x$ under multiplication.), so our possibilities are quite limited. There are two groups of order $4$, and either will work as our $R$. To give a nonabelian group, we need to pick a nontrivial homomorphism, as you pointed out.



So at least one generator of $R$ has to map to our order-two element. In the case of the Klein four group, there appear to be three possibilities, but I claim that up to an isomorphism of the Klein four group, there is only one possibility.



Actually, this exhausts the possibilities for groups of order 44: we have two abelian groups, $mathbb Z_11timesmathbbZ_4$, $mathbb Z_11times mathbbZ_2times mathbb Z_2$, and two nonabelian groups: $mathbbZ_11 rtimes mathbb Z_4 = langle a,b mid a^11, b^4, b^-1ab = a^-1rangle$ and $mathbb Z_11rtimes(mathbb Z_2 times mathbb Z_2) = langle a, b, c mid a^11, b^2, c^2, [b,c], b^-1ab = c^-1ac = a^-1 rangle$. I think the latter is $D_22$ (for 22-gon, not order of group), while the former has an element of order $4$.






share|cite|improve this answer











$endgroup$




















    0












    $begingroup$

    You're on the right track (but NB your semidirect product is written in the wrong order). To analyze the possible maps $gamma : P to operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$, we consider separately the cases $P cong Bbb Z_2 times Bbb Z_2$ and $P cong Bbb Z_4$.



    In the case $P cong Bbb Z_4$, $P$ is generated by a single element, $[1]$, of order $4$, and so $$operatornameid_Bbb Z_11 = gamma([0]) = gamma([1] + [1] + [1] + [1]) = gamma([1])^4 .$$ So, $gamma([1])$ has order dividing $4$, and the only such elements of $operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$ are $operatornameid_Bbb Z_11 leftrightarrow [0]$ and $(x mapsto -x) leftrightarrow [5]$.



    • If $gamma([1]) = operatornameid_Bbb Z_11$, then $gamma$ is the trivial homomorphism $Bbb Z_4 to operatornameAut(Bbb Z_11)$. This gives the direct product $G cong Bbb Z_11 times Bbb Z_4 cong Bbb Z_44 .$


    • If $gamma([1]) = (x mapsto -x)$, then $gamma([b])([c]) = (-1)^b [c]$, and the semidirect product $G = Bbb Z_11 rtimes_gamma Bbb Z_4$ is defined by
      $$([a], [b]) cdot ([c], [d]) = ([a] + (-1)^b [c], [b] + [d]) .$$ It's apparent from the multiplication rule that this group is nonabelian. The fact that the group is generated by $u := ([1], [0])$ and $v := ([0], [1])$ can be used to construct an explicit presentation of this group and to show that $G$ is the dicyclic group of order $44$.


    One can analyze the case $P cong Bbb Z_2 times Bbb Z_2$ similarly, and this case gives rise to two more groups up to isomorphism, namely the abelian group $Bbb Z_11 times Bbb Z_2 times Bbb Z_2$ and the (nonabelian) dihedral group $D_44 cong D_22 times Bbb Z_2$.






    share|cite|improve this answer











    $endgroup$













      Your Answer








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



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3197658%2fconstruct-a-nonabelian-group-of-order-44%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      1












      $begingroup$

      No element of $mathbb Z_10$ has order four (why not?) and there is one element of order 2 ($5inmathbb Z_10$ under addition, $10cong -1in mathbb Z_11^x$ under multiplication.), so our possibilities are quite limited. There are two groups of order $4$, and either will work as our $R$. To give a nonabelian group, we need to pick a nontrivial homomorphism, as you pointed out.



      So at least one generator of $R$ has to map to our order-two element. In the case of the Klein four group, there appear to be three possibilities, but I claim that up to an isomorphism of the Klein four group, there is only one possibility.



      Actually, this exhausts the possibilities for groups of order 44: we have two abelian groups, $mathbb Z_11timesmathbbZ_4$, $mathbb Z_11times mathbbZ_2times mathbb Z_2$, and two nonabelian groups: $mathbbZ_11 rtimes mathbb Z_4 = langle a,b mid a^11, b^4, b^-1ab = a^-1rangle$ and $mathbb Z_11rtimes(mathbb Z_2 times mathbb Z_2) = langle a, b, c mid a^11, b^2, c^2, [b,c], b^-1ab = c^-1ac = a^-1 rangle$. I think the latter is $D_22$ (for 22-gon, not order of group), while the former has an element of order $4$.






      share|cite|improve this answer











      $endgroup$

















        1












        $begingroup$

        No element of $mathbb Z_10$ has order four (why not?) and there is one element of order 2 ($5inmathbb Z_10$ under addition, $10cong -1in mathbb Z_11^x$ under multiplication.), so our possibilities are quite limited. There are two groups of order $4$, and either will work as our $R$. To give a nonabelian group, we need to pick a nontrivial homomorphism, as you pointed out.



        So at least one generator of $R$ has to map to our order-two element. In the case of the Klein four group, there appear to be three possibilities, but I claim that up to an isomorphism of the Klein four group, there is only one possibility.



        Actually, this exhausts the possibilities for groups of order 44: we have two abelian groups, $mathbb Z_11timesmathbbZ_4$, $mathbb Z_11times mathbbZ_2times mathbb Z_2$, and two nonabelian groups: $mathbbZ_11 rtimes mathbb Z_4 = langle a,b mid a^11, b^4, b^-1ab = a^-1rangle$ and $mathbb Z_11rtimes(mathbb Z_2 times mathbb Z_2) = langle a, b, c mid a^11, b^2, c^2, [b,c], b^-1ab = c^-1ac = a^-1 rangle$. I think the latter is $D_22$ (for 22-gon, not order of group), while the former has an element of order $4$.






        share|cite|improve this answer











        $endgroup$















          1












          1








          1





          $begingroup$

          No element of $mathbb Z_10$ has order four (why not?) and there is one element of order 2 ($5inmathbb Z_10$ under addition, $10cong -1in mathbb Z_11^x$ under multiplication.), so our possibilities are quite limited. There are two groups of order $4$, and either will work as our $R$. To give a nonabelian group, we need to pick a nontrivial homomorphism, as you pointed out.



          So at least one generator of $R$ has to map to our order-two element. In the case of the Klein four group, there appear to be three possibilities, but I claim that up to an isomorphism of the Klein four group, there is only one possibility.



          Actually, this exhausts the possibilities for groups of order 44: we have two abelian groups, $mathbb Z_11timesmathbbZ_4$, $mathbb Z_11times mathbbZ_2times mathbb Z_2$, and two nonabelian groups: $mathbbZ_11 rtimes mathbb Z_4 = langle a,b mid a^11, b^4, b^-1ab = a^-1rangle$ and $mathbb Z_11rtimes(mathbb Z_2 times mathbb Z_2) = langle a, b, c mid a^11, b^2, c^2, [b,c], b^-1ab = c^-1ac = a^-1 rangle$. I think the latter is $D_22$ (for 22-gon, not order of group), while the former has an element of order $4$.






          share|cite|improve this answer











          $endgroup$



          No element of $mathbb Z_10$ has order four (why not?) and there is one element of order 2 ($5inmathbb Z_10$ under addition, $10cong -1in mathbb Z_11^x$ under multiplication.), so our possibilities are quite limited. There are two groups of order $4$, and either will work as our $R$. To give a nonabelian group, we need to pick a nontrivial homomorphism, as you pointed out.



          So at least one generator of $R$ has to map to our order-two element. In the case of the Klein four group, there appear to be three possibilities, but I claim that up to an isomorphism of the Klein four group, there is only one possibility.



          Actually, this exhausts the possibilities for groups of order 44: we have two abelian groups, $mathbb Z_11timesmathbbZ_4$, $mathbb Z_11times mathbbZ_2times mathbb Z_2$, and two nonabelian groups: $mathbbZ_11 rtimes mathbb Z_4 = langle a,b mid a^11, b^4, b^-1ab = a^-1rangle$ and $mathbb Z_11rtimes(mathbb Z_2 times mathbb Z_2) = langle a, b, c mid a^11, b^2, c^2, [b,c], b^-1ab = c^-1ac = a^-1 rangle$. I think the latter is $D_22$ (for 22-gon, not order of group), while the former has an element of order $4$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 1 hour ago

























          answered 2 hours ago









          Rylee LymanRylee Lyman

          646211




          646211





















              0












              $begingroup$

              You're on the right track (but NB your semidirect product is written in the wrong order). To analyze the possible maps $gamma : P to operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$, we consider separately the cases $P cong Bbb Z_2 times Bbb Z_2$ and $P cong Bbb Z_4$.



              In the case $P cong Bbb Z_4$, $P$ is generated by a single element, $[1]$, of order $4$, and so $$operatornameid_Bbb Z_11 = gamma([0]) = gamma([1] + [1] + [1] + [1]) = gamma([1])^4 .$$ So, $gamma([1])$ has order dividing $4$, and the only such elements of $operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$ are $operatornameid_Bbb Z_11 leftrightarrow [0]$ and $(x mapsto -x) leftrightarrow [5]$.



              • If $gamma([1]) = operatornameid_Bbb Z_11$, then $gamma$ is the trivial homomorphism $Bbb Z_4 to operatornameAut(Bbb Z_11)$. This gives the direct product $G cong Bbb Z_11 times Bbb Z_4 cong Bbb Z_44 .$


              • If $gamma([1]) = (x mapsto -x)$, then $gamma([b])([c]) = (-1)^b [c]$, and the semidirect product $G = Bbb Z_11 rtimes_gamma Bbb Z_4$ is defined by
                $$([a], [b]) cdot ([c], [d]) = ([a] + (-1)^b [c], [b] + [d]) .$$ It's apparent from the multiplication rule that this group is nonabelian. The fact that the group is generated by $u := ([1], [0])$ and $v := ([0], [1])$ can be used to construct an explicit presentation of this group and to show that $G$ is the dicyclic group of order $44$.


              One can analyze the case $P cong Bbb Z_2 times Bbb Z_2$ similarly, and this case gives rise to two more groups up to isomorphism, namely the abelian group $Bbb Z_11 times Bbb Z_2 times Bbb Z_2$ and the (nonabelian) dihedral group $D_44 cong D_22 times Bbb Z_2$.






              share|cite|improve this answer











              $endgroup$

















                0












                $begingroup$

                You're on the right track (but NB your semidirect product is written in the wrong order). To analyze the possible maps $gamma : P to operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$, we consider separately the cases $P cong Bbb Z_2 times Bbb Z_2$ and $P cong Bbb Z_4$.



                In the case $P cong Bbb Z_4$, $P$ is generated by a single element, $[1]$, of order $4$, and so $$operatornameid_Bbb Z_11 = gamma([0]) = gamma([1] + [1] + [1] + [1]) = gamma([1])^4 .$$ So, $gamma([1])$ has order dividing $4$, and the only such elements of $operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$ are $operatornameid_Bbb Z_11 leftrightarrow [0]$ and $(x mapsto -x) leftrightarrow [5]$.



                • If $gamma([1]) = operatornameid_Bbb Z_11$, then $gamma$ is the trivial homomorphism $Bbb Z_4 to operatornameAut(Bbb Z_11)$. This gives the direct product $G cong Bbb Z_11 times Bbb Z_4 cong Bbb Z_44 .$


                • If $gamma([1]) = (x mapsto -x)$, then $gamma([b])([c]) = (-1)^b [c]$, and the semidirect product $G = Bbb Z_11 rtimes_gamma Bbb Z_4$ is defined by
                  $$([a], [b]) cdot ([c], [d]) = ([a] + (-1)^b [c], [b] + [d]) .$$ It's apparent from the multiplication rule that this group is nonabelian. The fact that the group is generated by $u := ([1], [0])$ and $v := ([0], [1])$ can be used to construct an explicit presentation of this group and to show that $G$ is the dicyclic group of order $44$.


                One can analyze the case $P cong Bbb Z_2 times Bbb Z_2$ similarly, and this case gives rise to two more groups up to isomorphism, namely the abelian group $Bbb Z_11 times Bbb Z_2 times Bbb Z_2$ and the (nonabelian) dihedral group $D_44 cong D_22 times Bbb Z_2$.






                share|cite|improve this answer











                $endgroup$















                  0












                  0








                  0





                  $begingroup$

                  You're on the right track (but NB your semidirect product is written in the wrong order). To analyze the possible maps $gamma : P to operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$, we consider separately the cases $P cong Bbb Z_2 times Bbb Z_2$ and $P cong Bbb Z_4$.



                  In the case $P cong Bbb Z_4$, $P$ is generated by a single element, $[1]$, of order $4$, and so $$operatornameid_Bbb Z_11 = gamma([0]) = gamma([1] + [1] + [1] + [1]) = gamma([1])^4 .$$ So, $gamma([1])$ has order dividing $4$, and the only such elements of $operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$ are $operatornameid_Bbb Z_11 leftrightarrow [0]$ and $(x mapsto -x) leftrightarrow [5]$.



                  • If $gamma([1]) = operatornameid_Bbb Z_11$, then $gamma$ is the trivial homomorphism $Bbb Z_4 to operatornameAut(Bbb Z_11)$. This gives the direct product $G cong Bbb Z_11 times Bbb Z_4 cong Bbb Z_44 .$


                  • If $gamma([1]) = (x mapsto -x)$, then $gamma([b])([c]) = (-1)^b [c]$, and the semidirect product $G = Bbb Z_11 rtimes_gamma Bbb Z_4$ is defined by
                    $$([a], [b]) cdot ([c], [d]) = ([a] + (-1)^b [c], [b] + [d]) .$$ It's apparent from the multiplication rule that this group is nonabelian. The fact that the group is generated by $u := ([1], [0])$ and $v := ([0], [1])$ can be used to construct an explicit presentation of this group and to show that $G$ is the dicyclic group of order $44$.


                  One can analyze the case $P cong Bbb Z_2 times Bbb Z_2$ similarly, and this case gives rise to two more groups up to isomorphism, namely the abelian group $Bbb Z_11 times Bbb Z_2 times Bbb Z_2$ and the (nonabelian) dihedral group $D_44 cong D_22 times Bbb Z_2$.






                  share|cite|improve this answer











                  $endgroup$



                  You're on the right track (but NB your semidirect product is written in the wrong order). To analyze the possible maps $gamma : P to operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$, we consider separately the cases $P cong Bbb Z_2 times Bbb Z_2$ and $P cong Bbb Z_4$.



                  In the case $P cong Bbb Z_4$, $P$ is generated by a single element, $[1]$, of order $4$, and so $$operatornameid_Bbb Z_11 = gamma([0]) = gamma([1] + [1] + [1] + [1]) = gamma([1])^4 .$$ So, $gamma([1])$ has order dividing $4$, and the only such elements of $operatornameAut(Bbb Z_11) cong (Bbb Z_10, +)$ are $operatornameid_Bbb Z_11 leftrightarrow [0]$ and $(x mapsto -x) leftrightarrow [5]$.



                  • If $gamma([1]) = operatornameid_Bbb Z_11$, then $gamma$ is the trivial homomorphism $Bbb Z_4 to operatornameAut(Bbb Z_11)$. This gives the direct product $G cong Bbb Z_11 times Bbb Z_4 cong Bbb Z_44 .$


                  • If $gamma([1]) = (x mapsto -x)$, then $gamma([b])([c]) = (-1)^b [c]$, and the semidirect product $G = Bbb Z_11 rtimes_gamma Bbb Z_4$ is defined by
                    $$([a], [b]) cdot ([c], [d]) = ([a] + (-1)^b [c], [b] + [d]) .$$ It's apparent from the multiplication rule that this group is nonabelian. The fact that the group is generated by $u := ([1], [0])$ and $v := ([0], [1])$ can be used to construct an explicit presentation of this group and to show that $G$ is the dicyclic group of order $44$.


                  One can analyze the case $P cong Bbb Z_2 times Bbb Z_2$ similarly, and this case gives rise to two more groups up to isomorphism, namely the abelian group $Bbb Z_11 times Bbb Z_2 times Bbb Z_2$ and the (nonabelian) dihedral group $D_44 cong D_22 times Bbb Z_2$.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited 1 hour ago

























                  answered 2 hours ago









                  TravisTravis

                  64.6k769152




                  64.6k769152



























                      draft saved

                      draft discarded
















































                      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.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3197658%2fconstruct-a-nonabelian-group-of-order-44%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

                      Францішак Багушэвіч Змест Сям'я | Біяграфія | Творчасць | Мова Багушэвіча | Ацэнкі дзейнасці | Цікавыя факты | Спадчына | Выбраная бібліяграфія | Ушанаванне памяці | У філатэліі | Зноскі | Літаратура | Спасылкі | НавігацыяЛяхоўскі У. Рупіўся дзеля Бога і людзей: Жыццёвы шлях Лявона Вітан-Дубейкаўскага // Вольскі і Памідораў з песняй пра немца Адвакат, паэт, народны заступнік Ашмянскі веснікВ Минске появится площадь Богушевича и улица Сырокомли, Белорусская деловая газета, 19 июля 2001 г.Айцец беларускай нацыянальнай ідэі паўстаў у бронзе Сяргей Аляксандравіч Адашкевіч (1918, Мінск). 80-я гады. Бюст «Францішак Багушэвіч».Яўген Мікалаевіч Ціхановіч. «Партрэт Францішка Багушэвіча»Мікола Мікалаевіч Купава. «Партрэт зачынальніка новай беларускай літаратуры Францішка Багушэвіча»Уладзімір Іванавіч Мелехаў. На помніку «Змагарам за родную мову» Барэльеф «Францішак Багушэвіч»Памяць пра Багушэвіча на Віленшчыне Страчаная сталіца. Беларускія шыльды на вуліцах Вільні«Krynica». Ideologia i przywódcy białoruskiego katolicyzmuФранцішак БагушэвічТворы на knihi.comТворы Францішка Багушэвіча на bellib.byСодаль Уладзімір. Францішак Багушэвіч на Лідчыне;Луцкевіч Антон. Жыцьцё і творчасьць Фр. Багушэвіча ў успамінах ягоных сучасьнікаў // Запісы Беларускага Навуковага таварыства. Вільня, 1938. Сшытак 1. С. 16-34.Большая российская1188761710000 0000 5537 633Xn9209310021619551927869394п

                      Беларусь Змест Назва Гісторыя Геаграфія Сімволіка Дзяржаўны лад Палітычныя партыі Міжнароднае становішча і знешняя палітыка Адміністрацыйны падзел Насельніцтва Эканоміка Культура і грамадства Сацыяльная сфера Узброеныя сілы Заўвагі Літаратура Спасылкі НавігацыяHGЯOiТоп-2011 г. (па версіі ej.by)Топ-2013 г. (па версіі ej.by)Топ-2016 г. (па версіі ej.by)Топ-2017 г. (па версіі ej.by)Нацыянальны статыстычны камітэт Рэспублікі БеларусьШчыльнасць насельніцтва па краінахhttp://naviny.by/rubrics/society/2011/09/16/ic_articles_116_175144/А. Калечыц, У. Ксяндзоў. Спробы засялення краю неандэртальскім чалавекам.І ў Менску былі мамантыА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіГ. Штыхаў. Балты і славяне ў VI—VIII стст.М. Клімаў. Полацкае княства ў IX—XI стст.Г. Штыхаў, В. Ляўко. Палітычная гісторыя Полацкай зямліГ. Штыхаў. Дзяржаўны лад у землях-княствахГ. Штыхаў. Дзяржаўны лад у землях-княствахБеларускія землі ў складзе Вялікага Княства ЛітоўскагаЛюблінская унія 1569 г."The Early Stages of Independence"Zapomniane prawdy25 гадоў таму было аб'яўлена, што Язэп Пілсудскі — беларус (фота)Наша вадаДакументы ЧАЭС: Забруджванне тэрыторыі Беларусі « ЧАЭС Зона адчужэнняСведения о политических партиях, зарегистрированных в Республике Беларусь // Министерство юстиции Республики БеларусьСтатыстычны бюлетэнь „Полаўзроставая структура насельніцтва Рэспублікі Беларусь на 1 студзеня 2012 года і сярэднегадовая колькасць насельніцтва за 2011 год“Индекс человеческого развития Беларуси — не было бы нижеБеларусь занимает первое место в СНГ по индексу развития с учетом гендерного факцёраНацыянальны статыстычны камітэт Рэспублікі БеларусьКанстытуцыя РБ. Артыкул 17Трансфармацыйныя задачы БеларусіВыйсце з крызісу — далейшае рэфармаванне Беларускі рубель — сусветны лідар па дэвальвацыяхПра змену коштаў у кастрычніку 2011 г.Бядней за беларусаў у СНД толькі таджыкіСярэдні заробак у верасні дасягнуў 2,26 мільёна рублёўЭканомікаГаласуем за ТОП-100 беларускай прозыСучасныя беларускія мастакіАрхитектура Беларуси BELARUS.BYА. Каханоўскі. Культура Беларусі ўсярэдзіне XVII—XVIII ст.Анталогія беларускай народнай песні, гуказапісы спеваўБеларускія Музычныя IнструментыБеларускі рок, які мы страцілі. Топ-10 гуртоў«Мясцовы час» — нязгаслая легенда беларускай рок-музыкіСЯРГЕЙ БУДКІН. МЫ НЯ ЗНАЕМ СВАЁЙ МУЗЫКІМ. А. Каладзінскі. НАРОДНЫ ТЭАТРМагнацкія культурныя цэнтрыПублічная дыскусія «Беларуская новая пьеса: без беларускай мовы ці беларуская?»Беларускія драматургі па-ранейшаму лепш ставяцца за мяжой, чым на радзіме«Працэс незалежнага кіно пайшоў, і дзяржаву турбуе яго непадкантрольнасць»Беларускія філосафы ў пошуках прасторыВсе идём в библиотекуАрхіваванаАб Нацыянальнай праграме даследавання і выкарыстання касмічнай прасторы ў мірных мэтах на 2008—2012 гадыУ космас — разам.У суседнім з Барысаўскім раёне пабудуюць Камандна-вымяральны пунктСвяты і абрады беларусаў«Мірныя бульбашы з малой краіны» — 5 непраўдзівых стэрэатыпаў пра БеларусьМ. Раманюк. Беларускае народнае адзеннеУ Беларусі скарачаецца колькасць злачынстваўЛукашэнка незадаволены мінскімі ўладамі Крадзяжы складаюць у Мінску каля 70% злачынстваў Узровень злачыннасці ў Мінскай вобласці — адзін з самых высокіх у краіне Генпракуратура аналізуе стан са злачыннасцю ў Беларусі па каэфіцыенце злачыннасці У Беларусі стабілізавалася крымінагеннае становішча, лічыць генпракурорЗамежнікі сталі здзяйсняць у Беларусі больш злачынстваўМУС Беларусі турбуе рост рэцыдыўнай злачыннасціЯ з ЖЭСа. Дазволіце вас абкрасці! Рэйтынг усіх службаў і падраздзяленняў ГУУС Мінгарвыканкама вырасАб КДБ РБГісторыя Аператыўна-аналітычнага цэнтра РБГісторыя ДКФРТаможняagentura.ruБеларусьBelarus.by — Афіцыйны сайт Рэспублікі БеларусьСайт урада БеларусіRadzima.org — Збор архітэктурных помнікаў, гісторыя Беларусі«Глобус Беларуси»Гербы и флаги БеларусиАсаблівасці каменнага веку на БеларусіА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіУ. Ксяндзоў. Сярэдні каменны век (мезаліт). Засяленне краю плямёнамі паляўнічых, рыбакоў і збіральнікаўА. Калечыц, М. Чарняўскі. Плямёны на тэрыторыі Беларусі ў новым каменным веку (неаліце)А. Калечыц, У. Ксяндзоў, М. Чарняўскі. Гаспадарчыя заняткі ў каменным векуЭ. Зайкоўскі. Духоўная культура ў каменным векуАсаблівасці бронзавага веку на БеларусіФарміраванне супольнасцей ранняга перыяду бронзавага векуФотографии БеларусиРоля беларускіх зямель ва ўтварэнні і ўмацаванні ВКЛВ. Фадзеева. З гісторыі развіцця беларускай народнай вышыўкіDMOZGran catalanaБольшая российскаяBritannica (анлайн)Швейцарскі гістарычны15325917611952699xDA123282154079143-90000 0001 2171 2080n9112870100577502ge128882171858027501086026362074122714179пппппп

                      Герб Смалявічаў Апісанне | Спасылкі | НавігацыяГерб города Смолевичип