Index of subgroup of Real number in Complex Number

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
1












Complex Number is group under addition. Real Number is its subgroup. It is the trivially normal subgroup. I wanted to find its index.

I thought one 2 dimension plane with X axis and Y axis. Its coset can be given in form like $(0,a)+(R,0)$ Where $a$ is any real Number.
This then says that is index is same as the cardinality of R.

Is I am right?







share|cite|improve this question



















  • Exactly right. . .
    – Lubin
    Jul 28 at 12:28














up vote
3
down vote

favorite
1












Complex Number is group under addition. Real Number is its subgroup. It is the trivially normal subgroup. I wanted to find its index.

I thought one 2 dimension plane with X axis and Y axis. Its coset can be given in form like $(0,a)+(R,0)$ Where $a$ is any real Number.
This then says that is index is same as the cardinality of R.

Is I am right?







share|cite|improve this question



















  • Exactly right. . .
    – Lubin
    Jul 28 at 12:28












up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





Complex Number is group under addition. Real Number is its subgroup. It is the trivially normal subgroup. I wanted to find its index.

I thought one 2 dimension plane with X axis and Y axis. Its coset can be given in form like $(0,a)+(R,0)$ Where $a$ is any real Number.
This then says that is index is same as the cardinality of R.

Is I am right?







share|cite|improve this question











Complex Number is group under addition. Real Number is its subgroup. It is the trivially normal subgroup. I wanted to find its index.

I thought one 2 dimension plane with X axis and Y axis. Its coset can be given in form like $(0,a)+(R,0)$ Where $a$ is any real Number.
This then says that is index is same as the cardinality of R.

Is I am right?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 28 at 12:19









SRJ

1,041317




1,041317











  • Exactly right. . .
    – Lubin
    Jul 28 at 12:28
















  • Exactly right. . .
    – Lubin
    Jul 28 at 12:28















Exactly right. . .
– Lubin
Jul 28 at 12:28




Exactly right. . .
– Lubin
Jul 28 at 12:28










2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted










You are right, the index is $|Bbb R|$ because that's how many cosets $Bbb R$ has in $Bbb C$. Geometrically, each coset is a horizontal line in the complex plane, and each horizontal line is a coset. Your argument is an exact algebraic analogue of that.






share|cite|improve this answer




























    up vote
    3
    down vote













    Another way to see this: as abelian additive groups $mathbbC=mathbbR oplus mathbbR$. Here $mathbbR cong (r,0): r in mathbbR$. Now define a map $mathbbC rightarrow mathbbR$, by $z mapsto Im(z)$. This is a surjective homomorphism, with kernel $mathbbR$. Hence $mathbbC/mathbbR cong mathbbR$ as additive groups.






    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: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      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%2f2865209%2findex-of-subgroup-of-real-number-in-complex-number%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote



      accepted










      You are right, the index is $|Bbb R|$ because that's how many cosets $Bbb R$ has in $Bbb C$. Geometrically, each coset is a horizontal line in the complex plane, and each horizontal line is a coset. Your argument is an exact algebraic analogue of that.






      share|cite|improve this answer

























        up vote
        3
        down vote



        accepted










        You are right, the index is $|Bbb R|$ because that's how many cosets $Bbb R$ has in $Bbb C$. Geometrically, each coset is a horizontal line in the complex plane, and each horizontal line is a coset. Your argument is an exact algebraic analogue of that.






        share|cite|improve this answer























          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          You are right, the index is $|Bbb R|$ because that's how many cosets $Bbb R$ has in $Bbb C$. Geometrically, each coset is a horizontal line in the complex plane, and each horizontal line is a coset. Your argument is an exact algebraic analogue of that.






          share|cite|improve this answer













          You are right, the index is $|Bbb R|$ because that's how many cosets $Bbb R$ has in $Bbb C$. Geometrically, each coset is a horizontal line in the complex plane, and each horizontal line is a coset. Your argument is an exact algebraic analogue of that.







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 28 at 13:02









          Arthur

          98.4k793174




          98.4k793174




















              up vote
              3
              down vote













              Another way to see this: as abelian additive groups $mathbbC=mathbbR oplus mathbbR$. Here $mathbbR cong (r,0): r in mathbbR$. Now define a map $mathbbC rightarrow mathbbR$, by $z mapsto Im(z)$. This is a surjective homomorphism, with kernel $mathbbR$. Hence $mathbbC/mathbbR cong mathbbR$ as additive groups.






              share|cite|improve this answer

























                up vote
                3
                down vote













                Another way to see this: as abelian additive groups $mathbbC=mathbbR oplus mathbbR$. Here $mathbbR cong (r,0): r in mathbbR$. Now define a map $mathbbC rightarrow mathbbR$, by $z mapsto Im(z)$. This is a surjective homomorphism, with kernel $mathbbR$. Hence $mathbbC/mathbbR cong mathbbR$ as additive groups.






                share|cite|improve this answer























                  up vote
                  3
                  down vote










                  up vote
                  3
                  down vote









                  Another way to see this: as abelian additive groups $mathbbC=mathbbR oplus mathbbR$. Here $mathbbR cong (r,0): r in mathbbR$. Now define a map $mathbbC rightarrow mathbbR$, by $z mapsto Im(z)$. This is a surjective homomorphism, with kernel $mathbbR$. Hence $mathbbC/mathbbR cong mathbbR$ as additive groups.






                  share|cite|improve this answer













                  Another way to see this: as abelian additive groups $mathbbC=mathbbR oplus mathbbR$. Here $mathbbR cong (r,0): r in mathbbR$. Now define a map $mathbbC rightarrow mathbbR$, by $z mapsto Im(z)$. This is a surjective homomorphism, with kernel $mathbbR$. Hence $mathbbC/mathbbR cong mathbbR$ as additive groups.







                  share|cite|improve this answer













                  share|cite|improve this answer



                  share|cite|improve this answer











                  answered Jul 29 at 12:51









                  Nicky Hekster

                  26.9k53052




                  26.9k53052






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865209%2findex-of-subgroup-of-real-number-in-complex-number%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      Comments

                      Popular posts from this blog

                      What is the equation of a 3D cone with generalised tilt?

                      Color the edges and diagonals of a regular polygon

                      Relationship between determinant of matrix and determinant of adjoint?