Mixing
Does every finite non-trivial complete group have even order?
$begingroup$
Does every finite non-trivial complete group have even order?
I checked three well known classes of complete groups, and this statement is true for them all:
1) Symmetric groups:
All symmetric groups have even order (a well known fact)
2) Automorphism groups of non-abelian simple groups:
All non-abelian simple groups are of even order by Feit-Thompson theorem. Thus they have elements of order 2. And, as all non-abelian simple groups are centreless, this element is not in its centre. Thus, the conjugation by it is an automorphism of order 2. That means, that all automorphism groups of non-abelian simple groups have even order.
3) Holomorphs of cyclic groups of even order (here is the proof, why they are complete: Is the statement that $ operatorname{Aut}( operatorname{Hol}(Z_n)) cong operatorname{Hol}(Z_n)$ true for every odd $n$?):
All cyclic groups are abelian and thus all cyclic groups of even order have automorphism of order 2, that maps all their elements to their inverse. Thus both their automorphism group and their holomorph are of even order.
However, I do not know, how to prove this statement in general.
Any help will be appreciated.
abstract-algebra group-theory finite-groups automorphism-group complete-groups
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
$endgroup$
add a comment |
$begingroup$
Does every finite non-trivial complete group have even order?
I checked three well known classes of complete groups, and this statement is true for them all:
1) Symmetric groups:
All symmetric groups have even order (a well known fact)
2) Automorphism groups of non-abelian simple groups:
All non-abelian simple groups are of even order by Feit-Thompson theorem. Thus they have elements of order 2. And, as all non-abelian simple groups are centreless, this element is not in its centre. Thus, the conjugation by it is an automorphism of order 2. That means, that all automorphism groups of non-abelian simple groups have even order.
3) Holomorphs of cyclic groups of even order (here is the proof, why they are complete: Is the statement that $ operatorname{Aut}( operatorname{Hol}(Z_n)) cong operatorname{Hol}(Z_n)$ true for every odd $n$?):
All cyclic groups are abelian and thus all cyclic groups of even order have automorphism of order 2, that maps all their elements to their inverse. Thus both their automorphism group and their holomorph are of even order.
However, I do not know, how to prove this statement in general.
Any help will be appreciated.
abstract-algebra group-theory finite-groups automorphism-group complete-groups
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
$endgroup$
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57
add a comment |
$begingroup$
Does every finite non-trivial complete group have even order?
I checked three well known classes of complete groups, and this statement is true for them all:
1) Symmetric groups:
All symmetric groups have even order (a well known fact)
2) Automorphism groups of non-abelian simple groups:
All non-abelian simple groups are of even order by Feit-Thompson theorem. Thus they have elements of order 2. And, as all non-abelian simple groups are centreless, this element is not in its centre. Thus, the conjugation by it is an automorphism of order 2. That means, that all automorphism groups of non-abelian simple groups have even order.
3) Holomorphs of cyclic groups of even order (here is the proof, why they are complete: Is the statement that $ operatorname{Aut}( operatorname{Hol}(Z_n)) cong operatorname{Hol}(Z_n)$ true for every odd $n$?):
All cyclic groups are abelian and thus all cyclic groups of even order have automorphism of order 2, that maps all their elements to their inverse. Thus both their automorphism group and their holomorph are of even order.
However, I do not know, how to prove this statement in general.
Any help will be appreciated.
abstract-algebra group-theory finite-groups automorphism-group complete-groups
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
$endgroup$
Does every finite non-trivial complete group have even order?
I checked three well known classes of complete groups, and this statement is true for them all:
1) Symmetric groups:
All symmetric groups have even order (a well known fact)
2) Automorphism groups of non-abelian simple groups:
All non-abelian simple groups are of even order by Feit-Thompson theorem. Thus they have elements of order 2. And, as all non-abelian simple groups are centreless, this element is not in its centre. Thus, the conjugation by it is an automorphism of order 2. That means, that all automorphism groups of non-abelian simple groups have even order.
3) Holomorphs of cyclic groups of even order (here is the proof, why they are complete: Is the statement that $ operatorname{Aut}( operatorname{Hol}(Z_n)) cong operatorname{Hol}(Z_n)$ true for every odd $n$?):
All cyclic groups are abelian and thus all cyclic groups of even order have automorphism of order 2, that maps all their elements to their inverse. Thus both their automorphism group and their holomorph are of even order.
However, I do not know, how to prove this statement in general.
Any help will be appreciated.
abstract-algebra group-theory finite-groups automorphism-group complete-groups
abstract-algebra group-theory finite-groups automorphism-group complete-groups
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
edited Feb 3 at 11:00
Yanior Weg
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
asked Sep 5 '18 at 17:34
Yanior WegYanior Weg
2,92821549
2,92821549
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57
add a comment |
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
No. There was at one time a conjecture that this is true, but an example of a complete group of order $3cdot 19cdot 7^{12}$ was produced by R.S. Dark in “A complete group of odd order”.
edited Sep 24 '18 at 7:45
mrs
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
$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%2f2906545%2fdoes-every-finite-non-trivial-complete-group-have-even-order%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
$begingroup$
No. There was at one time a conjecture that this is true, but an example of a complete group of order $3cdot 19cdot 7^{12}$ was produced by R.S. Dark in “A complete group of odd order”.
edited Sep 24 '18 at 7:45
mrs
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
$endgroup$
add a comment |
$begingroup$
No. There was at one time a conjecture that this is true, but an example of a complete group of order $3cdot 19cdot 7^{12}$ was produced by R.S. Dark in “A complete group of odd order”.
edited Sep 24 '18 at 7:45
mrs
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
$endgroup$
add a comment |
$begingroup$
No. There was at one time a conjecture that this is true, but an example of a complete group of order $3cdot 19cdot 7^{12}$ was produced by R.S. Dark in “A complete group of odd order”.
edited Sep 24 '18 at 7:45
mrs
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
$endgroup$
No. There was at one time a conjecture that this is true, but an example of a complete group of order $3cdot 19cdot 7^{12}$ was produced by R.S. Dark in “A complete group of odd order”.
edited Sep 24 '18 at 7:45
mrs
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
edited Sep 24 '18 at 7:45
mrs
1
edited Sep 24 '18 at 7:45
mrs
1
edited Sep 24 '18 at 7:45
mrs
1
1
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
answered Sep 5 '18 at 18:09
JamesJames
7,16721527
7,16721527
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%2f2906545%2fdoes-every-finite-non-trivial-complete-group-have-even-order%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
$begingroup$
No. Try searching for "odd order complete group".
$endgroup$
– Derek Holt
Sep 5 '18 at 17:57