Aichinger equation on commutative semigroups

We consider Aichinger's equation $$f(x_1+\cdots+x_{m+1})=\sum_{i=1}^{m+1}g_i(x_1,x_2,\cdots, \widehat{x_i},\cdots, x_{m+1})$$ for functions defined on commutative semigroups which take values on commutative groups. The solutions of this equation are, under very mild hypotheses, generalized polynomials. We use the canonical form of generalized polynomials to prove that compositions and products of generalized polynomials are again generalized polynomials and that the bounds for the degrees are, in this new context, the natural ones. In some cases, we also show that a polynomial function defined on a semigroup can uniquely be extended to a polynomial function defined on a larger group. For example, if $f$ solves Aichinger's equation under the additional restriction that $x_1,\cdots,x_{m+1}\in \mathbb{R}_+^p$, then there exists a unique polynomial function $F$ defined on $\mathbb{R}^p$ such that $F_{|\mathbb{R}_+^p}=f$. In particular, if $f$ is also bounded on a set $A\subseteq \mathbb{R}_+^p$ with positive Lebesgue measure then its unique polynomial extension $F$ is an ordinary polynomial of $p$ variables with total degree $\leq m$, and the functions $g_i$ are also restrictions to $\mathbb{R}_+^{pm}$ of ordinary polynomials of total degree $\leq m$ defined on $\mathbb{R}^{pm}$.