If we divide a group and a proper subgroup of this group by the same normal subgroup, can the quotients be...











up vote
1
down vote

favorite












Let $G$ be a group and $H$ be a proper subgroup of $G$. Let $N$ be a normal subgroup of both $G$ and $H$.




Question: Is it possible that $G/N = H/N$?




Motivation: For a finite extension $L/K$ of local fields, we have exact sequences



$$newcommand{ra}[1]{kern-1.5exxrightarrow{ #1 }phantom{}kern-1.5ex}
newcommand{ras}[1]{kern-1.5exxrightarrow{ smash{#1} }phantom{}kern-1.5ex}
newcommand{da}[1]{biggdownarrowraise.5exrlap{scriptstyle#1}}
begin{array}{c}
1& ra{} & I_L & ra{} & G_L & ra{} & operatorname{Gal}(L^{ur}/L) & ra{} & 1 & & \
& & da{} & & da{} & & da{} & & & & \
1 & ra{} & I_K & ra{} & G_K & ra{} & operatorname{Gal}(K^{ur}/K) & ra{} & 1\
end{array}$$

We always have $operatorname{Gal}(L^{ur}/L) = operatorname{Gal}(K^{ur}/K) simeq hat{mathbb{Z}}$. If $L/K$ is totally ramified, we have $I_L = I_K$ and I would love to conclude that $G_L = G_K$. But I am not sure whether this is possible or not.



Could you please help me resolving this problem? Thank you!










share|cite|improve this question


















  • 2




    You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
    – Paul Plummer
    2 days ago






  • 1




    Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
    – verret
    2 days ago

















up vote
1
down vote

favorite












Let $G$ be a group and $H$ be a proper subgroup of $G$. Let $N$ be a normal subgroup of both $G$ and $H$.




Question: Is it possible that $G/N = H/N$?




Motivation: For a finite extension $L/K$ of local fields, we have exact sequences



$$newcommand{ra}[1]{kern-1.5exxrightarrow{ #1 }phantom{}kern-1.5ex}
newcommand{ras}[1]{kern-1.5exxrightarrow{ smash{#1} }phantom{}kern-1.5ex}
newcommand{da}[1]{biggdownarrowraise.5exrlap{scriptstyle#1}}
begin{array}{c}
1& ra{} & I_L & ra{} & G_L & ra{} & operatorname{Gal}(L^{ur}/L) & ra{} & 1 & & \
& & da{} & & da{} & & da{} & & & & \
1 & ra{} & I_K & ra{} & G_K & ra{} & operatorname{Gal}(K^{ur}/K) & ra{} & 1\
end{array}$$

We always have $operatorname{Gal}(L^{ur}/L) = operatorname{Gal}(K^{ur}/K) simeq hat{mathbb{Z}}$. If $L/K$ is totally ramified, we have $I_L = I_K$ and I would love to conclude that $G_L = G_K$. But I am not sure whether this is possible or not.



Could you please help me resolving this problem? Thank you!










share|cite|improve this question


















  • 2




    You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
    – Paul Plummer
    2 days ago






  • 1




    Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
    – verret
    2 days ago















up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $G$ be a group and $H$ be a proper subgroup of $G$. Let $N$ be a normal subgroup of both $G$ and $H$.




Question: Is it possible that $G/N = H/N$?




Motivation: For a finite extension $L/K$ of local fields, we have exact sequences



$$newcommand{ra}[1]{kern-1.5exxrightarrow{ #1 }phantom{}kern-1.5ex}
newcommand{ras}[1]{kern-1.5exxrightarrow{ smash{#1} }phantom{}kern-1.5ex}
newcommand{da}[1]{biggdownarrowraise.5exrlap{scriptstyle#1}}
begin{array}{c}
1& ra{} & I_L & ra{} & G_L & ra{} & operatorname{Gal}(L^{ur}/L) & ra{} & 1 & & \
& & da{} & & da{} & & da{} & & & & \
1 & ra{} & I_K & ra{} & G_K & ra{} & operatorname{Gal}(K^{ur}/K) & ra{} & 1\
end{array}$$

We always have $operatorname{Gal}(L^{ur}/L) = operatorname{Gal}(K^{ur}/K) simeq hat{mathbb{Z}}$. If $L/K$ is totally ramified, we have $I_L = I_K$ and I would love to conclude that $G_L = G_K$. But I am not sure whether this is possible or not.



Could you please help me resolving this problem? Thank you!










share|cite|improve this question













Let $G$ be a group and $H$ be a proper subgroup of $G$. Let $N$ be a normal subgroup of both $G$ and $H$.




Question: Is it possible that $G/N = H/N$?




Motivation: For a finite extension $L/K$ of local fields, we have exact sequences



$$newcommand{ra}[1]{kern-1.5exxrightarrow{ #1 }phantom{}kern-1.5ex}
newcommand{ras}[1]{kern-1.5exxrightarrow{ smash{#1} }phantom{}kern-1.5ex}
newcommand{da}[1]{biggdownarrowraise.5exrlap{scriptstyle#1}}
begin{array}{c}
1& ra{} & I_L & ra{} & G_L & ra{} & operatorname{Gal}(L^{ur}/L) & ra{} & 1 & & \
& & da{} & & da{} & & da{} & & & & \
1 & ra{} & I_K & ra{} & G_K & ra{} & operatorname{Gal}(K^{ur}/K) & ra{} & 1\
end{array}$$

We always have $operatorname{Gal}(L^{ur}/L) = operatorname{Gal}(K^{ur}/K) simeq hat{mathbb{Z}}$. If $L/K$ is totally ramified, we have $I_L = I_K$ and I would love to conclude that $G_L = G_K$. But I am not sure whether this is possible or not.



Could you please help me resolving this problem? Thank you!







abstract-algebra group-theory normal-subgroups quotient-group






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 2 days ago









Diglett

822420




822420








  • 2




    You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
    – Paul Plummer
    2 days ago






  • 1




    Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
    – verret
    2 days ago
















  • 2




    You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
    – Paul Plummer
    2 days ago






  • 1




    Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
    – verret
    2 days ago










2




2




You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
– Paul Plummer
2 days ago




You can have groups which are isomorphic to proper subgroups(integers, free group on two generators), so for N trivial you get the result. Can you apply the five lemma in the motivating example(or are the isomorhism you talk about not compatible with the exact sequences.
– Paul Plummer
2 days ago




1




1




Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
– verret
2 days ago






Do you mean isomorphic or equal? For equality, the answer is trivially no. For isomorphism, you might as well assume that $N=1$, and then you are asking whether a group can be isomorphic to a proper subgroup, and then you can take an example like $mathbb{Z}$ and any of its proper non-trivial subgroups.
– verret
2 days ago












1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










No. That $gin G$, and $G/N equiv H/N$ would imply that the coset $gN subset H$, so that $gin H$. This for all $g$.






share|cite|improve this answer





















    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%2f3005685%2fif-we-divide-a-group-and-a-proper-subgroup-of-this-group-by-the-same-normal-subg%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








    up vote
    2
    down vote



    accepted










    No. That $gin G$, and $G/N equiv H/N$ would imply that the coset $gN subset H$, so that $gin H$. This for all $g$.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      No. That $gin G$, and $G/N equiv H/N$ would imply that the coset $gN subset H$, so that $gin H$. This for all $g$.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        No. That $gin G$, and $G/N equiv H/N$ would imply that the coset $gN subset H$, so that $gin H$. This for all $g$.






        share|cite|improve this answer












        No. That $gin G$, and $G/N equiv H/N$ would imply that the coset $gN subset H$, so that $gin H$. This for all $g$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        R.C.Cowsik

        1653




        1653






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005685%2fif-we-divide-a-group-and-a-proper-subgroup-of-this-group-by-the-same-normal-subg%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

            'app-layout' is not a known element: how to share Component with different Modules

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            SQL update select statement