Skip to main content
10 of 10
Removed deprecated (abstract-algebra) tag - see the tag info: https://mathoverflow.net/tags/abstract-algebra/info

Extending $\Bbb N$ to a semiring with isomorphic additive and multiplicative structure

Seen $(\Bbb N,+,\cdot)$ as a semiring, is it possible to extend it to a semiring $(R,+,\cdot)$ so that the additive and multiplicative monoids become isomorphic? This means there is some monoid-isomorphism

$$\varphi:(R,\cdot)\cong(R,+)$$

and $\Bbb N$ is a sub-semiring of $R$. Here, $\Bbb N$ is meant to include $0$. I do not think that there is such an extension, but I cannot find a contradiction. I also wonder if the problem becomes easiert when asking for an isomorphism

$$\varphi:(R\setminus\{0\},\cdot)\cong(R,+)$$

instead?


Observations

The multiplication will be commutative. Also, there will be many new "numbers", e.g. a unique additively absorbing element $\eta:=\varphi(0)$, i.e. $\eta+x=\eta$ for all $x\in R$. For $n\in\Bbb N^+$ we have

$$n\cdot \eta=\underbrace{\eta+\cdots+\eta}_n=\eta.$$

Therefore we have further elements $\tilde\eta=\varphi(\eta)$ that absorbe some numbers when added to them, e.g. $\varphi(n),n\in\Bbb N^+$, but not all (there can be only one universally absorbing element).

M. Winter
  • 13.6k
  • 3
  • 28
  • 70