``Hasse principle'' for groups of order \(p^4\) (Q5950733): Difference between revisions

Let \(G\) be a group. A map \(f\colon G\mapsto G\) such that \(f(xy)=f(x)f(y)^x\), where \(a^x=xax^{-1}\), for all \(x,y,a\in G\) is called a cocycle of \(G\). A cocycle \(f\) of \(G\) is called a local coboundary if for every \(x\in G\) there exists an \(a\in G\) such that \(f(x)=a^{-1}a^x\) and \(f\) is called a global coboundary if there exists an \(a\in G\) that \(f(x)=a^{-1}a^x\) for every \(x\in G\). The group \(G\) is said to enjoy the ``Hasse principle'' if every local coboundary of \(G\) is a global coboundary. It is proved that every group of order \(p^4\), \(p\) is a prime, and every metacyclic group enjoys the ``Hasse principle''. In particular, it is proved, that if \(G=HK\) is a central product of subgroups \(H\) and \(K\) and \(G\) enjoys the ``Hasse principle'' then both \(H\) and \(K\) enjoy the ``Hasse principle''.