Semigroups with no morphisms between them Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Not a functor not prefunctorMorphisms with arbitrary number of arguments?Internalising the functor action on morphisms (e.g. to exponential objects)In a groupoid, do any two objects have a morphism between them?A reflective subcategory of the category of inverse semigroups.Is every semigroup with (possibly non-unique) division a group?Examples of left-topological compact semigroupsProblems with subcategoriesInclusion relations between equationally defined classes of finite semigroupsDo empty category objects have self morphisms?
Why do early math courses focus on the cross sections of a cone and not on other 3D objects?
File name problem(?)
How does the math work when buying airline miles?
Project Euler #1 in C++
Movie where a circus ringmaster turns people into animals
How does a spellshard spellbook work?
How to draw/optimize this graph with tikz
How to unroll a parameter pack from right to left
Is it fair for a professor to grade us on the possession of past papers?
Why are vacuum tubes still used in amateur radios?
How to pronounce 伝統色
How do living politicians protect their readily obtainable signatures from misuse?
What do you call the main part of a joke?
Interpretation of R output from Cohen's Kappa
How fail-safe is nr as stop bytes?
Do wooden building fires get hotter than 600°C?
How much damage would a cupful of neutron star matter do to the Earth?
What does it mean that physics no longer uses mechanical models to describe phenomena?
Semigroups with no morphisms between them
Is there hard evidence that the grant peer review system performs significantly better than random?
Is it possible to give , in economics, an example of a relation ( set of ordered pairs) that is not a function?
Co-worker has annoying ringtone
Dyck paths with extra diagonals from valleys (Laser construction)
Amount of permutations on an NxNxN Rubik's Cube
Semigroups with no morphisms between them
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Not a functor not prefunctorMorphisms with arbitrary number of arguments?Internalising the functor action on morphisms (e.g. to exponential objects)In a groupoid, do any two objects have a morphism between them?A reflective subcategory of the category of inverse semigroups.Is every semigroup with (possibly non-unique) division a group?Examples of left-topological compact semigroupsProblems with subcategoriesInclusion relations between equationally defined classes of finite semigroupsDo empty category objects have self morphisms?
$begingroup$
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?
category-theory examples-counterexamples semigroups
$endgroup$
add a comment |
$begingroup$
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?
category-theory examples-counterexamples semigroups
$endgroup$
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago
add a comment |
$begingroup$
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?
category-theory examples-counterexamples semigroups
$endgroup$
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?
category-theory examples-counterexamples semigroups
category-theory examples-counterexamples semigroups
edited 1 hour ago
Alvin Lepik
asked 1 hour ago
Alvin LepikAlvin Lepik
2,92511024
2,92511024
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago
add a comment |
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
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(underbracea + ldots + a_n+1 text times) = underbracef(a) + ldots + f(a)_n+1 text times geq n+1,
$$
which contradicts that the range of $f$ is bounded by $n$.
$endgroup$
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
add a comment |
$begingroup$
There's no morphism from $0$ (or from any semigroup with idempotent) to the additive semigroup on $2,4,6,dots$
$endgroup$
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3193852%2fsemigroups-with-no-morphisms-between-them%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
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(underbracea + ldots + a_n+1 text times) = underbracef(a) + ldots + f(a)_n+1 text times geq n+1,
$$
which contradicts that the range of $f$ is bounded by $n$.
$endgroup$
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
add a comment |
$begingroup$
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(underbracea + ldots + a_n+1 text times) = underbracef(a) + ldots + f(a)_n+1 text times geq n+1,
$$
which contradicts that the range of $f$ is bounded by $n$.
$endgroup$
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
add a comment |
$begingroup$
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(underbracea + ldots + a_n+1 text times) = underbracef(a) + ldots + f(a)_n+1 text times geq n+1,
$$
which contradicts that the range of $f$ is bounded by $n$.
$endgroup$
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(underbracea + ldots + a_n+1 text times) = underbracef(a) + ldots + f(a)_n+1 text times geq n+1,
$$
which contradicts that the range of $f$ is bounded by $n$.
answered 1 hour ago
Mark KamsmaMark Kamsma
79311
79311
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
add a comment |
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
$begingroup$
But as stated in the question, $A$ being finite means there is a morphism in the other direction
$endgroup$
– Max
12 mins ago
add a comment |
$begingroup$
There's no morphism from $0$ (or from any semigroup with idempotent) to the additive semigroup on $2,4,6,dots$
$endgroup$
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
add a comment |
$begingroup$
There's no morphism from $0$ (or from any semigroup with idempotent) to the additive semigroup on $2,4,6,dots$
$endgroup$
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
add a comment |
$begingroup$
There's no morphism from $0$ (or from any semigroup with idempotent) to the additive semigroup on $2,4,6,dots$
$endgroup$
There's no morphism from $0$ (or from any semigroup with idempotent) to the additive semigroup on $2,4,6,dots$
answered 1 hour ago
BerciBerci
62.1k23776
62.1k23776
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
add a comment |
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
Why did you pick $2,4,6,dots$ instead of $1,2,3,dots$? (Just curious)
$endgroup$
– Alex Kruckman
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
@AlexKruckman doesn't matter I guess. I think the same argument passes as long as there is no idempotent to map to
$endgroup$
– Alvin Lepik
1 hour ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
$begingroup$
Yes. Well, my first thought was that the ring $2Bbb Z$ has unusual ring properties..
$endgroup$
– Berci
29 mins ago
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3193852%2fsemigroups-with-no-morphisms-between-them%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
@DanielSchepler ah yes, good catch, I am interested in the non-empty case.
$endgroup$
– Alvin Lepik
1 hour ago