$H/K$ when $K$ is not a subgroup of $H$.Maximal normal subgroup not containing an elementCondition under...

Can a Mexican citizen living in US under DACA drive to Canada?

How can I be pwned if I'm not registered on the compromised site?

What is "desert glass" and what does it do to the PCs?

3.5% Interest Student Loan or use all of my savings on Tuition?

Was it really inappropriate to write a pull request for the company I interviewed with?

The (Easy) Road to Code

Named nets not connected in Eagle board design

What is the purpose of a disclaimer like "this is not legal advice"?

Are Wave equations equivalent to Maxwell equations in free space?

Is divide-by-zero a security vulnerability?

Calculate total length of edges in select Voronoi diagram

What can I do if someone tampers with my SSH public key?

Why won't the strings command stop?

Paper published similar to PhD thesis

Learning to quickly identify valid fingering for piano?

Is "cogitate" an appropriate word for this?

Ultrafilters as a double dual

Preparing as much as possible of a cake in advance

PTIJ: Mouthful of Mitzvos

How to write a chaotic neutral protagonist and prevent my readers from thinking they are evil?

Error in TransformedField

The Key to the Door

Is being socially reclusive okay for a graduate student?

How do we objectively assess if a dialogue sounds unnatural or cringy?



$H/K$ when $K$ is not a subgroup of $H$.


Maximal normal subgroup not containing an elementCondition under which $HK$ is a subgroupIs $U(1)$ a normal subgroup of $U(2)$ and does the question even make sense?Convincing normal subgroup proof?Example of A, B, G such that A is a normal subgroup of B, B is a normal subgroup of G, but A is not a normal subgroup of GExample for subgroups $H$ and $K$ where $HK = K H$ and neither $H$ nor $K$ is normal?When is $HK$ a subgroup?Group of order 35 must have a normal subgroup of order 5 or 7Finding normal subgroup $N$ in $G$, where $N$ has normal subgroup $H$. But $H$ is not a normal subgroup of $G$.Let $G$ be a group: Prove subgroup, prove that group $G$ does not exist with subgroups s.t…, find cardinality of subgroup intersection.













3












$begingroup$


Let $G$ be a group and $H$, $K$ ($K$ is normal) two subgroups of $G$ but neither $H$ is subgroup of $K$ nor $K$ is subgroup of $H$. What would be the problem with $H/K$? If I define for $x,y in H$ multiplication as $xKyK=xyK$ then it is well defined?



Suppose $aK=xK$ and $bK=yK$ so $a^{-1}x in K$ and $b^{-1}y in K$. Then $b^{-1}a^{-1}xy=b^{-1}yy^{-1}a^{-1}xy in K$. So the multiplication in $H/K$ is well defined no?






group-theory normal-subgroups quotient-spaces quotient-group







share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
    $endgroup$
    – Gerry Myerson
    14 hours ago
















3












$begingroup$


Let $G$ be a group and $H$, $K$ ($K$ is normal) two subgroups of $G$ but neither $H$ is subgroup of $K$ nor $K$ is subgroup of $H$. What would be the problem with $H/K$? If I define for $x,y in H$ multiplication as $xKyK=xyK$ then it is well defined?



Suppose $aK=xK$ and $bK=yK$ so $a^{-1}x in K$ and $b^{-1}y in K$. Then $b^{-1}a^{-1}xy=b^{-1}yy^{-1}a^{-1}xy in K$. So the multiplication in $H/K$ is well defined no?






group-theory normal-subgroups quotient-spaces quotient-group







share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
    $endgroup$
    – Gerry Myerson
    14 hours ago














3












3








3





$begingroup$


Let $G$ be a group and $H$, $K$ ($K$ is normal) two subgroups of $G$ but neither $H$ is subgroup of $K$ nor $K$ is subgroup of $H$. What would be the problem with $H/K$? If I define for $x,y in H$ multiplication as $xKyK=xyK$ then it is well defined?



Suppose $aK=xK$ and $bK=yK$ so $a^{-1}x in K$ and $b^{-1}y in K$. Then $b^{-1}a^{-1}xy=b^{-1}yy^{-1}a^{-1}xy in K$. So the multiplication in $H/K$ is well defined no?






group-theory normal-subgroups quotient-spaces quotient-group







share|cite|improve this question











$endgroup$




