Subgroups of $G^n$, where $G$ is a $p$-group












3














Let $G$ be a finite $p$-group and let $n > 0$. Let $G^n$ be the direct product of $n$ copies of $G$.




Are all subgroups of $G^n$ isomorphic to $H_1 times dotsm times H_n$ for some subgroups $H_1, dots, H_n$
of $G$?




Comments. The question is being isomorphic to a direct product of subgroups, and not being equal to a direct product of subgroups. A negative answer to a similar question for $G = S_3$ and $n = 2$ was given here.
This question and its answer, which relies on Goursat's lemma might also be relevant.



P.S. I am especially interested in the case $p = 2$.










share|cite|improve this question
























  • Have you run any computer checks for small values of $|G|$ and $n$?
    – the_fox
    Nov 22 '18 at 12:25










  • I tried a few examples on GAP without finding any counterexample so far.
    – J.-E. Pin
    Nov 22 '18 at 12:34










  • I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
    – the_fox
    Nov 22 '18 at 12:41










  • I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
    – Derek Holt
    Nov 22 '18 at 12:49






  • 1




    I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
    – Derek Holt
    Nov 22 '18 at 12:55
















3














Let $G$ be a finite $p$-group and let $n > 0$. Let $G^n$ be the direct product of $n$ copies of $G$.




Are all subgroups of $G^n$ isomorphic to $H_1 times dotsm times H_n$ for some subgroups $H_1, dots, H_n$
of $G$?




Comments. The question is being isomorphic to a direct product of subgroups, and not being equal to a direct product of subgroups. A negative answer to a similar question for $G = S_3$ and $n = 2$ was given here.
This question and its answer, which relies on Goursat's lemma might also be relevant.



P.S. I am especially interested in the case $p = 2$.










share|cite|improve this question
























  • Have you run any computer checks for small values of $|G|$ and $n$?
    – the_fox
    Nov 22 '18 at 12:25










  • I tried a few examples on GAP without finding any counterexample so far.
    – J.-E. Pin
    Nov 22 '18 at 12:34










  • I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
    – the_fox
    Nov 22 '18 at 12:41










  • I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
    – Derek Holt
    Nov 22 '18 at 12:49






  • 1




    I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
    – Derek Holt
    Nov 22 '18 at 12:55














3












3








3







Let $G$ be a finite $p$-group and let $n > 0$. Let $G^n$ be the direct product of $n$ copies of $G$.




Are all subgroups of $G^n$ isomorphic to $H_1 times dotsm times H_n$ for some subgroups $H_1, dots, H_n$
of $G$?




Comments. The question is being isomorphic to a direct product of subgroups, and not being equal to a direct product of subgroups. A negative answer to a similar question for $G = S_3$ and $n = 2$ was given here.
This question and its answer, which relies on Goursat's lemma might also be relevant.



P.S. I am especially interested in the case $p = 2$.










share|cite|improve this question















Let $G$ be a finite $p$-group and let $n > 0$. Let $G^n$ be the direct product of $n$ copies of $G$.




Are all subgroups of $G^n$ isomorphic to $H_1 times dotsm times H_n$ for some subgroups $H_1, dots, H_n$
of $G$?




Comments. The question is being isomorphic to a direct product of subgroups, and not being equal to a direct product of subgroups. A negative answer to a similar question for $G = S_3$ and $n = 2$ was given here.
This question and its answer, which relies on Goursat's lemma might also be relevant.



P.S. I am especially interested in the case $p = 2$.







group-theory finite-groups p-groups






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 22 '18 at 12:48









Derek Holt

52.6k53570




52.6k53570










asked Nov 22 '18 at 12:12









J.-E. Pin

18.3k21754




18.3k21754












  • Have you run any computer checks for small values of $|G|$ and $n$?
    – the_fox
    Nov 22 '18 at 12:25










  • I tried a few examples on GAP without finding any counterexample so far.
    – J.-E. Pin
    Nov 22 '18 at 12:34










  • I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
    – the_fox
    Nov 22 '18 at 12:41










  • I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
    – Derek Holt
    Nov 22 '18 at 12:49






  • 1




    I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
    – Derek Holt
    Nov 22 '18 at 12:55


















  • Have you run any computer checks for small values of $|G|$ and $n$?
    – the_fox
    Nov 22 '18 at 12:25










  • I tried a few examples on GAP without finding any counterexample so far.
    – J.-E. Pin
    Nov 22 '18 at 12:34










  • I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
    – the_fox
    Nov 22 '18 at 12:41










  • I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
    – Derek Holt
    Nov 22 '18 at 12:49






  • 1




    I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
    – Derek Holt
    Nov 22 '18 at 12:55
















Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 '18 at 12:25




Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 '18 at 12:25












I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 '18 at 12:34




I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 '18 at 12:34












I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
– the_fox
Nov 22 '18 at 12:41




