Show that a group of order 66 has a normal subgroup of order 33.
$begingroup$
This question is somewhat similar to: A group of order $66$ has an element of order $33$.
However, I do not understand how I would show that the subgroup of order 33 is normal. So far I have that there is a unique Sylow 11-subgroup, but I don't know how to continue.
Any hints are appreciated.
group-theory finite-groups sylow-theory
$endgroup$
add a comment |
$begingroup$
This question is somewhat similar to: A group of order $66$ has an element of order $33$.
However, I do not understand how I would show that the subgroup of order 33 is normal. So far I have that there is a unique Sylow 11-subgroup, but I don't know how to continue.
Any hints are appreciated.
group-theory finite-groups sylow-theory
$endgroup$
7
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
1
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17
add a comment |
$begingroup$
This question is somewhat similar to: A group of order $66$ has an element of order $33$.
However, I do not understand how I would show that the subgroup of order 33 is normal. So far I have that there is a unique Sylow 11-subgroup, but I don't know how to continue.
Any hints are appreciated.
group-theory finite-groups sylow-theory
$endgroup$
This question is somewhat similar to: A group of order $66$ has an element of order $33$.
However, I do not understand how I would show that the subgroup of order 33 is normal. So far I have that there is a unique Sylow 11-subgroup, but I don't know how to continue.
Any hints are appreciated.
group-theory finite-groups sylow-theory
group-theory finite-groups sylow-theory
edited Dec 29 '18 at 23:50
Anon
asked Dec 29 '18 at 23:43
AnonAnon
113
113
7
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
1
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17
add a comment |
7
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
1
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17
7
7
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
1
1
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Let $P$ be the Sylow $11$-subgroup you've shown exists. Since you've shown $P$ is unique, we have that $P$ is normal. Now if we let $Q$ be a Sylow $3$-subgroup, then $PQ=QP$ by normality of $P$, and thus $PQ$ is a subgroup of $G$. But $PQ$ has order $33$ (hence index $2$) so $PQ$ is normal in $G$.
$endgroup$
add a comment |
$begingroup$
We know by the linked answer that there exists an element of order $33$. Let this element be $x$. Hence, $langle xrangle$ has order $33$. We know that all subgroups with index 2 in a group are normal.
$endgroup$
add a comment |
Your Answer
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%2f3056374%2fshow-that-a-group-of-order-66-has-a-normal-subgroup-of-order-33%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
$begingroup$
Let $P$ be the Sylow $11$-subgroup you've shown exists. Since you've shown $P$ is unique, we have that $P$ is normal. Now if we let $Q$ be a Sylow $3$-subgroup, then $PQ=QP$ by normality of $P$, and thus $PQ$ is a subgroup of $G$. But $PQ$ has order $33$ (hence index $2$) so $PQ$ is normal in $G$.
$endgroup$
add a comment |
$begingroup$
Let $P$ be the Sylow $11$-subgroup you've shown exists. Since you've shown $P$ is unique, we have that $P$ is normal. Now if we let $Q$ be a Sylow $3$-subgroup, then $PQ=QP$ by normality of $P$, and thus $PQ$ is a subgroup of $G$. But $PQ$ has order $33$ (hence index $2$) so $PQ$ is normal in $G$.
$endgroup$
add a comment |
$begingroup$
Let $P$ be the Sylow $11$-subgroup you've shown exists. Since you've shown $P$ is unique, we have that $P$ is normal. Now if we let $Q$ be a Sylow $3$-subgroup, then $PQ=QP$ by normality of $P$, and thus $PQ$ is a subgroup of $G$. But $PQ$ has order $33$ (hence index $2$) so $PQ$ is normal in $G$.
$endgroup$
Let $P$ be the Sylow $11$-subgroup you've shown exists. Since you've shown $P$ is unique, we have that $P$ is normal. Now if we let $Q$ be a Sylow $3$-subgroup, then $PQ=QP$ by normality of $P$, and thus $PQ$ is a subgroup of $G$. But $PQ$ has order $33$ (hence index $2$) so $PQ$ is normal in $G$.
answered Dec 29 '18 at 23:55
Alex MathersAlex Mathers
11.3k21444
11.3k21444
add a comment |
add a comment |
$begingroup$
We know by the linked answer that there exists an element of order $33$. Let this element be $x$. Hence, $langle xrangle$ has order $33$. We know that all subgroups with index 2 in a group are normal.
$endgroup$
add a comment |
$begingroup$
We know by the linked answer that there exists an element of order $33$. Let this element be $x$. Hence, $langle xrangle$ has order $33$. We know that all subgroups with index 2 in a group are normal.
$endgroup$
add a comment |
$begingroup$
We know by the linked answer that there exists an element of order $33$. Let this element be $x$. Hence, $langle xrangle$ has order $33$. We know that all subgroups with index 2 in a group are normal.
$endgroup$
We know by the linked answer that there exists an element of order $33$. Let this element be $x$. Hence, $langle xrangle$ has order $33$. We know that all subgroups with index 2 in a group are normal.
edited Dec 30 '18 at 0:08
MJD
47.9k29217398
47.9k29217398
answered Dec 29 '18 at 23:52
Don ThousandDon Thousand
4,574734
4,574734
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.
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%2f3056374%2fshow-that-a-group-of-order-66-has-a-normal-subgroup-of-order-33%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
7
$begingroup$
Every subgroup of index $2$ is normal - see for example here.
$endgroup$
– Dietrich Burde
Dec 29 '18 at 23:45
1
$begingroup$
Related; math.stackexchange.com/questions/84632/…
$endgroup$
– Servaes
Dec 29 '18 at 23:46
$begingroup$
I would say that your question is fully covered by this more general result. I won't vote to close right away, because there is scope for disagreement. I have the dupehammer on group-theory, so my vote would be immediately binding.
$endgroup$
– Jyrki Lahtonen
Dec 30 '18 at 14:17