Transfer kernels for finite groups. (Q2496848)

Given a finite group \(G\), it is considered the class \({\mathfrak X}(G)\) of all finite Abelian groups \(X\) of the form \(H^0(G,S)\) (Tate cohomology), where \(S\) is a \(\mathbb{Z} G\)-lattice whose rational character is regular plus trivial (\(\mathbb{Q} S\simeq\mathbb{Q} G^{(r)}\oplus\mathbb{Q}\) for some \(r\geq 0\)). Since the groups in \({\mathfrak X}(G)\) are cohomology groups, every \(X\) in \({\mathfrak X}(G)\) satisfies \(|G|X=0\). \(X\) in \({\mathfrak X}(G)\) is said to be minimal if no proper quotient of \(X\) is in \({\mathfrak X}(G)\), and the class of minimal objects in \({\mathfrak X}(G)\) is denoted by \(\min{\mathfrak X}(G)\). As usual, \(O^p(G)\) is the smallest normal subgroup of \(G\) with quotient a \(p\)-group. It is proved that (i) \({\mathfrak X}(G)\) consists of all \(\mathbb{Z}/|G|\mathbb{Z}\)-modules that have a homomorphic image in \(\min{\mathfrak X}(G)\); (ii) \(\min{\mathfrak X}(G)=\prod_{p\mid|G|}\min{\mathfrak X}(G/O^p(G))\); (iii) for every \(X\) in \(\min{\mathfrak X}(G)\), \(|G/[G,G]|\) divides \(|X|\) and \(|X|\) divides \(|G|\).