Generic and explicit realization of small \(p\)-groups (Q5927998)

Let \(p\) be an odd prime. By solving embedding problems the author proves the existence of a generic polynomial for the Heisenberg group \(H_{p^{3}}\) over a field \(K\) of characteristic not \(p.\) Here one calls a monic polynomial \(P(s_1,\ldots,s_m;X) \in K(s_1,\ldots,s_m)[X]\) where \(s_1,\ldots,s_m\) are indeterminates over the field \(K\) generic for a group \(G\) if (i) the splitting field of \(P(s_1,\ldots,s_m;X)\) over \(K(s_1,\ldots,s_m)\) is a \(G\)-extension, i.e. a Galois extension of \(K(s_1,\ldots,s_m)\) with Galois group isomorphic to \(G\), and (ii) every \(G\)-extension of a field \(L\) containing \(K\) is the splitting field (over \(L\)) of a polynomial \(P(a_1,\ldots,a_m;X)\) for some \(a_1,\ldots,a_m \in L.\) The author gives also an upper bound \(d(p+2)\) for the number of indeterminates required for such generic polynomials, where \(d=[K(\zeta):K]\) and \(\zeta\) is a primitive \(p\)th root of unity. In the characteristic \(p\) case a corresponding generic polynomial is constructed by \textit{G. Kemper} and \textit{E. Mattig} [J. Symb. Comput. 30, No. 6, 843-857 (2000; Zbl 0974.12005)].