Let $a$ and $b$ be elements of a group $G$, and $H$ and $K$ be subgroups of $G$. If $aH=bK$, prove that...











up vote
2
down vote

favorite
1













Let $a$ and $b$ be elements of a group $G$ and $H$ and $K$ be subgroups of $G$. If $aH=bK$, prove that $H=K$.




My attempt: we know that $aH=bH$ if $ain bH$ or $a^{-1}bin H$. I think that these properties will be used in the solution, but I cannot understand how they will be used since we not know if $a$ and $b$ are part of any subgroup.



I thought of proving somehow that $aH=H$ and $bK=K$ so we could show $H=K$, but again I am stuck at the fact that I do not know if $a$ belongs to $H$ or not.



What should be my next steps?










share|cite|improve this question






















  • Hint: prove that $a^{-1}bin Hcap K$.
    – user10354138
    Nov 13 at 13:50










  • @user10354138 Sorry I couldn't get it to work :(
    – Gaurang Tandon
    Nov 13 at 14:07















up vote
2
down vote

favorite
1













Let $a$ and $b$ be elements of a group $G$ and $H$ and $K$ be subgroups of $G$. If $aH=bK$, prove that $H=K$.




My attempt: we know that $aH=bH$ if $ain bH$ or $a^{-1}bin H$. I think that these properties will be used in the solution, but I cannot understand how they will be used since we not know if $a$ and $b$ are part of any subgroup.



I thought of proving somehow that $aH=H$ and $bK=K$ so we could show $H=K$, but again I am stuck at the fact that I do not know if $a$ belongs to $H$ or not.



What should be my next steps?










share|cite|improve this question






















  • Hint: prove that $a^{-1}bin Hcap K$.
    – user10354138
    Nov 13 at 13:50










  • @user10354138 Sorry I couldn't get it to work :(
    – Gaurang Tandon
    Nov 13 at 14:07













up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1






Let $a$ and $b$ be elements of a group $G$ and $H$ and $K$ be subgroups of $G$. If $aH=bK$, prove that $H=K$.




My attempt: we know that $aH=bH$ if $ain bH$ or $a^{-1}bin H$. I think that these properties will be used in the solution, but I cannot understand how they will be used since we not know if $a$ and $b$ are part of any subgroup.



I thought of proving somehow that $aH=H$ and $bK=K$ so we could show $H=K$, but again I am stuck at the fact that I do not know if $a$ belongs to $H$ or not.



What should be my next steps?










share|cite|improve this question














Let $a$ and $b$ be elements of a group $G$ and $H$ and $K$ be subgroups of $G$. If $aH=bK$, prove that $H=K$.




My attempt: we know that $aH=bH$ if $ain bH$ or $a^{-1}bin H$. I think that these properties will be used in the solution, but I cannot understand how they will be used since we not know if $a$ and $b$ are part of any subgroup.



I thought of proving somehow that $aH=H$ and $bK=K$ so we could show $H=K$, but again I am stuck at the fact that I do not know if $a$ belongs to $H$ or not.



What should be my next steps?







group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 13:38









Gaurang Tandon

3,48522147




3,48522147












  • Hint: prove that $a^{-1}bin Hcap K$.
    – user10354138
    Nov 13 at 13:50










  • @user10354138 Sorry I couldn't get it to work :(
    – Gaurang Tandon
    Nov 13 at 14:07


















  • Hint: prove that $a^{-1}bin Hcap K$.
    – user10354138
    Nov 13 at 13:50










  • @user10354138 Sorry I couldn't get it to work :(
    – Gaurang Tandon
    Nov 13 at 14:07
















Hint: prove that $a^{-1}bin Hcap K$.
– user10354138
Nov 13 at 13:50




Hint: prove that $a^{-1}bin Hcap K$.
– user10354138
Nov 13 at 13:50












@user10354138 Sorry I couldn't get it to work :(
– Gaurang Tandon
Nov 13 at 14:07




@user10354138 Sorry I couldn't get it to work :(
– Gaurang Tandon
Nov 13 at 14:07










2 Answers
2






active

oldest

votes

















up vote
4
down vote



accepted










Simply see that if $ae=a in aH$, so $ain bK implies aK=bK=aH$
Now, multiply by $a^{-1}$ both sides and you have $H=K$






