A finite group such that every element is conjugate to its square is trivial
Clash Royale CLAN TAG#URR8PPP
up vote
23
down vote
favorite
Suppose $G$ is a finite group such that $g$ is conjugate to $g^2$ for every $gin G$.
Here's a proof that $G$ is trivial. First, observe that if $lvert Grvert$ is even, then $G$ contains an element $h$ of order $2$, in which case, $h$ is conjugate to $h^2=1$. But this implies that $h=1$, so $h$ does not have order $2$. By contradiction, $lvert Grvert$ is odd. Then, by the FeitâÂÂThompson theorem, $G$ is solvable. In particular, this means that the derived series of $G$ terminates. However, for any $g$ in $G$, there exists $ain G$ such that $g^2=aga^-1$, i.e., $g=aga^-1g^-1in G^(1)$. It follows that $G^(1)=G$. In fact, this shows that $G^(n)=G$ for all $ngeq 1$. Since the derived series of $G$ terminates, this implies that $G$ must be trivial.
While I'm convinced of the result, this proof is not particularly satisfying to me, since it relies on Feit-Thompson. Is there an elementary proof that $G$ is trivial?
abstract-algebra group-theory finite-groups
add a comment |Â
up vote
23
down vote
favorite
Suppose $G$ is a finite group such that $g$ is conjugate to $g^2$ for every $gin G$.
Here's a proof that $G$ is trivial. First, observe that if $lvert Grvert$ is even, then $G$ contains an element $h$ of order $2$, in which case, $h$ is conjugate to $h^2=1$. But this implies that $h=1$, so $h$ does not have order $2$. By contradiction, $lvert Grvert$ is odd. Then, by the FeitâÂÂThompson theorem, $G$ is solvable. In particular, this means that the derived series of $G$ terminates. However, for any $g$ in $G$, there exists $ain G$ such that $g^2=aga^-1$, i.e., $g=aga^-1g^-1in G^(1)$. It follows that $G^(1)=G$. In fact, this shows that $G^(n)=G$ for all $ngeq 1$. Since the derived series of $G$ terminates, this implies that $G$ must be trivial.
While I'm convinced of the result, this proof is not particularly satisfying to me, since it relies on Feit-Thompson. Is there an elementary proof that $G$ is trivial?
abstract-algebra group-theory finite-groups
3
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17
add a comment |Â
up vote
23
down vote
favorite
up vote
23
down vote
favorite
Suppose $G$ is a finite group such that $g$ is conjugate to $g^2$ for every $gin G$.
Here's a proof that $G$ is trivial. First, observe that if $lvert Grvert$ is even, then $G$ contains an element $h$ of order $2$, in which case, $h$ is conjugate to $h^2=1$. But this implies that $h=1$, so $h$ does not have order $2$. By contradiction, $lvert Grvert$ is odd. Then, by the FeitâÂÂThompson theorem, $G$ is solvable. In particular, this means that the derived series of $G$ terminates. However, for any $g$ in $G$, there exists $ain G$ such that $g^2=aga^-1$, i.e., $g=aga^-1g^-1in G^(1)$. It follows that $G^(1)=G$. In fact, this shows that $G^(n)=G$ for all $ngeq 1$. Since the derived series of $G$ terminates, this implies that $G$ must be trivial.
While I'm convinced of the result, this proof is not particularly satisfying to me, since it relies on Feit-Thompson. Is there an elementary proof that $G$ is trivial?
abstract-algebra group-theory finite-groups
Suppose $G$ is a finite group such that $g$ is conjugate to $g^2$ for every $gin G$.
Here's a proof that $G$ is trivial. First, observe that if $lvert Grvert$ is even, then $G$ contains an element $h$ of order $2$, in which case, $h$ is conjugate to $h^2=1$. But this implies that $h=1$, so $h$ does not have order $2$. By contradiction, $lvert Grvert$ is odd. Then, by the FeitâÂÂThompson theorem, $G$ is solvable. In particular, this means that the derived series of $G$ terminates. However, for any $g$ in $G$, there exists $ain G$ such that $g^2=aga^-1$, i.e., $g=aga^-1g^-1in G^(1)$. It follows that $G^(1)=G$. In fact, this shows that $G^(n)=G$ for all $ngeq 1$. Since the derived series of $G$ terminates, this implies that $G$ must be trivial.
While I'm convinced of the result, this proof is not particularly satisfying to me, since it relies on Feit-Thompson. Is there an elementary proof that $G$ is trivial?
abstract-algebra group-theory finite-groups
asked Aug 16 at 3:56
Zilliput
944620
944620
3
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17
add a comment |Â
3
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17
3
3
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
22
down vote
accepted
As you say, $G$ must have odd order. Let $p$ be the smallest prime factor
of the order of $G$, and $a$ an element of order $p$. Let $H$ be the subgroup generated by $a$, $C$ be the centraliser of $H$ and $N$ the normaliser of $H$. Then
$r=|N:C|$ is the number of elements of $H$ which are conjugates of $a$. So
$r<p$ but $r>1$, as $a^2ne a$ is the conjugate of $a$. But $rmid |G|$
and $1<r<p$, contradicting $p$ being the smallest (prime) factor of $|G|$.
add a comment |Â
up vote
8
down vote
Just to add to Lord Shark's answer, if you are curious, see Lemma 5.1 of the paper Gabriel Navarro, The McKay conjecture and Galois automorphisms, Annals of Mathematics, 160 (2004), 1129âÂÂ1140.
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
22
down vote
accepted
As you say, $G$ must have odd order. Let $p$ be the smallest prime factor
of the order of $G$, and $a$ an element of order $p$. Let $H$ be the subgroup generated by $a$, $C$ be the centraliser of $H$ and $N$ the normaliser of $H$. Then
$r=|N:C|$ is the number of elements of $H$ which are conjugates of $a$. So
$r<p$ but $r>1$, as $a^2ne a$ is the conjugate of $a$. But $rmid |G|$
and $1<r<p$, contradicting $p$ being the smallest (prime) factor of $|G|$.
add a comment |Â
up vote
22
down vote
accepted
As you say, $G$ must have odd order. Let $p$ be the smallest prime factor
of the order of $G$, and $a$ an element of order $p$. Let $H$ be the subgroup generated by $a$, $C$ be the centraliser of $H$ and $N$ the normaliser of $H$. Then
$r=|N:C|$ is the number of elements of $H$ which are conjugates of $a$. So
$r<p$ but $r>1$, as $a^2ne a$ is the conjugate of $a$. But $rmid |G|$
and $1<r<p$, contradicting $p$ being the smallest (prime) factor of $|G|$.
add a comment |Â
up vote
22
down vote
accepted
up vote
22
down vote
accepted
As you say, $G$ must have odd order. Let $p$ be the smallest prime factor
of the order of $G$, and $a$ an element of order $p$. Let $H$ be the subgroup generated by $a$, $C$ be the centraliser of $H$ and $N$ the normaliser of $H$. Then
$r=|N:C|$ is the number of elements of $H$ which are conjugates of $a$. So
$r<p$ but $r>1$, as $a^2ne a$ is the conjugate of $a$. But $rmid |G|$
and $1<r<p$, contradicting $p$ being the smallest (prime) factor of $|G|$.
As you say, $G$ must have odd order. Let $p$ be the smallest prime factor
of the order of $G$, and $a$ an element of order $p$. Let $H$ be the subgroup generated by $a$, $C$ be the centraliser of $H$ and $N$ the normaliser of $H$. Then
$r=|N:C|$ is the number of elements of $H$ which are conjugates of $a$. So
$r<p$ but $r>1$, as $a^2ne a$ is the conjugate of $a$. But $rmid |G|$
and $1<r<p$, contradicting $p$ being the smallest (prime) factor of $|G|$.
edited Aug 16 at 4:48
answered Aug 16 at 4:39
Lord Shark the Unknown
87.3k952113
87.3k952113
add a comment |Â
add a comment |Â
up vote
8
down vote
Just to add to Lord Shark's answer, if you are curious, see Lemma 5.1 of the paper Gabriel Navarro, The McKay conjecture and Galois automorphisms, Annals of Mathematics, 160 (2004), 1129âÂÂ1140.
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
add a comment |Â
up vote
8
down vote
Just to add to Lord Shark's answer, if you are curious, see Lemma 5.1 of the paper Gabriel Navarro, The McKay conjecture and Galois automorphisms, Annals of Mathematics, 160 (2004), 1129âÂÂ1140.
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
add a comment |Â
up vote
8
down vote
up vote
8
down vote
Just to add to Lord Shark's answer, if you are curious, see Lemma 5.1 of the paper Gabriel Navarro, The McKay conjecture and Galois automorphisms, Annals of Mathematics, 160 (2004), 1129âÂÂ1140.
Just to add to Lord Shark's answer, if you are curious, see Lemma 5.1 of the paper Gabriel Navarro, The McKay conjecture and Galois automorphisms, Annals of Mathematics, 160 (2004), 1129âÂÂ1140.
edited Aug 16 at 15:14
user1729
16.8k64082
16.8k64082
answered Aug 16 at 11:05
McGuire
20326
20326
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
add a comment |Â
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
2
2
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
Very nice little gem.
â Nicky Hekster
Aug 16 at 11:13
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2884382%2fa-finite-group-such-that-every-element-is-conjugate-to-its-square-is-trivial%23new-answer', 'question_page');
);
Post as a guest
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
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
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
3
This is a surprisingly hard question (althoughI know very little about finite group theory!)
â Andres Mejia
Aug 16 at 4:17