Criteria for existence of semigroup homomorphisms and projective rank functions
Let $P,$ $S,$ and $T$ be semigroups, $f:P\to S$ and $g:P\to T$ semigroup homomorphisms, and $X$ a generating set for $S$ (possibly infinite). Clearly, a necessary condition for there to exist a homomorphism $S\to T$ making a commuting triangle with $f$ and $g$ is that for every relation $f(p) = w(x_1,\,\dots\,,\,x_n)$ holding in $S$, with $p\in P,$ $w$ a semigroup word, and $x_1,\,\dots\,,\,x_n \in X,$ there exist $t_1,\,\dots,\,t_n\in T$ satisfying $g(p) = w(t_1,\,\dots\,,\,t_n).$ Under what assumptions will that also be sufficient? We show that one such family of assumptions is that (i)…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.20628
curl -X POST /api/v1/records/arxiv/2603.20628/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.20628/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'