Let $p<q$ be distinct prime numbers and $G$ be a group with $|G|=pq$ [duplicate]












3












$begingroup$



This question already has an answer here:




  • Nonabelian semidirect products of order $pq$?

    2 answers




Let $p < q$ be distinct prime numbers and $G$ be a group with $|G| = pq$.



Give an example of $p$, $q$ and $G$ such that $G$ is not isomorphic to $mathbb{Z}_{pq}$.



Now suppose that $p = 5$ and $q = 7$. Show that $G$ is isomorphic to $mathbb{Z}_{35}$.



I know we are learning about Sylow's Theorems and group actions, but those are very confusing to me, so I'm not sure how to implement them really.










share|cite|improve this question











$endgroup$



marked as duplicate by 3SAT, David Hill, hardmath, gebruiker, Semiclassical Mar 24 '16 at 22:18


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
    $endgroup$
    – Ravi
    Mar 24 '16 at 19:07










  • $begingroup$
    Can you think of a non-abelian group of order 6?
    $endgroup$
    – carmichael561
    Mar 24 '16 at 19:11
















3












$begingroup$



This question already has an answer here:




  • Nonabelian semidirect products of order $pq$?

    2 answers




Let $p < q$ be distinct prime numbers and $G$ be a group with $|G| = pq$.



Give an example of $p$, $q$ and $G$ such that $G$ is not isomorphic to $mathbb{Z}_{pq}$.



Now suppose that $p = 5$ and $q = 7$. Show that $G$ is isomorphic to $mathbb{Z}_{35}$.



I know we are learning about Sylow's Theorems and group actions, but those are very confusing to me, so I'm not sure how to implement them really.










share|cite|improve this question











$endgroup$



marked as duplicate by 3SAT, David Hill, hardmath, gebruiker, Semiclassical Mar 24 '16 at 22:18


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
    $endgroup$
    – Ravi
    Mar 24 '16 at 19:07










  • $begingroup$
    Can you think of a non-abelian group of order 6?
    $endgroup$
    – carmichael561
    Mar 24 '16 at 19:11














3












3








3


2



$begingroup$



This question already has an answer here:




  • Nonabelian semidirect products of order $pq$?

    2 answers




Let $p < q$ be distinct prime numbers and $G$ be a group with $|G| = pq$.



Give an example of $p$, $q$ and $G$ such that $G$ is not isomorphic to $mathbb{Z}_{pq}$.



Now suppose that $p = 5$ and $q = 7$. Show that $G$ is isomorphic to $mathbb{Z}_{35}$.



I know we are learning about Sylow's Theorems and group actions, but those are very confusing to me, so I'm not sure how to implement them really.










share|cite|improve this question











$endgroup$





This question already has an answer here:




  • Nonabelian semidirect products of order $pq$?

    2 answers




Let $p < q$ be distinct prime numbers and $G$ be a group with $|G| = pq$.



Give an example of $p$, $q$ and $G$ such that $G$ is not isomorphic to $mathbb{Z}_{pq}$.



Now suppose that $p = 5$ and $q = 7$. Show that $G$ is isomorphic to $mathbb{Z}_{35}$.



I know we are learning about Sylow's Theorems and group actions, but those are very confusing to me, so I'm not sure how to implement them really.





This question already has an answer here:




  • Nonabelian semidirect products of order $pq$?

    2 answers








abstract-algebra group-theory group-isomorphism






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 24 '16 at 19:41









Benjamin Dickman

10.3k22968




10.3k22968










asked Mar 24 '16 at 19:03









Halle RobinsonHalle Robinson

495




495




marked as duplicate by 3SAT, David Hill, hardmath, gebruiker, Semiclassical Mar 24 '16 at 22:18


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by 3SAT, David Hill, hardmath, gebruiker, Semiclassical Mar 24 '16 at 22:18


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
    $endgroup$
    – Ravi
    Mar 24 '16 at 19:07










  • $begingroup$
    Can you think of a non-abelian group of order 6?
    $endgroup$
    – carmichael561
    Mar 24 '16 at 19:11


















  • $begingroup$
    Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
    $endgroup$
    – Ravi
    Mar 24 '16 at 19:07










  • $begingroup$
    Can you think of a non-abelian group of order 6?
    $endgroup$
    – carmichael561
    Mar 24 '16 at 19:11
















$begingroup$
Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
$endgroup$
– Ravi
Mar 24 '16 at 19:07




