- Lets be $(G,\oplus)$ a group isomorphic to $(\mathbb{R},+)$. Can we find an operator "$\odot$" so that $(G,\odot,\oplus)$ is field?
- Lets be $(G,\odot)$ a group isomorphic to $(\mathbb{R}^\ast,\cdot)$. Can we find an operator "$\oplus$" and a number "$e$" so that $(G\cup\{e\},\odot,\oplus)$ is field?
- Is there any bibliography about these properties?
For example: Lets be $a\odot b=5ab$ for all $a,b\in\mathbb{R}^\ast$. Then it is easy to see that we can find an operator "$\oplus$" and a number "$e$" ("$\oplus$" is "$+$" and $e=0$) so that $(\mathbb{R}^\ast \cup \{e\},\odot,\oplus)$ is field. But what about other choices? If "$\odot$" was "$+$" or $a\odot b=a+b+ab$, then what?
Let $f:G\rightarrow\Bbb R$ be an isomorphism of additive groups. Define $$\odot:G\times G\xrightarrow{f\times f}\Bbb R\times\Bbb R\xrightarrow{\cdot}\Bbb R\xrightarrow{f^{-1}}G.$$ We can check that this makes $G$ a field, with multiplicative unit $f^{-1}(1)$.
Let $f:G\rightarrow\Bbb R^*$ be an isomorphism of multiplicative groups. Let $e$ be a symbol, and extend $\odot$ to $G\cup\{e\}$ by $g\cdot e=e\cdot g=e$. Then $G\cup\{e\}$ is a monoid. Extend $f$ to $(G\cup\{e\})$ by $f(e)=0$. $f$ is now an isomorphism of monoids, from $G\cup\{e\}$ to $\Bbb R^*\cup\{0\}=\Bbb R$. Define $$\oplus:(G\cup\{e\})\times (G\cup\{e\})\xrightarrow{f\times f}\Bbb R\times\Bbb R\xrightarrow{+}\Bbb R\xrightarrow{f^{-1}}(G\cup\{e\}).$$ We can check that this makes $(G\cup\{e\})$ a field, with additive unit $e$.