Let $G$ be a group and $H$, $K$ ($K$ is normal) two subgroups of $G$ but neither $H$ is subgroup of $K$ nor $K$ is subgroup of $H$. What would be the problem with $H/K$? If I define for $x,y in H$ multiplication as $xKyK=xyK$ then it is well defined?



Suppose $aK=xK$ and $bK=yK$ so $a^{-1}x in K$ and $b^{-1}y in K$. Then $b^{-1}a^{-1}xy=b^{-1}yy^{-1}a^{-1}xy in K$. So the multiplication in $H/K$ is well defined no?






group-theory normal-subgroups quotient-spaces quotient-group




group-theory normal-subgroups quotient-spaces quotient-group






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 13 hours ago









user1729

17.4k64193




17.4k64193










asked 14 hours ago









roi_saumonroi_saumon

59438




59438








  • 3




    $begingroup$
    You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
    $endgroup$
    – Gerry Myerson
    14 hours ago














  • 3




    $begingroup$
    You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
    $endgroup$
    – Gerry Myerson
    14 hours ago








3




3




$begingroup$
You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
$endgroup$
– Gerry Myerson
14 hours ago




$begingroup$
You're defining $H/K$ to be the set of cosets of $K$ of the form $hK$ with $h$ in $H$?
$endgroup$
– Gerry Myerson
14 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

This is fine. What you are really defining is multiplication in $HK/K$, which is a subgroup of $G/K$. By the second isomorphism theorem, this is isomorphic to $H/(Hcap K) $.






share|cite|improve this answer









