Can an abelian group be a real vector space in more than one way?Is an automorphism of the field of real numbers the identity map?number of differents vector space structures over the same field $mathbbF$ on an abelian groupnumber of differents vector space structures over the same field $mathbbF$ on an abelian groupModule, vector space and abelian groupClassify all possible $R$-module structures on a vector spaceWhen can an infinite abelian group be embedded in the multiplicative group of a field?Can the integers be made into a vector space over any Finite Field?Question on uniquely $p$-divisible groupsPossible differences between a vector space and the action of a multiplicative group of a field over an abelian groupShow if an abelian group $G$ has a $mathbb Q$-vector space structure, then it is unique.An abelian group as an $mathbb F_2$-vector spaceHow many products can a $K$-vector space $v$ have?

Referring to different instances of the same character in time travel

Was the Ford Model T black because of the speed black paint dries?

How did the Game Boy Advance stretch Game Boy games to widescreen?

A DVR algebra with weird automorphisms

Why do players in the past play much longer tournaments than today's top players?

Was adding milk to tea started to reduce employee tea break time?

Repeating redundant information after dialogues, to avoid or not?

Did any of the founding fathers anticipate Lysander Spooner's criticism of the constitution?

Correct use of ergeben?

Why isn't there research to build a standard lunar, or Martian mobility platform?

Using ”as” after dialogue tags

Can I intentionally omit previous work experience or pretend it doesn't exist when applying for jobs?

How did the hit man miss?

How can one write good dialogue in a story without sounding wooden?

Where or how can I find what interfaces an out of the box Apex class implements?

Redirect https to fqdn

What's the point of this scene involving Flash Thompson at the airport?

Am I testing diodes properly?

Shortest distance around a pyramid

What's the minimum number of sensors for a hobby GPS waypoint-following UAV?

Where is the USB2 OTG port on the RPi 4 Model B located?

Why does Hellboy file down his horns?

Can an abelian group be a real vector space in more than one way?

Why can't supermassive black holes merge? (or can they?)



Can an abelian group be a real vector space in more than one way?


Is an automorphism of the field of real numbers the identity map?number of differents vector space structures over the same field $mathbbF$ on an abelian groupnumber of differents vector space structures over the same field $mathbbF$ on an abelian groupModule, vector space and abelian groupClassify all possible $R$-module structures on a vector spaceWhen can an infinite abelian group be embedded in the multiplicative group of a field?Can the integers be made into a vector space over any Finite Field?Question on uniquely $p$-divisible groupsPossible differences between a vector space and the action of a multiplicative group of a field over an abelian groupShow if an abelian group $G$ has a $mathbb Q$-vector space structure, then it is unique.An abelian group as an $mathbb F_2$-vector spaceHow many products can a $K$-vector space $v$ have?






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;








2












$begingroup$


We know that any $mathbbZ$ module structure on an abelian group is unique, and furthermore the same is true for $mathbbQ$.



Any complex vector space structure is not unique, we can just compose with an automorphism of $mathbbC$ (for example the conjugation map).



However, $mathbbR$ has trivial automorphism group, see:



Is an automorphism of the field of real numbers the identity map?



So my question is, given an abelian group made into an $mathbbR$ vector space, is this the only way we can do this?



We would get another structure if we can embed $mathbbR$ into itself, but I'm not sure if this is possible.



If not, then of all the different $mathbbR$ structures, must they all have the same dimension?



I know that both of these are not true for general fields.



Thanks in advance.



(Related: number of differents vector space structures over the same field $mathbbF$ on an abelian group)










share|cite|improve this question









