Third isomorphism theorem on groupsSecond isomorphism theorem on groupsAre normal subgroups transitive?Interpretation of First Isomorphism TheoremWhy $phi(H) cong H/ kerphi$ in the Second Isomorphism Theorem?Question in line of proof for first isomorphism theoremIntuition about the first isomorphism theoremIntuition about the second isomorphism theoremShow normal subgroup $N$ is a subset of $kerphi$ if $psi$ is well-definedLet $G,H$ be groups and $varphi:G times Hto G$ and $H'=ker(varphi)$. Show that $(Gtimes H)/H'cong G$First isomorphism theorem on groupsSecond isomorphism theorem on groups

What is the most common color to indicate the input-field is disabled?

How can I deal with my CEO asking me to hire someone with a higher salary than me, a co-founder?

One verb to replace 'be a member of' a club

Could the museum Saturn V's be refitted for one more flight?

Size of subfigure fitting its content (tikzpicture)

Bullying boss launched a smear campaign and made me unemployable

Would Slavery Reparations be considered Bills of Attainder and hence Illegal?

Assassin's bullet with mercury

How can saying a song's name be a copyright violation?

Why didn't Boeing produce its own regional jet?

Examples of smooth manifolds admitting inbetween one and a continuum of complex structures

Avoiding the "not like other girls" trope?

How to show a landlord what we have in savings?

Personal Teleportation: From Rags to Riches

Arrow those variables!

Why would the Red Woman birth a shadow if she worshipped the Lord of the Light?

Method Does Not Exist error message

How dangerous is XSS?

Why doesn't using multiple commands with a || or && conditional work?

Do UK voters know if their MP will be the Speaker of the House?

Why does this cyclic subgroup have only 4 subgroups?

Apex Framework / library for consuming REST services

How to tell a function to use the default argument values?

Is it logically or scientifically possible to artificially send energy to the body?



Third isomorphism theorem on groups


Second isomorphism theorem on groupsAre normal subgroups transitive?Interpretation of First Isomorphism TheoremWhy $phi(H) cong H/ kerphi$ in the Second Isomorphism Theorem?Question in line of proof for first isomorphism theoremIntuition about the first isomorphism theoremIntuition about the second isomorphism theoremShow normal subgroup $N$ is a subset of $kerphi$ if $psi$ is well-definedLet $G,H$ be groups and $varphi:G times Hto G$ and $H'=ker(varphi)$. Show that $(Gtimes H)/H'cong G$First isomorphism theorem on groupsSecond isomorphism theorem on groups













2












$begingroup$


From this wikipedia's page, I have found these important theorems. I would like to give it a try. Since I am self-learning Mathematical Analysis without teacher or tutor, it will be great if someone helps me check it out. Thank you for your help!




Third isomorphism theorem on groups



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



  1. If $K$ is a subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a subgroup of $G/N$.


  2. Every subgroup of $G/N$ is of the form $K/N$, for some subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  3. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a normal subgroup of $G/N$.


  4. Every normal subgroup of $G/N$ is of the form $K/N$, for some normal subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  5. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then the quotient group $(G/N)/(K/N) cong G/K$.




My attempt:



Clearly, $K/N,G/N$ are groups and $K/N subseteq G/N$. So $K/N$ is a subgroup of $G/N$. Assertion (1.) then follows.



Let $H$ be a subgroup of $G/N$ and $K = g in G mid gN in H$. If $g_1, g_2 in K$ then $g_1N in H,g_2N in H$. So $(g_1N)(g_2N) in H$ or $(g_1g_2)N in H$. Hence $g_1g_2 in K$ and thus $K$ is closed. If $g in K$ then $gN in H$ and thus $g^-1N = Ng^-1 = N^-1g^-1 = (gN)^-1 in H$. Hence $g^-1 in K$. So $K$ is a group. Clearly, $H = K/N$. Since $N$ is the identity element of $G/N$ and $H$ a subgroup of $G/N$, $N in H$. We have $n in N implies nN=N in H implies$ $n in K implies N subseteq K$. It follows that $H = K/N$. Assertion (2.) then follows.



Because of (1.), it suffices to prove that $K/N$ is normal in $G/N$. For all $kN in K/N,gN in G/N$, $(gN)(kN)(gN)^-1 = gNNkN^-1g^-1 = gNkNg^-1 =$ $gNNkg^-1 = gNkg^-1 = gkNg^-1 =$ $gkg^-1N in K/N.$ Assertion (3.) then follows.



