Semigroups with no morphisms between them

Question

Given two monoids we always have a morphism from one to the other thanks to the presence of the identity element.

Are there examples of non-empty semigroups that have no morphisms from one to the other? The destination semigroup can't be finite, because if we have an idempotent present, we just map everything to it and get a constant morphism. Apparently, it can't contain an idempotent, period.

Put another way, the subcategory of finite semigroups is clearly strongly connected. Is the same true of the category of all semigroups?

Are there two such non-empty semigroups that don't have a morphism in either direction?

@DanielSchepler ah yes, good catch, I am interested in the non-empty case. — AlvinL, Apr 19 '19 at 18:28
Note that since you can't have idempotents on either side, your semigroups cannot have a right-compatible topology that makes them compact — Maxime Ramzi, Apr 19 '19 at 21:02
@Max this took an interesting turn. Would you formalise your string of thought as an answer, please? — AlvinL, Apr 20 '19 at 10:39
Well it's not worth an answer, it's just the fact that a compact topological space with a semigroup structure such that right multiplication is continuous has an idempotent, a very famous theorem — Maxime Ramzi, Apr 20 '19 at 10:48

score 14 · Answer 1 · answered Apr 19 '19 at 18:17

14

Let $\mathbb N^+$ be the natural numbers without 0, and consider it as a semigroup under addition. Then there can be no morphism $f: A \to \mathbb N^+$ where $A$ is finite, because then the image $f$ will be bounded by some $n \in \mathbb N^+$. Now trying to add an element $a \in A$ to itself $n+1$ times cannot be respected by the map: $$ f(\underbrace{a + \ldots + a}_{n+1 \text{ times}}) = \underbrace{f(a) + \ldots + f(a)}_{n+1 \text{ times}} \geq n+1, $$ which contradicts that the range of $f$ is bounded by $n$.

answered Apr 19 '19 at 18:17

Mark Kamsma

12,153
1
9
33

2

But as stated in the question, $A$ being finite means there is a morphism in the other direction – Maxime Ramzi Apr 19 '19 at 19:19
Yes, the original question asked just for two semigroups such that there is no morphism from one to the other. For the new question I wouldn't know an answer directly. If I think of something I will edit. – Mark Kamsma Apr 19 '19 at 20:08
Oh sorry I hadn't seen the original question ! – Maxime Ramzi Apr 19 '19 at 20:18

score 7 · Accepted Answer · edited Mar 29 '20 at 17:29

7

No morphism in either direction

Choose two distinct primes $p,q\in\Bbb N_+$ and consider the additive semi-groups

$$\begin{align} P&:=\Big\{\frac n{p^m}\mid n,m\in\Bbb N_+\Big\}\subseteq\Bbb Q_+,\\ Q&:=\Big\{\frac n{q^m}\mid n,m\in\Bbb N_+\Big\}\subseteq\Bbb Q_+. \end{align}$$

Assume there is a morphism $\phi:P\to Q$ and let $a/q^b:=\phi(1)\in Q$ for some $a,b\in\Bbb N_+$. Further, for every $m\in\Bbb N_+$ let

$$\frac{a_m}{q^{b_m}}:=\phi\Big(\frac1{p^m}\Big)\in Q, \qquad\text{for some $a_m,b_m\in\Bbb N_+$}.$$

This means

$$\begin{align} p^m\cdot \frac{a_m}{q^{b_m}}&=\phi\Big(p^m\cdot \frac1{p^m}\Big)\\ &=\phi(1)\\ &=\frac a{q^b}, \end{align}$$

which implies $$p^mq^b\cdot a_m=q^{b_m}\cdot a.$$

Since the left side is divisible by $p^m$, so must be the right side. Since $p$ and $q$ are distinct primes, $a$ must be divisible by $p^m$ for all $m\in\Bbb N_+$, which is a contradiction. Hence there cannot be such a morphism, and since the argument is symmetric, there is no such morphism in either direction.

$\square$

edited Mar 29 '20 at 17:29

Shaun

42,617
18
62
167

answered Apr 23 '19 at 20:48

M. Winter

29,171
8
46
97

I am afraid that $1$ is not in $P$. And if you allow $m=0$ in your definition to include $1$, then $P$ would contain an idempotent, which is not possible. – J.-E. Pin Apr 26 '19 at 06:23
@J.-E.Pin I dont see what you mean. $1=p/p^{1}$ is in $P$, as $p$ and $1$ are in $\Bbb N_+$. – M. Winter Apr 26 '19 at 06:24
But then, isn't $\phi(x) = 1$ for all $x$ a morphism? – J.-E. Pin Apr 26 '19 at 06:30
@J.-E.Pin I consider these semi-groups with the operation of addition. Zero would be an idempotent, but one is okay. – M. Winter Apr 26 '19 at 06:31
What about changing "semigroups" to "additive semigroups" in the first sentence? – J.-E. Pin Apr 26 '19 at 06:45
@J.-E.Pin Done. Good idea. – M. Winter Apr 26 '19 at 06:49

score 3 · Answer 3 · answered Apr 19 '19 at 18:13

3

There's no morphism from $\{0\}$ (or from any semigroup with idempotent) to the additive semigroup on $\{2,4,6,\dots\}$

answered Apr 19 '19 at 18:13

Berci

89,424
3
56
103

Why did you pick $\{2,4,6,\dots\}$ instead of $\{1,2,3,\dots\}$? (Just curious) – Alex Kruckman Apr 19 '19 at 18:17
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to – AlvinL Apr 19 '19 at 18:25
Yes. Well, my first thought was that the ring $2\Bbb Z$ has unusual ring properties.. – Berci Apr 19 '19 at 19:02
I read the question as asking for two semigroups such that there is no morphism in either direction. – Acccumulation Apr 24 '19 at 22:34
@Acccumulation There are two questions, he answered one of them. – AlvinL Apr 25 '19 at 07:45

Semigroups with no morphisms between them

3 Answers3

Linked