Hall subgroup that has normal complement











up vote
0
down vote

favorite
1












Let $H$ be a hall subgroup of finite group $G$. If $Hleq Z(N_{G}(H))$ then $H$ has a normal complement in $G$.



I want to know if we assume $|H|=n$ , $H$ is the only subgroup of $ N_{G}(H)$ with order $n$ ?



Or is the below statment true for hall subgroups?



" Let $H$ be a hall subgroup of finite group $G$. Also assume that $a,b in C_{G}(H)$.If $a,b$ are conjugate in $G$ then they are conjugate in $ N_{G}(H)$".



If one of the two is true I can reach the answer of the main question.










share|cite|improve this question
























  • Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
    – user10354138
    19 hours ago










  • @user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
    – Tobias Kildetoft
    19 hours ago










  • @user10354138 in the way you say we need $G$ be solvable.
    – Yasmin
    19 hours ago










  • oops, sorry, forgotten about that part.
    – user10354138
    19 hours ago










  • As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
    – Tobias Kildetoft
    19 hours ago

















up vote
0
down vote

favorite
1












Let $H$ be a hall subgroup of finite group $G$. If $Hleq Z(N_{G}(H))$ then $H$ has a normal complement in $G$.



I want to know if we assume $|H|=n$ , $H$ is the only subgroup of $ N_{G}(H)$ with order $n$ ?



Or is the below statment true for hall subgroups?



" Let $H$ be a hall subgroup of finite group $G$. Also assume that $a,b in C_{G}(H)$.If $a,b$ are conjugate in $G$ then they are conjugate in $ N_{G}(H)$".



If one of the two is true I can reach the answer of the main question.










share|cite|improve this question
























  • Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
    – user10354138
    19 hours ago










  • @user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
    – Tobias Kildetoft
    19 hours ago










  • @user10354138 in the way you say we need $G$ be solvable.
    – Yasmin
    19 hours ago










  • oops, sorry, forgotten about that part.
    – user10354138
    19 hours ago










  • As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
    – Tobias Kildetoft
    19 hours ago















up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





Let $H$ be a hall subgroup of finite group $G$. If $Hleq Z(N_{G}(H))$ then $H$ has a normal complement in $G$.



I want to know if we assume $|H|=n$ , $H$ is the only subgroup of $ N_{G}(H)$ with order $n$ ?



Or is the below statment true for hall subgroups?



" Let $H$ be a hall subgroup of finite group $G$. Also assume that $a,b in C_{G}(H)$.If $a,b$ are conjugate in $G$ then they are conjugate in $ N_{G}(H)$".



If one of the two is true I can reach the answer of the main question.










share|cite|improve this question















Let $H$ be a hall subgroup of finite group $G$. If $Hleq Z(N_{G}(H))$ then $H$ has a normal complement in $G$.



I want to know if we assume $|H|=n$ , $H$ is the only subgroup of $ N_{G}(H)$ with order $n$ ?



Or is the below statment true for hall subgroups?



" Let $H$ be a hall subgroup of finite group $G$. Also assume that $a,b in C_{G}(H)$.If $a,b$ are conjugate in $G$ then they are conjugate in $ N_{G}(H)$".



If one of the two is true I can reach the answer of the main question.







group-theory finite-groups






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 17 hours ago

























asked 20 hours ago









Yasmin

1009




1009












  • Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
    – user10354138
    19 hours ago










  • @user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
    – Tobias Kildetoft
    19 hours ago










  • @user10354138 in the way you say we need $G$ be solvable.
    – Yasmin
    19 hours ago










  • oops, sorry, forgotten about that part.
    – user10354138
    19 hours ago










  • As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
    – Tobias Kildetoft
    19 hours ago




















  • Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
    – user10354138
    19 hours ago










  • @user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
    – Tobias Kildetoft
    19 hours ago










  • @user10354138 in the way you say we need $G$ be solvable.
    – Yasmin
    19 hours ago










  • oops, sorry, forgotten about that part.
    – user10354138
    19 hours ago










  • As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
    – Tobias Kildetoft
    19 hours ago


















Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
– user10354138
19 hours ago




Any two Hall $pi$-subgroups are conjugate, and you know $H$ is normal in $N_G(H)$.
– user10354138
19 hours ago












@user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
– Tobias Kildetoft
19 hours ago




@user10354138 Don't you need to assume the group is solvable to have all Hall $pi$-subgroups be conjugate? Or am I misremembering which parts of those theorems require solvability?
– Tobias Kildetoft
19 hours ago












@user10354138 in the way you say we need $G$ be solvable.
– Yasmin
19 hours ago




@user10354138 in the way you say we need $G$ be solvable.
– Yasmin
19 hours ago












oops, sorry, forgotten about that part.
– user10354138
19 hours ago




oops, sorry, forgotten about that part.
– user10354138
19 hours ago












As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
– Tobias Kildetoft
19 hours ago






As I commented on the (now deleted) MO question, if $H$ is a normal Hall subgroup and $K$ is a subgroup such that $|K|$ divides $|H|$ then $Kleq H$ (just consider the subgroup $HK$).
– Tobias Kildetoft
19 hours ago

















active

oldest

votes











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%2f2996408%2fhall-subgroup-that-has-normal-complement%23new-answer', 'question_page');
}
);

Post as a guest





































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996408%2fhall-subgroup-that-has-normal-complement%23new-answer', 'question_page');
}
);

Post as a guest




















































































Popular posts from this blog

How do I know what Microsoft account the skydrive app is syncing to?

When does type information flow backwards in C++?

Grease: Live!