$endgroup$





















    3












    $begingroup$

    You can think of this in terms of homomorphisms. That is, by the first isomorphism theorem there exists a homomorphism $phi: Grightarrow overline{G}$ such that $kerphi=K$ (and, of course, $overline{G}$ is really just $G/K$). Then what you are after is $phi(H)$. (This has the benefit of "making sense", while $H/K$ is a slightly dubious concept as for the notation to make sense you really need $Kleq H$.)



    All you are really doing is proving that multiplication in $phi(H)$ is well-defined. Which it is, as $phi$ is a homomorphism.






    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%2f3138771%2fh-k-when-k-is-not-a-subgroup-of-h%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









      3












      $begingroup$

      This is fine. What you are really defining is multiplication in $HK/K$, which is a subgroup of $G/K$. By the second isomorphism theorem, this is isomorphic to $H/(Hcap K) $.






      share|cite|improve this answer









      $endgroup$


















        3












        $begingroup$

        This is fine. What you are really defining is multiplication in $HK/K$, which is a subgroup of $G/K$. By the second isomorphism theorem, this is isomorphic to $H/(Hcap K) $.






        share|cite|improve this answer









        $endgroup$
















          3












          3








          3





          $begingroup$

          This is fine. What you are really defining is multiplication in $HK/K$, which is a subgroup of $G/K$. By the second isomorphism theorem, this is isomorphic to $H/(Hcap K) $.






          share|cite|improve this answer









          $endgroup$



          This is fine. What you are really defining is multiplication in $HK/K$, which is a subgroup of $G/K$. By the second isomorphism theorem, this is isomorphic to $H/(Hcap K) $.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 14 hours ago









          Matt SamuelMatt Samuel

          38.8k63769




          38.8k63769























              3












              $begingroup$

              You can think of this in terms of homomorphisms. That is, by the first isomorphism theorem there exists a homomorphism $phi: Grightarrow overline{G}$ such that $kerphi=K$ (and, of course, $overline{G}$ is really just $G/K$). Then what you are after is $phi(H)$. (This has the benefit of "making sense", while $H/K$ is a slightly dubious concept as for the notation to make sense you really need $Kleq H$.)



              All you are really doing is proving that multiplication in $phi(H)$ is well-defined. Which it is, as $phi$ is a homomorphism.






              share|cite|improve this answer











              $endgroup$


















                3












                $begingroup$

                You can think of this in terms of homomorphisms. That is, by the first isomorphism theorem there exists a homomorphism $phi: Grightarrow overline{G}$ such that $kerphi=K$ (and, of course, $overline{G}$ is really just $G/K$). Then what you are after is $phi(H)$. (This has the benefit of "making sense", while $H/K$ is a slightly dubious concept as for the notation to make sense you really need $Kleq H$.)



                All you are really doing is proving that multiplication in $phi(H)$ is well-defined. Which it is, as $phi$ is a homomorphism.






                share|cite|improve this answer











                $endgroup$
















                  3












                  3








                  3





                  $begingroup$

                  You can think of this in terms of homomorphisms. That is, by the first isomorphism theorem there exists a homomorphism $phi: Grightarrow overline{G}$ such that $kerphi=K$ (and, of course, $overline{G}$ is really just $G/K$). Then what you are after is $phi(H)$. (This has the benefit of "making sense", while $H/K$ is a slightly dubious concept as for the notation to make sense you really need $Kleq H$.)



                  All you are really doing is proving that multiplication in $phi(H)$ is well-defined. Which it is, as $phi$ is a homomorphism.






                  share|cite|improve this answer











                  $endgroup$



                  You can think of this in terms of homomorphisms. That is, by the first isomorphism theorem there exists a homomorphism $phi: Grightarrow overline{G}$ such that $kerphi=K$ (and, of course, $overline{G}$ is really just $G/K$). Then what you are after is $phi(H)$. (This has the benefit of "making sense", while $H/K$ is a slightly dubious concept as for the notation to make sense you really need $Kleq H$.)



                  All you are really doing is proving that multiplication in $phi(H)$ is well-defined. Which it is, as $phi$ is a homomorphism.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited 13 hours ago

























                  answered 13 hours ago









                  user1729user1729

                  17.4k64193




                  17.4k64193






























                      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%2f3138771%2fh-k-when-k-is-not-a-subgroup-of-h%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

                      Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

                      Image
                      What were wait-states, and why was it only an issue for PCs? “Since the train was delayed for more than an hour, passengers were given a full refund.” – Why is there no article before “passengers”? Will I be more secure with my own router behind my ISP's router? Short story about an alien named Ushtu(?) coming from a future Earth, when ours was destroyed by a nuclear explosion When does Bran Stark remember Jamie pushing him? How to charge percentage of transaction cost? Pointing to problems without suggesting solutions false 'Security alert' from Google - every login generates mails from 'no-reply@accounts.google.com' Why doesn't the university give past final exams' answers? Like totally amazing interchangeable sister outfit accessory swapping or whatever Does traveling In The United States require a passport or can I use my green card if not a US citizen? Who's this lady in the war room? Who can become a wight? "Destructi
                      Read more

                      Fil:Tokke komm.svg

                      Image
                      Skildring Skildring Tokke komm.svg Norsk nynorsk: Våpen for Tokke kommune i Telemark fylke, godkjent ved kongeleg resolusjon 6. februar 1987. Motiv: På gull grunn ein gåande svart bjørn. [1] Tokke ligg i eit gamalt bjørneområde og bjørnen er eit viktig innslag i fleire lokale historier. Bjørnen kan òg symbolisere naturen og dyrelivet i kommunen. English: Coat of arms of the Norwegian municipality of Tokke, Telemark. Dato 6. februar 1987 Kjelde Original by Stein Davidsen, based upon image from caplex.no. Opphavsperson Eige arbeid Vektorgrafikken vart laga med Inkscape. Løyve (Gjenbruk av denne fila) Public domain Public domain false false This official Norwegian coat of arms is ineligible for copyright, but its usage is restricted according to Norwegian penal law, independent of the copyright status of the depiction shown here. Dette biletet er sett saman av eit flagg, eit våpen, eit sigill eller eit anna offisielt insignium . Bruken av slike symbol er avgrensa i fleire land. Desse r
                      Read more

                      Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?

                      Image
                      How to translate "red flag" into Spanish? France's Public Holidays' Puzzle How did Elite on the NES work? Where can I find how to tex symbols for different fonts? In search of the origins of term censor, I hit a dead end stuck with the greek term, to censor, λογοκρίνω How to check if string is entirely made of same substring? What's called a person who works as someone who puts products on shelves in stores? What helicopter has the most rotor blades? Did war bonds have better investment alternatives during WWII? Page Layouts : 1 column , 2 columns-left , 2 columns-right , 3 column Marquee sign letters Why did Israel vote against lifting the American embargo on Cuba? What *exactly* is electrical current, voltage, and resistance? Mechanism of the formation of peracetic acid Does Prince Arnaud cause someone holding the Princess to lose? Bright yellow or light yellow? What is /etc/mtab in Linux? What is the ongoing value of the Kanban
                      Read more