1

I know that the two semigroups $(\{0,1,2,\dots \},\times)$ and $(\{0,1,2,\dots \},+)$ are not isomorphic because if we want to map identity elements together then it can be see that we can't have injective function between them,but what can we say about $(\{1,2,\dots \},\times)$ and $(\{0,1,2,\dots \},+)$?

a.p
  • 338
  • 5
    Note: $({0,1,2,...},+)$ has a single generator – J. W. Tanner Oct 03 '19 at 22:11
  • 1
    as @J.W.Tanner wrote, you can notice that the set is not in the form of ${1,2,3,...,p}$, for some $p\in \Bbb N$ prime, then there is no a single generator and therefore you won't be able to show that those two are isomorphic – friedvir Oct 03 '19 at 22:23
  • Does this require, @J.W.Tanner, that the empty sum $$\sum_{x\neq x}x$$ is zero? I cannot see how $0\in\langle a\rangle$ for the generator $a$ (which I assume is $1$, right?) otherwise. – Shaun Oct 04 '19 at 00:31
  • 1
    Yes, @Shaun, $1$ generates $({0,1,2,...},+)$; an empty sum is $0$ – J. W. Tanner Oct 04 '19 at 07:31

2 Answers2

1

Suppose there is an isomorphism $f:(\Bbb{N},+) \to ((\Bbb{N}-\{0\}, \times)$. Then since $f$ preserves idempotents, one has $f(0) = 1$. Let $a = f(1)$. Then for every $n >0$, $f(n) = a^n$. Thus $f(\Bbb{N}) = \{a^n \mid n \geqslant 0\}$ and hence $f$ is not a bijection, a contradiction.

J.-E. Pin
  • 40,163
0

As you have noted, it is easy to see that $(\mathbb{N}, +)$ and $(\mathbb{N}, \cdot)$ are not isomorphic as semigroups, since the latter possesses an algebraic feature that the first one does not, namely an absorptive element (a $0$-element, which in our case is precisely the natural number $0$).

When comparing however $(\mathbb{N}, +)$ with $(\mathbb{N}^{*}, \cdot)$, it is important to realize that not only the former but also the latter are free commutative monoids, the former of basis $\{1\}$ and the latter of basis $\mathbb{P}$, the set of all prime numbers. Free commutative monoids have the following remarkable property of rigidity:

  • if $X$ is an arbitrary set and $\iota: X \to \mathbb{N}^{(X)}$ is the canonical injection into the free commutative monoid over $X$, then any generating system $S$ of $\mathbb{N}^{(X)}$ as a monoid will necessarily include the canonical basis $\iota(X)$.
  • as a consequence, $\mathbb{N}^{(X)}$ has no other basis than $\iota(X)$.
  • more generally, any free commutative monoid will have a unique basis and will thus admit a notion of dimension, i.e. the cardinality of the unique basis it possesses.

The dimension of a free commutative monoid is obviously an invariant under monoid isomorphisms; since $\mathrm{dim}\ \mathbb{N}^{*}=|\mathbb{P}|=\aleph_0$ and $\mathrm{dim}\ \mathbb{N}=1$ we now have a clear understanding of the obstruction to the existence of any isomorphism between the two monoids at hand.

ΑΘΩ
  • 3,930