Skip to main content
3 of 4
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Find a: $x \cup_1 y = \delta a$, $x,y \in Z^2(G,\mathbb{Z}_2)$

Let $G$ be a finite group. Let $x,y \in Z^2(G,\mathbb{Z}_2)$ be 2-cocycles. Find $a \in C^2(G,\mathbb{Z}_2)$ such that

\begin{align} x \cup_1 y = \delta a. \end{align}

Is there a general solution? Is it possible to know when a solution exists?

Where: \begin{align} [x \cup_1 y](g,h,k) &= x(gh,k)y(g,h) + x(g,hk)y(h,k)\\ \delta a &= a(g,h)+a(gh,k)-a(g,hk)-a(h,k) \end{align}