Subgroups of $G^n$, where $G$ is a $p$-group
up vote
3
down vote
favorite
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
|
show 2 more comments
up vote
3
down vote
favorite
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
Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 at 12:25
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 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 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 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 at 12:55
|
show 2 more comments
up vote
3
down vote
favorite
up vote
3
down vote
favorite
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
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
group-theory finite-groups p-groups
edited Nov 22 at 12:48
Derek Holt
52.3k53570
52.3k53570
asked Nov 22 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 at 12:25
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 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 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 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 at 12:55
|
show 2 more comments
Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 at 12:25
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 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 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 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 at 12:55
Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 at 12:25
Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 at 12:25
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 at 12:34
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 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 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 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 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 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 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 at 12:55
|
show 2 more comments
1 Answer
1
active
oldest
votes
up vote
5
down vote
accepted
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.
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
up vote
5
down vote
accepted
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.
add a comment |
up vote
5
down vote
accepted
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.
add a comment |
up vote
5
down vote
accepted
up vote
5
down vote
accepted
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.
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.
answered Nov 22 at 14:10
Derek Holt
52.3k53570
52.3k53570
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
Have you run any computer checks for small values of $|G|$ and $n$?
– the_fox
Nov 22 at 12:25
I tried a few examples on GAP without finding any counterexample so far.
– J.-E. Pin
Nov 22 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 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 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 at 12:55