$begingroup$
Do you have any thoughts on this problem? Any theorems you think might be useful to show this?
$endgroup$
– Ravi
Mar 24 '16 at 19:07












$begingroup$
Can you think of a non-abelian group of order 6?
$endgroup$
– carmichael561
Mar 24 '16 at 19:11




$begingroup$
Can you think of a non-abelian group of order 6?
$endgroup$
– carmichael561
Mar 24 '16 at 19:11










2 Answers
2






active

oldest

votes


















1












$begingroup$

$S_3$, the symmetric group on $3$ letters, is not Abelian, hence $S_3 not cong Bbb Z/6Bbb Z$, although $|S_3| = 2times 3$.



If $|G| = 5 times 7$, then $s_5$ divides $7$ and since $5$ divides $s_5 -1$, we must have $s_5 = 1$. By the same reasoning $s_7 = 1$. Thus, $G$ has exactly one Sylow $5$-subgroup $W_5$ and one Sylow $7$-subgroup $W_7$, and these are normal in $G$, so their direct product $W_5 W_7 le G$. Also, $W_5 cap W_7 = {1}$ ($W_5 cap W_7$ is a subgroup of each, so its order must divide $5 land 7 = 1$). Also, $|W_5 W_7| = |W_5|times |W_7|/|W_5 cap W_7| = 35 = |G|$, hence $G = W_5 W_7$. Therefore $G = W_5 odot W_7$ and is then $cong W_5 times W_7 cong Bbb Z/5 Bbb Z times Bbb Z/7 Bbb Z cong Bbb Z/35 Bbb Z$.



(for a prime $p$, $s_p$ denotes the number of Sylow $p$-subgroups)






share|cite|improve this answer











