Bogomolov multipliers for some \(p\)-groups of nilpotency class 2 (Q287962): Difference between revisions

Let \(K\) be a field, \(G\) a finite group and \(V\) a faithful representation of \(G\) over \(K\). Then there is a natural action of \(G\) upon the field of rational functions \(K(V)\). The rationality problem (known as Noether's problem when \(G\) acts on \(V\) by permutations) asks whether the field of \(G\)-invariant functions \(K(V)^G\) is rational (purely transcendental) over \(K\). The Bogomolov multiplier \(B_0(G)\) of a finite group \(G\) is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of \(G\). The triviality of the Bogomolov multiplier is an obstruction to Noether's problem. The author shows that if \(G\) is a central product of \(G_1\) and \(G_2\), regarding \(K_i \leq Z(G_i)\) , \(i = 1, 2\), and \(\theta:G_1\rightarrow G_2\) is a group homomorphism such that its restriction \(\theta_{|K_1}:K_1\rightarrow K_2\) is an isomorphism, then the triviality of \(B_0(G_1/K_1)\), \(B_0(G1)\) and \(B_0(G_2)\) implies the triviality of \(B_0(G)\). He gives a positive answer to Noether's problem for all 2-generator \(p\)-groups of nilpotency class 2, and for one series of 4-generator \(p\)-groups of nilpotency class 2 (with the usual requirement for the roots of unity).