$endgroup$


















    2












    $begingroup$


    We know that any $mathbbZ$ module structure on an abelian group is unique, and furthermore the same is true for $mathbbQ$.



    Any complex vector space structure is not unique, we can just compose with an automorphism of $mathbbC$ (for example the conjugation map).



    However, $mathbbR$ has trivial automorphism group, see:



    Is an automorphism of the field of real numbers the identity map?



    So my question is, given an abelian group made into an $mathbbR$ vector space, is this the only way we can do this?



    We would get another structure if we can embed $mathbbR$ into itself, but I'm not sure if this is possible.



    If not, then of all the different $mathbbR$ structures, must they all have the same dimension?



    I know that both of these are not true for general fields.



    Thanks in advance.



    (Related: number of differents vector space structures over the same field $mathbbF$ on an abelian group)










    share|cite|improve this question









    $endgroup$














      2












      2








      2





      $begingroup$


      We know that any $mathbbZ$ module structure on an abelian group is unique, and furthermore the same is true for $mathbbQ$.



      Any complex vector space structure is not unique, we can just compose with an automorphism of $mathbbC$ (for example the conjugation map).



      However, $mathbbR$ has trivial automorphism group, see:



      Is an automorphism of the field of real numbers the identity map?



      So my question is, given an abelian group made into an $mathbbR$ vector space, is this the only way we can do this?



      We would get another structure if we can embed $mathbbR$ into itself, but I'm not sure if this is possible.



      If not, then of all the different $mathbbR$ structures, must they all have the same dimension?



      I know that both of these are not true for general fields.



      Thanks in advance.



      (Related: number of differents vector space structures over the same field $mathbbF$ on an abelian group)










      share|cite|improve this question









      $endgroup$




      We know that any $mathbbZ$ module structure on an abelian group is unique, and furthermore the same is true for $mathbbQ$.



      Any complex vector space structure is not unique, we can just compose with an automorphism of $mathbbC$ (for example the conjugation map).



      However, $mathbbR$ has trivial automorphism group, see:



      Is an automorphism of the field of real numbers the identity map?



      So my question is, given an abelian group made into an $mathbbR$ vector space, is this the only way we can do this?



      We would get another structure if we can embed $mathbbR$ into itself, but I'm not sure if this is possible.



      If not, then of all the different $mathbbR$ structures, must they all have the same dimension?



      I know that both of these are not true for general fields.



      Thanks in advance.



      (Related: number of differents vector space structures over the same field $mathbbF$ on an abelian group)







      vector-spaces field-theory modules






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 8 hours ago









      JamesJames

      1479 bronze badges




      1479 bronze badges




















          3 Answers
          3






          active

          oldest

          votes


















          1












          $begingroup$

          Sure. Note that instead of using an automorphism of $mathbbR$, you can use an automorphism of the abelian group. Given $mathbbR$-vector spaces $V$ and $W$ any abelian group isomorphism $f:Vto W$, you can define a new $mathbbR$-vector space structure on $V$ with scalar multiplication $mathbbRtimes Vto V$ given by $(r,v)mapsto f^-1(rf(v))$. This will not be the same as the original scalar multiplication on $V$ unless $f$ is $mathbbR$-linear.



          In particular, as an abelian group, an $mathbbR$-vector space $V$ of dimension $n$ is just a $mathbbQ$-vector space of dimension $ncdot 2^aleph_0$. If $n>0$, this gives loads of automorphisms of $V$ that are not $mathbbR$-linear (for instance, for any nonzero $vin V$ and any irrational $alphainmathbbR$, $v$ and $alpha v$ are linearly independent over $mathbbQ$ so there is an automorphism that exchanges $v$ and $alpha v$, and this cannot be $mathbbR$-linear), and thus loads of isomorphic but distinct $mathbbR$-vector space structures on $V$. Or, if $0<n,m leq 2^aleph_0$, then $ncdot 2^aleph_0=mcdot 2^aleph_0=2^aleph_0$, so $V$ is actually isomorphic as an abelian group to any $mathbbR$-vector space $W$ of dimension $m$, and so $V$ can also be given an $mathbbR$-vector space structure of dimension $m$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Excellent, thanks! :)
            $endgroup$
            – James
            7 hours ago


















          5












          $begingroup$

          $BbbR$ and $BbbR^2$ are isomorphic as abelian groups but not as real vector spaces.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks, and are of different $mathbbR$ dimension.
            $endgroup$
            – James
            8 hours ago


















          -1












          $begingroup$

          You can non-trivially embed the real field into itself. This is because every field extension has a transcendence basis.



          So let $S ⊆ ℝ$ be a transcendence basis for $ℝ/ℚ$. Let $F = ℚ(S)$. Then $ℝ/F$ is an algebraic extension. Now every map $S → S$ naturally extends to a field morphism $F → F$ and then to a field morphism $ℝ → ℝ$.



          Since $S$ is uncountable, this yields uncountably many field morphisms $ℝ → ℝ$, all of which give rise to different $ℝ$-linear structures on the abelian group $ℝ$ itself.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
            $endgroup$
            – James
            8 hours ago











          • $begingroup$
            This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
            $endgroup$
            – Eric Wofsey
            8 hours ago






          • 2




            $begingroup$
            Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
            $endgroup$
            – Eric Wofsey
            8 hours ago













          Your Answer








          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%2f3291383%2fcan-an-abelian-group-be-a-real-vector-space-in-more-than-one-way%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          3 Answers
          3






          active

          oldest

          votes








          3 Answers
          3






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          Sure. Note that instead of using an automorphism of $mathbbR$, you can use an automorphism of the abelian group. Given $mathbbR$-vector spaces $V$ and $W$ any abelian group isomorphism $f:Vto W$, you can define a new $mathbbR$-vector space structure on $V$ with scalar multiplication $mathbbRtimes Vto V$ given by $(r,v)mapsto f^-1(rf(v))$. This will not be the same as the original scalar multiplication on $V$ unless $f$ is $mathbbR$-linear.



          In particular, as an abelian group, an $mathbbR$-vector space $V$ of dimension $n$ is just a $mathbbQ$-vector space of dimension $ncdot 2^aleph_0$. If $n>0$, this gives loads of automorphisms of $V$ that are not $mathbbR$-linear (for instance, for any nonzero $vin V$ and any irrational $alphainmathbbR$, $v$ and $alpha v$ are linearly independent over $mathbbQ$ so there is an automorphism that exchanges $v$ and $alpha v$, and this cannot be $mathbbR$-linear), and thus loads of isomorphic but distinct $mathbbR$-vector space structures on $V$. Or, if $0<n,m leq 2^aleph_0$, then $ncdot 2^aleph_0=mcdot 2^aleph_0=2^aleph_0$, so $V$ is actually isomorphic as an abelian group to any $mathbbR$-vector space $W$ of dimension $m$, and so $V$ can also be given an $mathbbR$-vector space structure of dimension $m$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Excellent, thanks! :)
            $endgroup$
            – James
            7 hours ago















          1












          $begingroup$

          Sure. Note that instead of using an automorphism of $mathbbR$, you can use an automorphism of the abelian group. Given $mathbbR$-vector spaces $V$ and $W$ any abelian group isomorphism $f:Vto W$, you can define a new $mathbbR$-vector space structure on $V$ with scalar multiplication $mathbbRtimes Vto V$ given by $(r,v)mapsto f^-1(rf(v))$. This will not be the same as the original scalar multiplication on $V$ unless $f$ is $mathbbR$-linear.



          In particular, as an abelian group, an $mathbbR$-vector space $V$ of dimension $n$ is just a $mathbbQ$-vector space of dimension $ncdot 2^aleph_0$. If $n>0$, this gives loads of automorphisms of $V$ that are not $mathbbR$-linear (for instance, for any nonzero $vin V$ and any irrational $alphainmathbbR$, $v$ and $alpha v$ are linearly independent over $mathbbQ$ so there is an automorphism that exchanges $v$ and $alpha v$, and this cannot be $mathbbR$-linear), and thus loads of isomorphic but distinct $mathbbR$-vector space structures on $V$. Or, if $0<n,m leq 2^aleph_0$, then $ncdot 2^aleph_0=mcdot 2^aleph_0=2^aleph_0$, so $V$ is actually isomorphic as an abelian group to any $mathbbR$-vector space $W$ of dimension $m$, and so $V$ can also be given an $mathbbR$-vector space structure of dimension $m$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Excellent, thanks! :)
            $endgroup$
            – James
            7 hours ago













          1












          1








          1





          $begingroup$

          Sure. Note that instead of using an automorphism of $mathbbR$, you can use an automorphism of the abelian group. Given $mathbbR$-vector spaces $V$ and $W$ any abelian group isomorphism $f:Vto W$, you can define a new $mathbbR$-vector space structure on $V$ with scalar multiplication $mathbbRtimes Vto V$ given by $(r,v)mapsto f^-1(rf(v))$. This will not be the same as the original scalar multiplication on $V$ unless $f$ is $mathbbR$-linear.



          In particular, as an abelian group, an $mathbbR$-vector space $V$ of dimension $n$ is just a $mathbbQ$-vector space of dimension $ncdot 2^aleph_0$. If $n>0$, this gives loads of automorphisms of $V$ that are not $mathbbR$-linear (for instance, for any nonzero $vin V$ and any irrational $alphainmathbbR$, $v$ and $alpha v$ are linearly independent over $mathbbQ$ so there is an automorphism that exchanges $v$ and $alpha v$, and this cannot be $mathbbR$-linear), and thus loads of isomorphic but distinct $mathbbR$-vector space structures on $V$. Or, if $0<n,m leq 2^aleph_0$, then $ncdot 2^aleph_0=mcdot 2^aleph_0=2^aleph_0$, so $V$ is actually isomorphic as an abelian group to any $mathbbR$-vector space $W$ of dimension $m$, and so $V$ can also be given an $mathbbR$-vector space structure of dimension $m$.






          share|cite|improve this answer











          $endgroup$



          Sure. Note that instead of using an automorphism of $mathbbR$, you can use an automorphism of the abelian group. Given $mathbbR$-vector spaces $V$ and $W$ any abelian group isomorphism $f:Vto W$, you can define a new $mathbbR$-vector space structure on $V$ with scalar multiplication $mathbbRtimes Vto V$ given by $(r,v)mapsto f^-1(rf(v))$. This will not be the same as the original scalar multiplication on $V$ unless $f$ is $mathbbR$-linear.



          In particular, as an abelian group, an $mathbbR$-vector space $V$ of dimension $n$ is just a $mathbbQ$-vector space of dimension $ncdot 2^aleph_0$. If $n>0$, this gives loads of automorphisms of $V$ that are not $mathbbR$-linear (for instance, for any nonzero $vin V$ and any irrational $alphainmathbbR$, $v$ and $alpha v$ are linearly independent over $mathbbQ$ so there is an automorphism that exchanges $v$ and $alpha v$, and this cannot be $mathbbR$-linear), and thus loads of isomorphic but distinct $mathbbR$-vector space structures on $V$. Or, if $0<n,m leq 2^aleph_0$, then $ncdot 2^aleph_0=mcdot 2^aleph_0=2^aleph_0$, so $V$ is actually isomorphic as an abelian group to any $mathbbR$-vector space $W$ of dimension $m$, and so $V$ can also be given an $mathbbR$-vector space structure of dimension $m$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 7 hours ago

























          answered 7 hours ago









          Eric WofseyEric Wofsey

          203k14 gold badges235 silver badges368 bronze badges




          203k14 gold badges235 silver badges368 bronze badges











          • $begingroup$
            Excellent, thanks! :)
            $endgroup$
            – James
            7 hours ago
















          • $begingroup$
            Excellent, thanks! :)
            $endgroup$
            – James
            7 hours ago















          $begingroup$
          Excellent, thanks! :)
          $endgroup$
          – James
          7 hours ago




          $begingroup$
          Excellent, thanks! :)
          $endgroup$
          – James
          7 hours ago













          5












          $begingroup$

          $BbbR$ and $BbbR^2$ are isomorphic as abelian groups but not as real vector spaces.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks, and are of different $mathbbR$ dimension.
            $endgroup$
            – James
            8 hours ago















          5












          $begingroup$

          $BbbR$ and $BbbR^2$ are isomorphic as abelian groups but not as real vector spaces.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks, and are of different $mathbbR$ dimension.
            $endgroup$
            – James
            8 hours ago













          5












          5








          5





          $begingroup$

          $BbbR$ and $BbbR^2$ are isomorphic as abelian groups but not as real vector spaces.






          share|cite|improve this answer









          $endgroup$



          $BbbR$ and $BbbR^2$ are isomorphic as abelian groups but not as real vector spaces.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 8 hours ago









          Rob ArthanRob Arthan

          30.1k4 gold badges29 silver badges69 bronze badges




          30.1k4 gold badges29 silver badges69 bronze badges











          • $begingroup$
            Thanks, and are of different $mathbbR$ dimension.
            $endgroup$
            – James
            8 hours ago
















          • $begingroup$
            Thanks, and are of different $mathbbR$ dimension.
            $endgroup$
            – James
            8 hours ago















          $begingroup$
          Thanks, and are of different $mathbbR$ dimension.
          $endgroup$
          – James
          8 hours ago




          $begingroup$
          Thanks, and are of different $mathbbR$ dimension.
          $endgroup$
          – James
          8 hours ago











          -1












          $begingroup$

          You can non-trivially embed the real field into itself. This is because every field extension has a transcendence basis.



          So let $S ⊆ ℝ$ be a transcendence basis for $ℝ/ℚ$. Let $F = ℚ(S)$. Then $ℝ/F$ is an algebraic extension. Now every map $S → S$ naturally extends to a field morphism $F → F$ and then to a field morphism $ℝ → ℝ$.



          Since $S$ is uncountable, this yields uncountably many field morphisms $ℝ → ℝ$, all of which give rise to different $ℝ$-linear structures on the abelian group $ℝ$ itself.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
            $endgroup$
            – James
            8 hours ago











          • $begingroup$
            This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
            $endgroup$
            – Eric Wofsey
            8 hours ago






          • 2




            $begingroup$
            Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
            $endgroup$
            – Eric Wofsey
            8 hours ago















          -1












          $begingroup$

          You can non-trivially embed the real field into itself. This is because every field extension has a transcendence basis.



          So let $S ⊆ ℝ$ be a transcendence basis for $ℝ/ℚ$. Let $F = ℚ(S)$. Then $ℝ/F$ is an algebraic extension. Now every map $S → S$ naturally extends to a field morphism $F → F$ and then to a field morphism $ℝ → ℝ$.



          Since $S$ is uncountable, this yields uncountably many field morphisms $ℝ → ℝ$, all of which give rise to different $ℝ$-linear structures on the abelian group $ℝ$ itself.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
            $endgroup$
            – James
            8 hours ago











          • $begingroup$
            This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
            $endgroup$
            – Eric Wofsey
            8 hours ago






          • 2




            $begingroup$
            Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
            $endgroup$
            – Eric Wofsey
            8 hours ago













          -1












          -1








          -1





          $begingroup$

          You can non-trivially embed the real field into itself. This is because every field extension has a transcendence basis.



          So let $S ⊆ ℝ$ be a transcendence basis for $ℝ/ℚ$. Let $F = ℚ(S)$. Then $ℝ/F$ is an algebraic extension. Now every map $S → S$ naturally extends to a field morphism $F → F$ and then to a field morphism $ℝ → ℝ$.



          Since $S$ is uncountable, this yields uncountably many field morphisms $ℝ → ℝ$, all of which give rise to different $ℝ$-linear structures on the abelian group $ℝ$ itself.






          share|cite|improve this answer









          $endgroup$



          You can non-trivially embed the real field into itself. This is because every field extension has a transcendence basis.



          So let $S ⊆ ℝ$ be a transcendence basis for $ℝ/ℚ$. Let $F = ℚ(S)$. Then $ℝ/F$ is an algebraic extension. Now every map $S → S$ naturally extends to a field morphism $F → F$ and then to a field morphism $ℝ → ℝ$.



          Since $S$ is uncountable, this yields uncountably many field morphisms $ℝ → ℝ$, all of which give rise to different $ℝ$-linear structures on the abelian group $ℝ$ itself.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 8 hours ago









          k.stmk.stm

          11.4k3 gold badges23 silver badges50 bronze badges




          11.4k3 gold badges23 silver badges50 bronze badges











          • $begingroup$
            Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
            $endgroup$
            – James
            8 hours ago











          • $begingroup$
            This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
            $endgroup$
            – Eric Wofsey
            8 hours ago






          • 2




            $begingroup$
            Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
            $endgroup$
            – Eric Wofsey
            8 hours ago
















          • $begingroup$
            Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
            $endgroup$
            – James
            8 hours ago











          • $begingroup$
            This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
            $endgroup$
            – Eric Wofsey
            8 hours ago






          • 2




            $begingroup$
            Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
            $endgroup$
            – Eric Wofsey
            8 hours ago















          $begingroup$
          Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
          $endgroup$
          – James
          8 hours ago





          $begingroup$
          Thanks. What about, instead of $mathbbR$, we take our field to be F, where F has no transcendence basis? I presume this must happen for some fields like $mathbbQ$. Must then the structure be unique or the dimension unique?
          $endgroup$
          – James
          8 hours ago













          $begingroup$
          This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
          $endgroup$
          – Eric Wofsey
          8 hours ago




          $begingroup$
          This is wrong, a morphism $Fto F$ does not necessarily extend to a morphism $mathbbRtomathbbR$.
          $endgroup$
          – Eric Wofsey
          8 hours ago




          2




          2




          $begingroup$
          Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
          $endgroup$
          – Eric Wofsey
          8 hours ago




          $begingroup$
          Indeed, any ring homomorphism $mathbbRtomathbbR$ is the identity, even if you do not require surjectivity. If you look at the answers at math.stackexchange.com/questions/449404/…, none of them actually require the map to be surjective.
          $endgroup$
          – Eric Wofsey
          8 hours ago

















          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%2f3291383%2fcan-an-abelian-group-be-a-real-vector-space-in-more-than-one-way%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

          Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

          Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

          199年 目錄 大件事 到箇年出世嗰人 到箇年死嗰人 節慶、風俗習慣 導覽選單