Commutative semigroups with zero cohomology (Q4386986)

Let \(S\) be a commutative semigroup. In the commutative cohomology of \(S\) the coefficients are provided by an abelian group valued functor \(A=(A,\alpha)\) on the Leech category \({\mathcal H}(S)\) which assigns to each \(s\in S\) an abelian group \(A_s\), and assigns to each \(s\in S\), \(t\in S^1\) a homomorphism \(\alpha_{s,t}\colon A_s\to A_{st}\), so that \(\alpha_{s,1}\) is the identity on \(A_s\) and \(\alpha_{st,u}\alpha_{s,t}=\alpha_{s,tu}\). The functor \(A\) is thin in case \(\alpha_{s,t}\) depends only on \(s\) and \(st\) and finite in case the abelian groups \(A_\alpha\) are finite. Main result: Let \(S\) be a finite groupfree semigroup. Then the following are equivalent: 1) \(H^2(S,A)=0\) for every abelian group valued functor \(A\) on \(S\); 2) \(H^2(S,A)=0\) whenever \(A\) is thin and finite; 3) \(S\) is a semilattice.