Let $(S,+,\cdot)$ be a semiring with or without 0 but necessarily with 1. Let $f: S \rightarrow S$ be defined by $f(k)=k+k$. What is the weakest possible extra assumption I need to make on $S$ so that $f$ is injective.
"Weak" will mean an assumption that achieves injectivity but does not imply the following sufficient condition, multiplicative cancellation: $\forall a,b,c \in S$, $a\cdot b=a\cdot c \Rightarrow b=c$. This is sufficient since
$$f(k)=f(k')$$ $$\Rightarrow k+k=k'+k'$$ $$\Rightarrow (1+1)k=(1+1)k'$$ $$\Rightarrow k=k'$$
by cancellation.