Noether's problem for groups of order 243 (Q493008)

Let \(K\) be a field and let \(G\) be a finite group. Let \(L = K(x_g : g \in G)\) be the rational function field whose indeterminates are indexed by the elements of \(G\), and let \(G\) act on \(L\) as a group of \(K\)-automorphisms by \(g(x_h) = x_{gh}\) for any \(g, h \in G\). Noether's problem asks whether the subfield \(K(G)\) of \(L\) fixed by \(G\) is rational over \(K\), i.e., a purely transcendental extension of \(K\). The paper under review treats this problem when the order of \(G\) is \(243\), and proves that (i) if \(G\) does not belong to the isoclinism families \(\Phi_{7}\) and \(\Phi_{10}\), and if \(K\) contains a primitive 9-th root of unity, then \(K(G)\) is rational, and (ii) if \(G\) belongs to the isoclinism family \(\Phi_{10}\), then \(\mathbb{C} (G)\) is not rational. It leaves the case when \(G\) belongs to the isoclinism family \(\Phi_{7}\) and the other remaining cases open.