Because of (2.), it suffices to prove that $K$ is normal in $G$. Since $K/N$ is normal in $G/N$, $forall (kN in K/N, gN in G/N): (kN)(gN)(kN)^-1 in K/N$. On the other hand, $(kN)(gN)(kN)^-1 in K/N iff kNNgN^-1k^-1 in K/N iff kNgNk^-1 in K/N$ $iff$ $kgNNk^-1 in K/N iff kgNk^-1 in K/N iff kgk^-1N in K/N iff$ $kgk^-1 in K$. This implies $forall (k in K, gin G): kgk^-1 in K$ and thus $K$ is normal in G. Assertion (4.) then follows.



Consider



$$begin
arraylrcl
psi : & G/N
& longrightarrow & G/K\
& gN & longmapsto & gK endarray$$



Clearly, $psi$ is surjective. We have $$psi((g_1N)(g_2N)) = psi(g_1g_2N) = g_1g_2K = (g_1K)(g_2K) =psi(g_1N) psi(g_2N)$$ Hence $psi$ is a homomorphism.



$ker (psi) = gN in G/N mid psi(gN) = K = gN in G/N mid gK = K$. On the other hand, $gK=K iff g in K$. Hence $ker (psi) =K/N$.



By the first isomorphism theorem on groups, we have $$(G/N)/ker(psi) = (G/N)/(K/N) cong G/K$$ Assertion (5.) then follows.










share|cite|improve this question











$endgroup$











  • $begingroup$
    See also first and second isomorphism theorem here.
    $endgroup$
    – Dietrich Burde
    Mar 21 at 12:18















2












$begingroup$


From this wikipedia's page, I have found these important theorems. I would like to give it a try. Since I am self-learning Mathematical Analysis without teacher or tutor, it will be great if someone helps me check it out. Thank you for your help!




Third isomorphism theorem on groups



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



  1. If $K$ is a subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a subgroup of $G/N$.


  2. Every subgroup of $G/N$ is of the form $K/N$, for some subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  3. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a normal subgroup of $G/N$.


  4. Every normal subgroup of $G/N$ is of the form $K/N$, for some normal subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  5. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then the quotient group $(G/N)/(K/N) cong G/K$.




My attempt:



Clearly, $K/N,G/N$ are groups and $K/N subseteq G/N$. So $K/N$ is a subgroup of $G/N$. Assertion (1.) then follows.



Let $H$ be a subgroup of $G/N$ and $K = g in G mid gN in H$. If $g_1, g_2 in K$ then $g_1N in H,g_2N in H$. So $(g_1N)(g_2N) in H$ or $(g_1g_2)N in H$. Hence $g_1g_2 in K$ and thus $K$ is closed. If $g in K$ then $gN in H$ and thus $g^-1N = Ng^-1 = N^-1g^-1 = (gN)^-1 in H$. Hence $g^-1 in K$. So $K$ is a group. Clearly, $H = K/N$. Since $N$ is the identity element of $G/N$ and $H$ a subgroup of $G/N$, $N in H$. We have $n in N implies nN=N in H implies$ $n in K implies N subseteq K$. It follows that $H = K/N$. Assertion (2.) then follows.



Because of (1.), it suffices to prove that $K/N$ is normal in $G/N$. For all $kN in K/N,gN in G/N$, $(gN)(kN)(gN)^-1 = gNNkN^-1g^-1 = gNkNg^-1 =$ $gNNkg^-1 = gNkg^-1 = gkNg^-1 =$ $gkg^-1N in K/N.$ Assertion (3.) then follows.



Because of (2.), it suffices to prove that $K$ is normal in $G$. Since $K/N$ is normal in $G/N$, $forall (kN in K/N, gN in G/N): (kN)(gN)(kN)^-1 in K/N$. On the other hand, $(kN)(gN)(kN)^-1 in K/N iff kNNgN^-1k^-1 in K/N iff kNgNk^-1 in K/N$ $iff$ $kgNNk^-1 in K/N iff kgNk^-1 in K/N iff kgk^-1N in K/N iff$ $kgk^-1 in K$. This implies $forall (k in K, gin G): kgk^-1 in K$ and thus $K$ is normal in G. Assertion (4.) then follows.



Consider



$$begin
arraylrcl
psi : & G/N
& longrightarrow & G/K\
& gN & longmapsto & gK endarray$$



Clearly, $psi$ is surjective. We have $$psi((g_1N)(g_2N)) = psi(g_1g_2N) = g_1g_2K = (g_1K)(g_2K) =psi(g_1N) psi(g_2N)$$ Hence $psi$ is a homomorphism.



$ker (psi) = gN in G/N mid psi(gN) = K = gN in G/N mid gK = K$. On the other hand, $gK=K iff g in K$. Hence $ker (psi) =K/N$.



By the first isomorphism theorem on groups, we have $$(G/N)/ker(psi) = (G/N)/(K/N) cong G/K$$ Assertion (5.) then follows.










share|cite|improve this question











$endgroup$











  • $begingroup$
    See also first and second isomorphism theorem here.
    $endgroup$
    – Dietrich Burde
    Mar 21 at 12:18













