Is $n_p(G)$ unique for different groups of size $p$?











up vote
2
down vote

favorite












If $G$ has that $|G| = p^am$ where $p$ is prime and $gcd(p,m) = 1$, we have that $n_p(G)$ counts of Sylow $p$-subgroups in $G$. If $P$ is a Sylow $p$-subgroup, by the third Sylow theorem
begin{align*}
n_p(G) &equiv 1text{ mod } p\
n_p(G) &| m\
n_p(G) &= [G:N_G(P)]
end{align*}

$n_p(G)$ seems to depend on $G$, and these properties seem to only give possible candidates for what $n_p(G)$ will be. If I am given $G$ and $H$ with $|G| = |H| = p^am$, do we necessarily have that $n_p(G) = n_p(H)$? It feels sketchy to say so, but I can't come up with any counterexamples off the top of my head.










share|cite|improve this question


























    up vote
    2
    down vote

    favorite












    If $G$ has that $|G| = p^am$ where $p$ is prime and $gcd(p,m) = 1$, we have that $n_p(G)$ counts of Sylow $p$-subgroups in $G$. If $P$ is a Sylow $p$-subgroup, by the third Sylow theorem
    begin{align*}
    n_p(G) &equiv 1text{ mod } p\
    n_p(G) &| m\
    n_p(G) &= [G:N_G(P)]
    end{align*}

    $n_p(G)$ seems to depend on $G$, and these properties seem to only give possible candidates for what $n_p(G)$ will be. If I am given $G$ and $H$ with $|G| = |H| = p^am$, do we necessarily have that $n_p(G) = n_p(H)$? It feels sketchy to say so, but I can't come up with any counterexamples off the top of my head.










    share|cite|improve this question
























      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      If $G$ has that $|G| = p^am$ where $p$ is prime and $gcd(p,m) = 1$, we have that $n_p(G)$ counts of Sylow $p$-subgroups in $G$. If $P$ is a Sylow $p$-subgroup, by the third Sylow theorem
      begin{align*}
      n_p(G) &equiv 1text{ mod } p\
      n_p(G) &| m\
      n_p(G) &= [G:N_G(P)]
      end{align*}

      $n_p(G)$ seems to depend on $G$, and these properties seem to only give possible candidates for what $n_p(G)$ will be. If I am given $G$ and $H$ with $|G| = |H| = p^am$, do we necessarily have that $n_p(G) = n_p(H)$? It feels sketchy to say so, but I can't come up with any counterexamples off the top of my head.










      share|cite|improve this question













      If $G$ has that $|G| = p^am$ where $p$ is prime and $gcd(p,m) = 1$, we have that $n_p(G)$ counts of Sylow $p$-subgroups in $G$. If $P$ is a Sylow $p$-subgroup, by the third Sylow theorem
      begin{align*}
      n_p(G) &equiv 1text{ mod } p\
      n_p(G) &| m\
      n_p(G) &= [G:N_G(P)]
      end{align*}

      $n_p(G)$ seems to depend on $G$, and these properties seem to only give possible candidates for what $n_p(G)$ will be. If I am given $G$ and $H$ with $|G| = |H| = p^am$, do we necessarily have that $n_p(G) = n_p(H)$? It feels sketchy to say so, but I can't come up with any counterexamples off the top of my head.







      abstract-algebra group-theory sylow-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 2 days ago









      Josh

      382110




      382110






















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          Hint: take $S_3$ and $C_6$ Both groups of order $6$. And look at the prime $2$.






          share|cite|improve this answer





















          • If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
            – Josh
            2 days ago












          • Yes correct! Well done! Perhaps you can look for other examples and other primes now.
            – Nicky Hekster
            2 days ago


















          up vote
          1
          down vote













          By the way, suppose you have two finite groups $G$ and $H$ of the same order and for every prime $p$ dividing the order of $G$, $n_p(G)=n_p(H)$. Then $G$ and $H$ do not have to be isomorphic! (Example, take two non-isomorphic (non-abelian) groups $P_1$ and $P_2$ of order $p^3$ (see here), $p$ an odd prime and look at $G=C_2 times P_1$ and $H=C_2 times P_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%2f3006781%2fis-n-pg-unique-for-different-groups-of-size-p%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








            up vote
            3
            down vote



            accepted










            Hint: take $S_3$ and $C_6$ Both groups of order $6$. And look at the prime $2$.






            share|cite|improve this answer





















            • If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
              – Josh
              2 days ago












            • Yes correct! Well done! Perhaps you can look for other examples and other primes now.
              – Nicky Hekster
              2 days ago















            up vote
            3
            down vote



            accepted










            Hint: take $S_3$ and $C_6$ Both groups of order $6$. And look at the prime $2$.






            share|cite|improve this answer





















            • If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
              – Josh
              2 days ago












            • Yes correct! Well done! Perhaps you can look for other examples and other primes now.
              – Nicky Hekster
              2 days ago













            up vote
            3
            down vote



            accepted







            up vote
            3
            down vote



            accepted






            Hint: take $S_3$ and $C_6$ Both groups of order $6$. And look at the prime $2$.






            share|cite|improve this answer












            Hint: take $S_3$ and $C_6$ Both groups of order $6$. And look at the prime $2$.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 2 days ago









            Nicky Hekster

            28k53254




            28k53254












            • If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
              – Josh
              2 days ago












            • Yes correct! Well done! Perhaps you can look for other examples and other primes now.
              – Nicky Hekster
              2 days ago


















            • If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
              – Josh
              2 days ago












            • Yes correct! Well done! Perhaps you can look for other examples and other primes now.
              – Nicky Hekster
              2 days ago
















            If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
            – Josh
            2 days ago






            If I am correct, $C_6$ has only one Sylow $2$-subgroup. Namely,if looking at $mathbb{Z}/6mathbb{Z}$, we have that ${0,3}$ is the only subgroup of size $2$. On the other hand, $S_3$ has $langle(1 2)rangle$, $langle(1 3)rangle$, and $langle(2 3)rangle$. Therefore, $n_2(C_6) = 1$ and $n_2(S_3) = 3$.
            – Josh
            2 days ago














            Yes correct! Well done! Perhaps you can look for other examples and other primes now.
            – Nicky Hekster
            2 days ago




            Yes correct! Well done! Perhaps you can look for other examples and other primes now.
            – Nicky Hekster
            2 days ago










            up vote
            1
            down vote













            By the way, suppose you have two finite groups $G$ and $H$ of the same order and for every prime $p$ dividing the order of $G$, $n_p(G)=n_p(H)$. Then $G$ and $H$ do not have to be isomorphic! (Example, take two non-isomorphic (non-abelian) groups $P_1$ and $P_2$ of order $p^3$ (see here), $p$ an odd prime and look at $G=C_2 times P_1$ and $H=C_2 times P_2$)






            share|cite|improve this answer



























              up vote
              1
              down vote













              By the way, suppose you have two finite groups $G$ and $H$ of the same order and for every prime $p$ dividing the order of $G$, $n_p(G)=n_p(H)$. Then $G$ and $H$ do not have to be isomorphic! (Example, take two non-isomorphic (non-abelian) groups $P_1$ and $P_2$ of order $p^3$ (see here), $p$ an odd prime and look at $G=C_2 times P_1$ and $H=C_2 times P_2$)






              share|cite|improve this answer

























                up vote
                1
                down vote










                up vote
                1
                down vote









                By the way, suppose you have two finite groups $G$ and $H$ of the same order and for every prime $p$ dividing the order of $G$, $n_p(G)=n_p(H)$. Then $G$ and $H$ do not have to be isomorphic! (Example, take two non-isomorphic (non-abelian) groups $P_1$ and $P_2$ of order $p^3$ (see here), $p$ an odd prime and look at $G=C_2 times P_1$ and $H=C_2 times P_2$)






                share|cite|improve this answer














                By the way, suppose you have two finite groups $G$ and $H$ of the same order and for every prime $p$ dividing the order of $G$, $n_p(G)=n_p(H)$. Then $G$ and $H$ do not have to be isomorphic! (Example, take two non-isomorphic (non-abelian) groups $P_1$ and $P_2$ of order $p^3$ (see here), $p$ an odd prime and look at $G=C_2 times P_1$ and $H=C_2 times P_2$)







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited 2 days ago

























                answered 2 days ago









                Nicky Hekster

                28k53254




                28k53254






























                     

                    draft saved


                    draft discarded



















































                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006781%2fis-n-pg-unique-for-different-groups-of-size-p%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

                    Berounka

                    Different font size/position of beamer's navigation symbols template's content depending on regular/plain...

                    Sphinx de Gizeh