$endgroup$





















    1












    $begingroup$

    Use the fact that if $|G|=pq $ where both of them are distinct primes with $plt q $. If $p$ divides $q-1$ then there two groups of order $pq$ upto isomorphism, one being cyclic and the other being non abelian.
    If $p$ doesn't divide $q-1$ then there is only $1$ group upto ismorphism and that it $Z_{pq}$






    share|cite|improve this answer











    $endgroup$




















      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      1












      $begingroup$

      $S_3$, the symmetric group on $3$ letters, is not Abelian, hence $S_3 not cong Bbb Z/6Bbb Z$, although $|S_3| = 2times 3$.



      If $|G| = 5 times 7$, then $s_5$ divides $7$ and since $5$ divides $s_5 -1$, we must have $s_5 = 1$. By the same reasoning $s_7 = 1$. Thus, $G$ has exactly one Sylow $5$-subgroup $W_5$ and one Sylow $7$-subgroup $W_7$, and these are normal in $G$, so their direct product $W_5 W_7 le G$. Also, $W_5 cap W_7 = {1}$ ($W_5 cap W_7$ is a subgroup of each, so its order must divide $5 land 7 = 1$). Also, $|W_5 W_7| = |W_5|times |W_7|/|W_5 cap W_7| = 35 = |G|$, hence $G = W_5 W_7$. Therefore $G = W_5 odot W_7$ and is then $cong W_5 times W_7 cong Bbb Z/5 Bbb Z times Bbb Z/7 Bbb Z cong Bbb Z/35 Bbb Z$.



      (for a prime $p$, $s_p$ denotes the number of Sylow $p$-subgroups)






      share|cite|improve this answer











      $endgroup$


















        1












        $begingroup$

        $S_3$, the symmetric group on $3$ letters, is not Abelian, hence $S_3 not cong Bbb Z/6Bbb Z$, although $|S_3| = 2times 3$.



        If $|G| = 5 times 7$, then $s_5$ divides $7$ and since $5$ divides $s_5 -1$, we must have $s_5 = 1$. By the same reasoning $s_7 = 1$. Thus, $G$ has exactly one Sylow $5$-subgroup $W_5$ and one Sylow $7$-subgroup $W_7$, and these are normal in $G$, so their direct product $W_5 W_7 le G$. Also, $W_5 cap W_7 = {1}$ ($W_5 cap W_7$ is a subgroup of each, so its order must divide $5 land 7 = 1$). Also, $|W_5 W_7| = |W_5|times |W_7|/|W_5 cap W_7| = 35 = |G|$, hence $G = W_5 W_7$. Therefore $G = W_5 odot W_7$ and is then $cong W_5 times W_7 cong Bbb Z/5 Bbb Z times Bbb Z/7 Bbb Z cong Bbb Z/35 Bbb Z$.



        (for a prime $p$, $s_p$ denotes the number of Sylow $p$-subgroups)






        share|cite|improve this answer











        $endgroup$
















          1












          1








          1





          $begingroup$

          $S_3$, the symmetric group on $3$ letters, is not Abelian, hence $S_3 not cong Bbb Z/6Bbb Z$, although $|S_3| = 2times 3$.



          If $|G| = 5 times 7$, then $s_5$ divides $7$ and since $5$ divides $s_5 -1$, we must have $s_5 = 1$. By the same reasoning $s_7 = 1$. Thus, $G$ has exactly one Sylow $5$-subgroup $W_5$ and one Sylow $7$-subgroup $W_7$, and these are normal in $G$, so their direct product $W_5 W_7 le G$. Also, $W_5 cap W_7 = {1}$ ($W_5 cap W_7$ is a subgroup of each, so its order must divide $5 land 7 = 1$). Also, $|W_5 W_7| = |W_5|times |W_7|/|W_5 cap W_7| = 35 = |G|$, hence $G = W_5 W_7$. Therefore $G = W_5 odot W_7$ and is then $cong W_5 times W_7 cong Bbb Z/5 Bbb Z times Bbb Z/7 Bbb Z cong Bbb Z/35 Bbb Z$.



          (for a prime $p$, $s_p$ denotes the number of Sylow $p$-subgroups)






          share|cite|improve this answer











          $endgroup$



          $S_3$, the symmetric group on $3$ letters, is not Abelian, hence $S_3 not cong Bbb Z/6Bbb Z$, although $|S_3| = 2times 3$.



          If $|G| = 5 times 7$, then $s_5$ divides $7$ and since $5$ divides $s_5 -1$, we must have $s_5 = 1$. By the same reasoning $s_7 = 1$. Thus, $G$ has exactly one Sylow $5$-subgroup $W_5$ and one Sylow $7$-subgroup $W_7$, and these are normal in $G$, so their direct product $W_5 W_7 le G$. Also, $W_5 cap W_7 = {1}$ ($W_5 cap W_7$ is a subgroup of each, so its order must divide $5 land 7 = 1$). Also, $|W_5 W_7| = |W_5|times |W_7|/|W_5 cap W_7| = 35 = |G|$, hence $G = W_5 W_7$. Therefore $G = W_5 odot W_7$ and is then $cong W_5 times W_7 cong Bbb Z/5 Bbb Z times Bbb Z/7 Bbb Z cong Bbb Z/35 Bbb Z$.



          (for a prime $p$, $s_p$ denotes the number of Sylow $p$-subgroups)







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 24 '16 at 19:26

























          answered Mar 24 '16 at 19:21







          user258700






























              1












              $begingroup$

              Use the fact that if $|G|=pq $ where both of them are distinct primes with $plt q $. If $p$ divides $q-1$ then there two groups of order $pq$ upto isomorphism, one being cyclic and the other being non abelian.
              If $p$ doesn't divide $q-1$ then there is only $1$ group upto ismorphism and that it $Z_{pq}$






              share|cite|improve this answer











              $endgroup$


















                1












                $begingroup$

                Use the fact that if $|G|=pq $ where both of them are distinct primes with $plt q $. If $p$ divides $q-1$ then there two groups of order $pq$ upto isomorphism, one being cyclic and the other being non abelian.
                If $p$ doesn't divide $q-1$ then there is only $1$ group upto ismorphism and that it $Z_{pq}$






                share|cite|improve this answer











                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  Use the fact that if $|G|=pq $ where both of them are distinct primes with $plt q $. If $p$ divides $q-1$ then there two groups of order $pq$ upto isomorphism, one being cyclic and the other being non abelian.
                  If $p$ doesn't divide $q-1$ then there is only $1$ group upto ismorphism and that it $Z_{pq}$






                  share|cite|improve this answer











                  $endgroup$



                  Use the fact that if $|G|=pq $ where both of them are distinct primes with $plt q $. If $p$ divides $q-1$ then there two groups of order $pq$ upto isomorphism, one being cyclic and the other being non abelian.
                  If $p$ doesn't divide $q-1$ then there is only $1$ group upto ismorphism and that it $Z_{pq}$







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jan 17 at 7:57

























                  answered Mar 24 '16 at 19:33









                  UpstartUpstart

                  1,706517




                  1,706517















                      Popular posts from this blog

                      Mario Kart Wii

                      Partial Derivative Guidance.

                      Understanding the size os this class of aleatory events