2












2








2





$begingroup$


From this wikipedia's page, I have found these important theorems. I would like to give it a try. Since I am self-learning Mathematical Analysis without teacher or tutor, it will be great if someone helps me check it out. Thank you for your help!




Third isomorphism theorem on groups



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



  1. If $K$ is a subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a subgroup of $G/N$.


  2. Every subgroup of $G/N$ is of the form $K/N$, for some subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  3. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a normal subgroup of $G/N$.


  4. Every normal subgroup of $G/N$ is of the form $K/N$, for some normal subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  5. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then the quotient group $(G/N)/(K/N) cong G/K$.




My attempt:



Clearly, $K/N,G/N$ are groups and $K/N subseteq G/N$. So $K/N$ is a subgroup of $G/N$. Assertion (1.) then follows.



Let $H$ be a subgroup of $G/N$ and $K = g in G mid gN in H$. If $g_1, g_2 in K$ then $g_1N in H,g_2N in H$. So $(g_1N)(g_2N) in H$ or $(g_1g_2)N in H$. Hence $g_1g_2 in K$ and thus $K$ is closed. If $g in K$ then $gN in H$ and thus $g^-1N = Ng^-1 = N^-1g^-1 = (gN)^-1 in H$. Hence $g^-1 in K$. So $K$ is a group. Clearly, $H = K/N$. Since $N$ is the identity element of $G/N$ and $H$ a subgroup of $G/N$, $N in H$. We have $n in N implies nN=N in H implies$ $n in K implies N subseteq K$. It follows that $H = K/N$. Assertion (2.) then follows.



Because of (1.), it suffices to prove that $K/N$ is normal in $G/N$. For all $kN in K/N,gN in G/N$, $(gN)(kN)(gN)^-1 = gNNkN^-1g^-1 = gNkNg^-1 =$ $gNNkg^-1 = gNkg^-1 = gkNg^-1 =$ $gkg^-1N in K/N.$ Assertion (3.) then follows.



Because of (2.), it suffices to prove that $K$ is normal in $G$. Since $K/N$ is normal in $G/N$, $forall (kN in K/N, gN in G/N): (kN)(gN)(kN)^-1 in K/N$. On the other hand, $(kN)(gN)(kN)^-1 in K/N iff kNNgN^-1k^-1 in K/N iff kNgNk^-1 in K/N$ $iff$ $kgNNk^-1 in K/N iff kgNk^-1 in K/N iff kgk^-1N in K/N iff$ $kgk^-1 in K$. This implies $forall (k in K, gin G): kgk^-1 in K$ and thus $K$ is normal in G. Assertion (4.) then follows.



Consider



$$begin
arraylrcl
psi : & G/N
& longrightarrow & G/K\
& gN & longmapsto & gK endarray$$



Clearly, $psi$ is surjective. We have $$psi((g_1N)(g_2N)) = psi(g_1g_2N) = g_1g_2K = (g_1K)(g_2K) =psi(g_1N) psi(g_2N)$$ Hence $psi$ is a homomorphism.



$ker (psi) = gN in G/N mid psi(gN) = K = gN in G/N mid gK = K$. On the other hand, $gK=K iff g in K$. Hence $ker (psi) =K/N$.



By the first isomorphism theorem on groups, we have $$(G/N)/ker(psi) = (G/N)/(K/N) cong G/K$$ Assertion (5.) then follows.










share|cite|improve this question











$endgroup$




From this wikipedia's page, I have found these important theorems. I would like to give it a try. Since I am self-learning Mathematical Analysis without teacher or tutor, it will be great if someone helps me check it out. Thank you for your help!




Third isomorphism theorem on groups



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



  1. If $K$ is a subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a subgroup of $G/N$.


  2. Every subgroup of $G/N$ is of the form $K/N$, for some subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  3. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then $K/N$ is a normal subgroup of $G/N$.


  4. Every normal subgroup of $G/N$ is of the form $K/N$, for some normal subgroup $K$ of $G$ such that $N subseteq K subseteq G$.


  5. If $K$ is a normal subgroup of $G$ such that $N subseteq K subseteq G$, then the quotient group $(G/N)/(K/N) cong G/K$.




My attempt:



Clearly, $K/N,G/N$ are groups and $K/N subseteq G/N$. So $K/N$ is a subgroup of $G/N$. Assertion (1.) then follows.