I doubt this is true, but I could be wrong. Include the code you have used to check this, if you want, and we can split the workload. (I was just about to start thinking how to write a piece of GAP code that would work, so it would save me some time.)
– the_fox
Nov 22 '18 at 12:41












I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
– Derek Holt
Nov 22 '18 at 12:49




I have replaced "Is any" in your question by "Are all". The word "any" is very often ambiguous.
– Derek Holt
Nov 22 '18 at 12:49




1




1




I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
– Derek Holt
Nov 22 '18 at 12:55




I think $D_8 times D_8$ has a subdirect product of index 2 that does not decompose as a nontrivial direct product. (Here $D_8$ means dihedral group of order $8$.)
– Derek Holt
Nov 22 '18 at 12:55










1 Answer
1






active

oldest

votes


















5














Let $G=D_8 = langle a,b mid a^4=b^2=(ab)^2=1 rangle$, $G^2 = langle a_1,b_1rangle times langle a_2,b_2 rangle$ and $H = langle a_1a_2,b_1,b_2,a_1^2,a_2^2 rangle le G$ with $|H|=32$.



If $H cong H_1 times H_2$, with $H_1$ and $H_2$ isomorphic to subgroups of $D_8$, then we must have $|H_1|=8$, $|H_2|=4$ (or vice versa), so $H_2$ is abelian, and hence $|Z(H_1 times H_2)| =8$. But you can check that $Z(H)=Z(G) = langle a_1^2,a_2^2 rangle$ has order $4$.



In fact $H$ is indecomposable.






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',
    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%2f3009055%2fsubgroups-of-gn-where-g-is-a-p-group%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    5














    Let $G=D_8 = langle a,b mid a^4=b^2=(ab)^2=1 rangle$, $G^2 = langle a_1,b_1rangle times langle a_2,b_2 rangle$ and $H = langle a_1a_2,b_1,b_2,a_1^2,a_2^2 rangle le G$ with $|H|=32$.



    If $H cong H_1 times H_2$, with $H_1$ and $H_2$ isomorphic to subgroups of $D_8$, then we must have $|H_1|=8$, $|H_2|=4$ (or vice versa), so $H_2$ is abelian, and hence $|Z(H_1 times H_2)| =8$. But you can check that $Z(H)=Z(G) = langle a_1^2,a_2^2 rangle$ has order $4$.



    In fact $H$ is indecomposable.






    share|cite|improve this answer


























      5














      Let $G=D_8 = langle a,b mid a^4=b^2=(ab)^2=1 rangle$, $G^2 = langle a_1,b_1rangle times langle a_2,b_2 rangle$ and $H = langle a_1a_2,b_1,b_2,a_1^2,a_2^2 rangle le G$ with $|H|=32$.



      If $H cong H_1 times H_2$, with $H_1$ and $H_2$ isomorphic to subgroups of $D_8$, then we must have $|H_1|=8$, $|H_2|=4$ (or vice versa), so $H_2$ is abelian, and hence $|Z(H_1 times H_2)| =8$. But you can check that $Z(H)=Z(G) = langle a_1^2,a_2^2 rangle$ has order $4$.



      In fact $H$ is indecomposable.






      share|cite|improve this answer
























        5












        5








        5






        Let $G=D_8 = langle a,b mid a^4=b^2=(ab)^2=1 rangle$, $G^2 = langle a_1,b_1rangle times langle a_2,b_2 rangle$ and $H = langle a_1a_2,b_1,b_2,a_1^2,a_2^2 rangle le G$ with $|H|=32$.



        If $H cong H_1 times H_2$, with $H_1$ and $H_2$ isomorphic to subgroups of $D_8$, then we must have $|H_1|=8$, $|H_2|=4$ (or vice versa), so $H_2$ is abelian, and hence $|Z(H_1 times H_2)| =8$. But you can check that $Z(H)=Z(G) = langle a_1^2,a_2^2 rangle$ has order $4$.



        In fact $H$ is indecomposable.






        share|cite|improve this answer












        Let $G=D_8 = langle a,b mid a^4=b^2=(ab)^2=1 rangle$, $G^2 = langle a_1,b_1rangle times langle a_2,b_2 rangle$ and $H = langle a_1a_2,b_1,b_2,a_1^2,a_2^2 rangle le G$ with $|H|=32$.



        If $H cong H_1 times H_2$, with $H_1$ and $H_2$ isomorphic to subgroups of $D_8$, then we must have $|H_1|=8$, $|H_2|=4$ (or vice versa), so $H_2$ is abelian, and hence $|Z(H_1 times H_2)| =8$. But you can check that $Z(H)=Z(G) = langle a_1^2,a_2^2 rangle$ has order $4$.



        In fact $H$ is indecomposable.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 22 '18 at 14:10









        Derek Holt

        52.6k53570




        52.6k53570






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3009055%2fsubgroups-of-gn-where-g-is-a-p-group%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

            How to change which sound is reproduced for terminal bell?

            Can I use Tabulator js library in my java Spring + Thymeleaf project?

            Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents