Let $G$ be a finite group and $X$ a finite $G$-set. Let $H$ be the set-theoretical cartesian product of $G$ and $X$. Is there an homological theory controlling all possible (commutative) group structure on $H$ (possibly assuming that there exists at least one group structure) ? Any reference is welcome.