Let $H$ be a subgroup of $G/N$ and $K = g in G mid gN in H$. If $g_1, g_2 in K$ then $g_1N in H,g_2N in H$. So $(g_1N)(g_2N) in H$ or $(g_1g_2)N in H$. Hence $g_1g_2 in K$ and thus $K$ is closed. If $g in K$ then $gN in H$ and thus $g^-1N = Ng^-1 = N^-1g^-1 = (gN)^-1 in H$. Hence $g^-1 in K$. So $K$ is a group. Clearly, $H = K/N$. Since $N$ is the identity element of $G/N$ and $H$ a subgroup of $G/N$, $N in H$. We have $n in N implies nN=N in H implies$ $n in K implies N subseteq K$. It follows that $H = K/N$. Assertion (2.) then follows.



Because of (1.), it suffices to prove that $K/N$ is normal in $G/N$. For all $kN in K/N,gN in G/N$, $(gN)(kN)(gN)^-1 = gNNkN^-1g^-1 = gNkNg^-1 =$ $gNNkg^-1 = gNkg^-1 = gkNg^-1 =$ $gkg^-1N in K/N.$ Assertion (3.) then follows.



Because of (2.), it suffices to prove that $K$ is normal in $G$. Since $K/N$ is normal in $G/N$, $forall (kN in K/N, gN in G/N): (kN)(gN)(kN)^-1 in K/N$. On the other hand, $(kN)(gN)(kN)^-1 in K/N iff kNNgN^-1k^-1 in K/N iff kNgNk^-1 in K/N$ $iff$ $kgNNk^-1 in K/N iff kgNk^-1 in K/N iff kgk^-1N in K/N iff$ $kgk^-1 in K$. This implies $forall (k in K, gin G): kgk^-1 in K$ and thus $K$ is normal in G. Assertion (4.) then follows.



Consider



$$begin
arraylrcl
psi : & G/N
& longrightarrow & G/K\
& gN & longmapsto & gK endarray$$



Clearly, $psi$ is surjective. We have $$psi((g_1N)(g_2N)) = psi(g_1g_2N) = g_1g_2K = (g_1K)(g_2K) =psi(g_1N) psi(g_2N)$$ Hence $psi$ is a homomorphism.



$ker (psi) = gN in G/N mid psi(gN) = K = gN in G/N mid gK = K$. On the other hand, $gK=K iff g in K$. Hence $ker (psi) =K/N$.



By the first isomorphism theorem on groups, we have $$(G/N)/ker(psi) = (G/N)/(K/N) cong G/K$$ Assertion (5.) then follows.







group-theory proof-verification group-homomorphism






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 21 at 5:59







Le Anh Dung

















asked Mar 21 at 5:07









Le Anh DungLe Anh Dung

1,4511621




1,4511621











  • $begingroup$
    See also first and second isomorphism theorem here.
    $endgroup$
    – Dietrich Burde
    Mar 21 at 12:18
















  • $begingroup$
    See also first and second isomorphism theorem here.
    $endgroup$
    – Dietrich Burde
    Mar 21 at 12:18















$begingroup$
See also first and second isomorphism theorem here.
$endgroup$
– Dietrich Burde
Mar 21 at 12:18




$begingroup$
See also first and second isomorphism theorem here.
$endgroup$
– Dietrich Burde
Mar 21 at 12:18










1 Answer
1






active

oldest

votes


















2












$begingroup$

Your proof(s) seem fine to me.



However, you have used "clearly" three times. Whenever you feel the urge to use such a word in mathematics, imagine a complete beginner asking, "why?" - because these are the places we most often hide gaps in our own understanding. Don't fool yourself!






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%2f3156365%2fthird-isomorphism-theorem-on-groups%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$

    Your proof(s) seem fine to me.



    However, you have used "clearly" three times. Whenever you feel the urge to use such a word in mathematics, imagine a complete beginner asking, "why?" - because these are the places we most often hide gaps in our own understanding. Don't fool yourself!






    share|cite|improve this answer











    $endgroup$

















      2












      $begingroup$

      Your proof(s) seem fine to me.



      However, you have used "clearly" three times. Whenever you feel the urge to use such a word in mathematics, imagine a complete beginner asking, "why?" - because these are the places we most often hide gaps in our own understanding. Don't fool yourself!






      share|cite|improve this answer











      $endgroup$















        2












        2








        2





        $begingroup$

        Your proof(s) seem fine to me.



        However, you have used "clearly" three times. Whenever you feel the urge to use such a word in mathematics, imagine a complete beginner asking, "why?" - because these are the places we most often hide gaps in our own understanding. Don't fool yourself!






        share|cite|improve this answer











        $endgroup$



        Your proof(s) seem fine to me.



        However, you have used "clearly" three times. Whenever you feel the urge to use such a word in mathematics, imagine a complete beginner asking, "why?" - because these are the places we most often hide gaps in our own understanding. Don't fool yourself!







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Mar 21 at 15:10

























        answered Mar 21 at 10:26









        ShaunShaun

        10.1k113685




        10.1k113685



























            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%2f3156365%2fthird-isomorphism-theorem-on-groups%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

            Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

            Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

            Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576