The order of conjugate subgroups. The 2019 Stack Overflow Developer Survey Results Are InDoes the order, lattice of subgroups, and lattice of factor groups, uniquely determine a group up to isomorphism?Question involving Sylow theorems and characteristic subgroupsare all finite index subgroups automorphic to each other?Characteristic subgroups of order $2$how are group order and element order related?Order of an AutomorphismCharacteristic subgroups of normal subgroups are normalExplicit expressions of inner / outer automorphism of symplectic groupAny group automorphism can preserve some nontrivial subgroups if the group is non-abelianFind the order of $operatornameAut(G)$.

What is the closest word meaning "respect for time / mindful"

Why did Acorn's A3000 have red function keys?

Can someone be penalized for an "unlawful" act if no penalty is specified?

Why was M87 targetted for the Event Horizon Telescope instead of Sagittarius A*?

Falsification in Math vs Science

"as much details as you can remember"

What do hard-Brexiteers want with respect to the Irish border?

Can we generate random numbers using irrational numbers like π and e?

How to manage monthly salary

Are spiders unable to hurt humans, especially very small spiders?

When should I buy a clipper card after flying to OAK?

What is the accessibility of a package's `Private` context variables?

Did Scotland spend $250,000 for the slogan "Welcome to Scotland"?

How to answer pointed "are you quitting" questioning when I don't want them to suspect

Why didn't the Event Horizon Telescope team mention Sagittarius A*?

How to deal with speedster characters?

Output the Arecibo Message

Geography at the pixel level

What did it mean to "align" a radio?

Time travel alters history but people keep saying nothing's changed

Origin of "cooter" meaning "vagina"

If I score a critical hit on an 18 or higher, what are my chances of getting a critical hit if I roll 3d20?

What is the meaning of Triage in Cybersec world?

If a Druid sees an animal’s corpse, can they Wild Shape into that animal?



The order of conjugate subgroups.



The 2019 Stack Overflow Developer Survey Results Are InDoes the order, lattice of subgroups, and lattice of factor groups, uniquely determine a group up to isomorphism?Question involving Sylow theorems and characteristic subgroupsare all finite index subgroups automorphic to each other?Characteristic subgroups of order $2$how are group order and element order related?Order of an AutomorphismCharacteristic subgroups of normal subgroups are normalExplicit expressions of inner / outer automorphism of symplectic groupAny group automorphism can preserve some nontrivial subgroups if the group is non-abelianFind the order of $operatornameAut(G)$.










0












$begingroup$



Let $G$ be a group, and let $H$ be a subgroup of $G$.




Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.



I have some question about the 'order':



(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?



(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.



Thank you!










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
    $endgroup$
    – Arturo Magidin
    Apr 7 at 17:56















0












$begingroup$



Let $G$ be a group, and let $H$ be a subgroup of $G$.




Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.



I have some question about the 'order':



(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?



(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.



Thank you!










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
    $endgroup$
    – Arturo Magidin
    Apr 7 at 17:56













0












0








0





$begingroup$



Let $G$ be a group, and let $H$ be a subgroup of $G$.




Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.



I have some question about the 'order':



(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?



(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.



Thank you!










share|cite|improve this question









$endgroup$





Let $G$ be a group, and let $H$ be a subgroup of $G$.




Then, for any fixed $gin G$, i know that $Hcong gHg^-1$ by inner-automorphism.



I have some question about the 'order':



(1) Is it true that $|H|=|gHg^-1|$ if $|H|<infty$ or $|G:H|<infty$?



(2) If (1) is true, give some counterexample for the case that $|H|=infty$ or $|G:H|=infty$.



Thank you!







group-theory automorphism-group






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Apr 7 at 17:53









PrimaveraPrimavera

32619




32619







  • 1




    $begingroup$
    It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
    $endgroup$
    – Arturo Magidin
    Apr 7 at 17:56












  • 1




    $begingroup$
    It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
    $endgroup$
    – Arturo Magidin
    Apr 7 at 17:56







1




1




$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56




$begingroup$
It’s true that $|H|=|gHg^-1|$ always. Isomorphisms require a bijective underlying function, and a bijection establishes equality of cardinality.
$endgroup$
– Arturo Magidin
Apr 7 at 17:56










1 Answer
1






active

oldest

votes


















2












$begingroup$

There are three facts needed, here:



  • Every group isomorphism is a bijection.

  • Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.

  • The order of a group is the cardinality of the set of its elements.

Consequently, we will always have $|H|=left|gHg^-1right|.$






share|cite|improve this answer









$endgroup$













    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',
    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
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178553%2fthe-order-of-conjugate-subgroups%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









    2












    $begingroup$

    There are three facts needed, here:



    • Every group isomorphism is a bijection.

    • Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.

    • The order of a group is the cardinality of the set of its elements.

    Consequently, we will always have $|H|=left|gHg^-1right|.$






    share|cite|improve this answer









    $endgroup$

















      2












      $begingroup$

      There are three facts needed, here:



      • Every group isomorphism is a bijection.

      • Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.

      • The order of a group is the cardinality of the set of its elements.

      Consequently, we will always have $|H|=left|gHg^-1right|.$






      share|cite|improve this answer









      $endgroup$















        2












        2








        2





        $begingroup$

        There are three facts needed, here:



        • Every group isomorphism is a bijection.

        • Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.

        • The order of a group is the cardinality of the set of its elements.

        Consequently, we will always have $|H|=left|gHg^-1right|.$






        share|cite|improve this answer









        $endgroup$



        There are three facts needed, here:



        • Every group isomorphism is a bijection.

        • Given two sets $A$ and $B,$ $A$ and $B$ are of equal cardinality if and only if there exists a bijection between them.

        • The order of a group is the cardinality of the set of its elements.

        Consequently, we will always have $|H|=left|gHg^-1right|.$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Apr 7 at 18:13









        Cameron BuieCameron Buie

        86.7k773161




        86.7k773161



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3178553%2fthe-order-of-conjugate-subgroups%23new-answer', 'question_page');

            );

            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







            Popular posts from this blog

            Hidroelektrana Sadržaj Povijest | Podjela hidroelektrana | Snaga dobivena u hidroelektranama | Dijelovi hidroelektrane | Uloga hidroelektrana u suvremenom svijetu | Prednosti hidroelektrana | Nedostaci hidroelektrana | Države s najvećom proizvodnjom hidro-električne energije | Deset najvećih hidroelektrana u svijetu | Hidroelektrane u Hrvatskoj | Izvori | Poveznice | Vanjske poveznice | Navigacijski izbornikTechnical Report, Version 2Zajedničkom poslužiteljuHidroelektranaHEP Proizvodnja d.o.o. - Hidroelektrane u Hrvatskoj

            WordPress Information needed

            Oconto (Nebraska) Índice Demografia | Geografia | Localidades na vizinhança | Referências Ligações externas | Menu de navegação41° 8' 29" N 99° 45' 41" O41° 8' 29" N 99° 45' 41" OU.S. Census Bureau. Census 2000 Summary File 1U.S. Census Bureau. Estimativa da população (julho de 2006)U.S. Board on Geographic Names. Topical Gazetteers Populated Places. Gráficos do banco de dados de altitudes dos Estados Unidos da AméricaEstatísticas, mapas e outras informações sobre Oconto em city-data.com