Rings of invariants of certain \(p\)-groups over the field \(\mathbb{F}_p\) (Q1283946)

Let \(V\) be a finite-dimensional vector space over a field \(k\) and \(S=k[V]\) the symmetric algebra of \(V\) over \(k\). Suppose that \(G\) is a finite \(p\)-group with a polynomial ring of invariants, and \(S^G\) the fixed points of \(S\) under \(G\); denote by \(H\) its maximal proper subgroup. Nakajima's characterization of \(p\)-groups with polynomial rings of invariants over the field \(\mathbb{F}_p\) is used to prove the following: \(S^H\) is the free \(S^G\)-module with the basis of specific \(p\) elements. In particular, \(S^H\) is a hypersurface and hence a Cohen-Macaulay ring. An explicit construction for the ring of invariants of such a group, as a module over the ring of invariants of the total group is given.