A finite group such that every element is conjugate to its square is trivial

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
23
down vote

favorite
8












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?







share|cite|improve this question
















  • 3




    This is a surprisingly hard question (althoughI know very little about finite group theory!)
    – Andres Mejia
    Aug 16 at 4:17















up vote
23
down vote

favorite
8












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?







share|cite|improve this question
















  • 3




    This is a surprisingly hard question (althoughI know very little about finite group theory!)
    – Andres Mejia
    Aug 16 at 4:17













up vote
23
down vote

favorite
8









up vote
23
down vote

favorite
8






8





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?







share|cite|improve this question












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?









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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













  • 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











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|$.






share|cite|improve this answer





























    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.






    share|cite|improve this answer


















    • 2




      Very nice little gem.
      – Nicky Hekster
      Aug 16 at 11:13










    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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2884382%2fa-finite-group-such-that-every-element-is-conjugate-to-its-square-is-trivial%23new-answer', 'question_page');

    );

    Post as a guest






























    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|$.






    share|cite|improve this answer


























      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|$.






      share|cite|improve this answer
























        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|$.






        share|cite|improve this answer














        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|$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 16 at 4:48

























        answered Aug 16 at 4:39









        Lord Shark the Unknown

        87.3k952113




        87.3k952113




















            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.






            share|cite|improve this answer


















            • 2




              Very nice little gem.
              – Nicky Hekster
              Aug 16 at 11:13














            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.






            share|cite|improve this answer


















            • 2




              Very nice little gem.
              – Nicky Hekster
              Aug 16 at 11:13












            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.






            share|cite|improve this answer














            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.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            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












            • 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












             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            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













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Mutual Information Always Non-negative

            Why am i infinitely getting the same tweet with the Twitter Search API?