$G_1, G_2$ finite groups, for all primes $p$, Sylow $p$-subgroups of $G_1$ and $G_2$ are isomorpic and...
Decide whether the following staement is true of false. If true, prove it. If false, provide a counterexample
Let G1, G2 be a finite groups such as for all prime p, p-sylow subgroups of G1 isomorpic ($cong$) to p-sylow subgroups of G2 and |G1|=|G2| then G1$cong$G2.
I think this statement is false but I didn't find counterexample yet, I think it's false because I thought about dividing the group to p-sylow subgroups or write her has a direct product of them and then do a uoion or direct product of the isomorphisms but there is no diviton og G1 and G2 to her p-sylow so I couldn't prove it so I tried to find counterexample but I didn't find one.
If you found one please help me :)
finite-groups sylow-theory
add a comment |
Decide whether the following staement is true of false. If true, prove it. If false, provide a counterexample
Let G1, G2 be a finite groups such as for all prime p, p-sylow subgroups of G1 isomorpic ($cong$) to p-sylow subgroups of G2 and |G1|=|G2| then G1$cong$G2.
I think this statement is false but I didn't find counterexample yet, I think it's false because I thought about dividing the group to p-sylow subgroups or write her has a direct product of them and then do a uoion or direct product of the isomorphisms but there is no diviton og G1 and G2 to her p-sylow so I couldn't prove it so I tried to find counterexample but I didn't find one.
If you found one please help me :)
finite-groups sylow-theory
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
5
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
1
Terribly non informative title.
– Did
Jul 27 at 6:18
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47
add a comment |
Decide whether the following staement is true of false. If true, prove it. If false, provide a counterexample
Let G1, G2 be a finite groups such as for all prime p, p-sylow subgroups of G1 isomorpic ($cong$) to p-sylow subgroups of G2 and |G1|=|G2| then G1$cong$G2.
I think this statement is false but I didn't find counterexample yet, I think it's false because I thought about dividing the group to p-sylow subgroups or write her has a direct product of them and then do a uoion or direct product of the isomorphisms but there is no diviton og G1 and G2 to her p-sylow so I couldn't prove it so I tried to find counterexample but I didn't find one.
If you found one please help me :)
finite-groups sylow-theory
Decide whether the following staement is true of false. If true, prove it. If false, provide a counterexample
Let G1, G2 be a finite groups such as for all prime p, p-sylow subgroups of G1 isomorpic ($cong$) to p-sylow subgroups of G2 and |G1|=|G2| then G1$cong$G2.
I think this statement is false but I didn't find counterexample yet, I think it's false because I thought about dividing the group to p-sylow subgroups or write her has a direct product of them and then do a uoion or direct product of the isomorphisms but there is no diviton og G1 and G2 to her p-sylow so I couldn't prove it so I tried to find counterexample but I didn't find one.
If you found one please help me :)
finite-groups sylow-theory
finite-groups sylow-theory
edited Nov 29 at 10:05
Nicky Hekster
28.2k53456
28.2k53456
asked Jul 27 at 4:56
user579852
335
335
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
5
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
1
Terribly non informative title.
– Did
Jul 27 at 6:18
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47
add a comment |
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
5
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
1
Terribly non informative title.
– Did
Jul 27 at 6:18
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
5
5
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
1
1
Terribly non informative title.
– Did
Jul 27 at 6:18
Terribly non informative title.
– Did
Jul 27 at 6:18
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47
add a comment |
1 Answer
1
active
oldest
votes
You are right, the statement is false.
Let $p_1,ldots, p_n$ be distinct primes and $G_1, G_2$ be any two groups of order $p_1cdots p_n$ each. It follows that a Sylow $p$-subgroup (for $p$ one of $p_1,ldots,p_n$) of each one of them is of order $p$, meaning it is $mathbb{Z}_p$ up to isomorphism. So any Sylow $p$-subgroup of $G_1$ is isomorphic to any Sylow $p$-subgroup of $G_2$ and vice versa.
At this point all you have to do is find two such groups that are not isomorphic. The easiest choice is $G_1=mathbb{Z}_6$ and $G_2=S_3$ both of order $6=2cdot 3$.
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',
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
});
}
});
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%2f2864069%2fg-1-g-2-finite-groups-for-all-primes-p-sylow-p-subgroups-of-g-1-and%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
You are right, the statement is false.
Let $p_1,ldots, p_n$ be distinct primes and $G_1, G_2$ be any two groups of order $p_1cdots p_n$ each. It follows that a Sylow $p$-subgroup (for $p$ one of $p_1,ldots,p_n$) of each one of them is of order $p$, meaning it is $mathbb{Z}_p$ up to isomorphism. So any Sylow $p$-subgroup of $G_1$ is isomorphic to any Sylow $p$-subgroup of $G_2$ and vice versa.
At this point all you have to do is find two such groups that are not isomorphic. The easiest choice is $G_1=mathbb{Z}_6$ and $G_2=S_3$ both of order $6=2cdot 3$.
add a comment |
You are right, the statement is false.
Let $p_1,ldots, p_n$ be distinct primes and $G_1, G_2$ be any two groups of order $p_1cdots p_n$ each. It follows that a Sylow $p$-subgroup (for $p$ one of $p_1,ldots,p_n$) of each one of them is of order $p$, meaning it is $mathbb{Z}_p$ up to isomorphism. So any Sylow $p$-subgroup of $G_1$ is isomorphic to any Sylow $p$-subgroup of $G_2$ and vice versa.
At this point all you have to do is find two such groups that are not isomorphic. The easiest choice is $G_1=mathbb{Z}_6$ and $G_2=S_3$ both of order $6=2cdot 3$.
add a comment |
You are right, the statement is false.
Let $p_1,ldots, p_n$ be distinct primes and $G_1, G_2$ be any two groups of order $p_1cdots p_n$ each. It follows that a Sylow $p$-subgroup (for $p$ one of $p_1,ldots,p_n$) of each one of them is of order $p$, meaning it is $mathbb{Z}_p$ up to isomorphism. So any Sylow $p$-subgroup of $G_1$ is isomorphic to any Sylow $p$-subgroup of $G_2$ and vice versa.
At this point all you have to do is find two such groups that are not isomorphic. The easiest choice is $G_1=mathbb{Z}_6$ and $G_2=S_3$ both of order $6=2cdot 3$.
You are right, the statement is false.
Let $p_1,ldots, p_n$ be distinct primes and $G_1, G_2$ be any two groups of order $p_1cdots p_n$ each. It follows that a Sylow $p$-subgroup (for $p$ one of $p_1,ldots,p_n$) of each one of them is of order $p$, meaning it is $mathbb{Z}_p$ up to isomorphism. So any Sylow $p$-subgroup of $G_1$ is isomorphic to any Sylow $p$-subgroup of $G_2$ and vice versa.
At this point all you have to do is find two such groups that are not isomorphic. The easiest choice is $G_1=mathbb{Z}_6$ and $G_2=S_3$ both of order $6=2cdot 3$.
edited Nov 30 at 9:25
answered Nov 29 at 14:49
freakish
11.1k1629
11.1k1629
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%2f2864069%2fg-1-g-2-finite-groups-for-all-primes-p-sylow-p-subgroups-of-g-1-and%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
It might help (and it would probably go some way to avoiding close votes) if you could articulate why you think the statement is false.
– Brian Tung
Jul 27 at 5:06
5
Think about groups of order $6$.
– Lord Shark the Unknown
Jul 27 at 6:01
1
Terribly non informative title.
– Did
Jul 27 at 6:18
I thought about what you said but how I can prove that every p-sylow subgroup of $G_1$ isomorpic to p-sylow subgroup of $G_2$??
– user579852
Jul 31 at 11:56
You don't need to assume that $|G_1| = |G_2|$.
– the_fox
Nov 29 at 10:47