The cocycle equation on commutative semigroups (Q2258336)

Suppose that \((S,.)\) is a commutative semigroup and \((G, +)\) is a divisible abelian group with identity \(0\), i.e., for any positive integer \(n\) and any element \(y \in G\) there exists an element \(x\in G\) such that \(nx=y\). Any solution \(F: S \times S\to G\) of the functional equation \(F(x, y) + F(xy, z) = F(x, yz) + F(y, z)\) \((x, y, z \in S)\) is called a cocycle on \(S\) into \(G\), and the equation is called the cocycle equation. If \(F\) is symmetric, then it is called a symmetric cocycle. The set of all symmetric cocycles forms an abelian group denoted by \(Z^2_{sym}(S,G)\). If \(f : S \to G\) is a function, then the corresponding function \(df:S\times S \to G\) defined by \(df (x, y) := f(x) + f(y) - f(xy)\) \((x,y\in S)\) is called the coboundary generated by \(f\). The set of all coboundaries is a subgroup \({B^2(S,G)}\) of \(Z^2_{sym}(S,G).\) The quotient group \(H^2_{sym}(S,G) = \frac{Z^2_{sym}(S,G)}{B^2(S,G)}\) is called the second symmetric cohomology group. In this paper, the author asks whether \(H^2_{sym}(S,G) =0\).