share|cite|improve this answer




























    up vote
    1
    down vote













    $textbf{Hint:}$



    $e$ is in both $H$ and $K$ so $ae=bk_1$. Similarly for other cases. Then try to show the same thing common between both in terms of $a$ and $b$. Then from equality, you get whatever you wanted to prove.






    share|cite|improve this answer























    • From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
      – Gaurang Tandon
      Nov 13 at 14:06










    • What is relations with 2 element you have found?
      – Shubham
      Nov 13 at 14:15











    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: 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%2f2996739%2flet-a-and-b-be-elements-of-a-group-g-and-h-and-k-be-subgroups-of-g%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    4
    down vote



    accepted










    Simply see that if $ae=a in aH$, so $ain bK implies aK=bK=aH$
    Now, multiply by $a^{-1}$ both sides and you have $H=K$






    share|cite|improve this answer

























      up vote
      4
      down vote



      accepted










      Simply see that if $ae=a in aH$, so $ain bK implies aK=bK=aH$
      Now, multiply by $a^{-1}$ both sides and you have $H=K$






      share|cite|improve this answer























        up vote
        4
        down vote



        accepted







        up vote
        4
        down vote



        accepted






        Simply see that if $ae=a in aH$, so $ain bK implies aK=bK=aH$
        Now, multiply by $a^{-1}$ both sides and you have $H=K$






        share|cite|improve this answer












        Simply see that if $ae=a in aH$, so $ain bK implies aK=bK=aH$
        Now, multiply by $a^{-1}$ both sides and you have $H=K$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 13 at 14:33









        Lord KK

        78628




        78628






















            up vote
            1
            down vote













            $textbf{Hint:}$



            $e$ is in both $H$ and $K$ so $ae=bk_1$. Similarly for other cases. Then try to show the same thing common between both in terms of $a$ and $b$. Then from equality, you get whatever you wanted to prove.






            share|cite|improve this answer























            • From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
              – Gaurang Tandon
              Nov 13 at 14:06










            • What is relations with 2 element you have found?
              – Shubham
              Nov 13 at 14:15















            up vote
            1
            down vote













            $textbf{Hint:}$



            $e$ is in both $H$ and $K$ so $ae=bk_1$. Similarly for other cases. Then try to show the same thing common between both in terms of $a$ and $b$. Then from equality, you get whatever you wanted to prove.






            share|cite|improve this answer























            • From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
              – Gaurang Tandon
              Nov 13 at 14:06










            • What is relations with 2 element you have found?
              – Shubham
              Nov 13 at 14:15













            up vote
            1
            down vote










            up vote
            1
            down vote









            $textbf{Hint:}$



            $e$ is in both $H$ and $K$ so $ae=bk_1$. Similarly for other cases. Then try to show the same thing common between both in terms of $a$ and $b$. Then from equality, you get whatever you wanted to prove.






            share|cite|improve this answer














            $textbf{Hint:}$



            $e$ is in both $H$ and $K$ so $ae=bk_1$. Similarly for other cases. Then try to show the same thing common between both in terms of $a$ and $b$. Then from equality, you get whatever you wanted to prove.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited 2 days ago









            amWhy

            191k27223437




            191k27223437










            answered Nov 13 at 14:02









            Shubham

            1,2931518




            1,2931518












            • From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
              – Gaurang Tandon
              Nov 13 at 14:06










            • What is relations with 2 element you have found?
              – Shubham
              Nov 13 at 14:15


















            • From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
              – Gaurang Tandon
              Nov 13 at 14:06










            • What is relations with 2 element you have found?
              – Shubham
              Nov 13 at 14:15
















            From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
            – Gaurang Tandon
            Nov 13 at 14:06




            From here I get $a=bk_1$ and $b=ah_1$, which yields that $ab^{-1}=k_1$ and $a^{-1}b=h_1$. What do i do now?
            – Gaurang Tandon
            Nov 13 at 14:06












            What is relations with 2 element you have found?
            – Shubham
            Nov 13 at 14:15




            What is relations with 2 element you have found?
            – Shubham
            Nov 13 at 14:15


















             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996739%2flet-a-and-b-be-elements-of-a-group-g-and-h-and-k-be-subgroups-of-g%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

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?