{"id":"arxiv/2603.20628","url":"https://arxiv.org/abs/2603.20628","tags":["math.GR"],"score":0,"title":"Criteria for existence of semigroup homomorphisms and projective rank functions","domain":"math.GR","source":"arxiv","authors":["George M. Bergman"],"reviews":0,"subject":"math.GR","summary":"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)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-21","reactions":{}}