Decomposable functions and representations of topological semigroups (Q623384)

The author presents a characterization of functions defined on a topological semigroup \(G\) and admitting an addition theorem of the form \[ f(g_1g_2\cdots g_n)=\sum_E \sum_{j=1}^{N_E} u_j^Ev_j^E \] where \(E\) runs through all proper non-empty subsets of \(\{1,2,\dots,n\}\), \(N_E \in \mathbb N\) and for each \(E\), the functions \(u_j^E\) only depend on variables \(g_i\) wirh \(i\in E\), while \(v_j^E\) only depend on \(g_i\) with \(i\notin E\).