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

            A recreational problem The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manaraprime factors of numbers formed by primorialsAll the small primes close together yet againSimple quadratic, crazy question part 2Can every odd prime $pne 11$ be the smallest prime factor of a carmichael-number with $3$ prime factors?Is the product of consecutive primes in $(a, b)[n]$ $=$ $1$ $pmod ab$?Pythagorean triples that “survive” Euler's totient functionA question about a certain type of primesPrimes of the form $p^2+p+41$

            369. pr. Kr. Događaji Rođenja Smrti

            A weird inequality regarding integrals, limits, as well as sequence of functions. The 2019 Stack Overflow Developer Survey Results Are InA question regarding limits and integrable functionsChanging the order of $lim$ and $inf$ for point-wise converging monotonic sequence of functionsSequence of Distribution FunctionsBasic question on interchanging limits and integralsA sequence of functions $f_n$ that converges non-uniformly to $f$ but the limit of the integrals equals the integral of the limits?Is this (exotic) integral well defined and convergent (always)? and the bound correct?Sequence of differentiable,equicontinuous functionsProb. 10 (d), Chap. 6, in Baby Rudin: Holder Inequality for Improper Integrals With Infinite LimitsSuppose $f_n : [0,1]rightarrowmathbbR$ is a sequence of $C^1$ functions that converges pointwise to $f$.Suppose $f$ is a continuous function on $[a,b]$ and let $M=sup_ a leq x leq b |f(x)|$