For which pseudo reflection groups are the \(p\)-adic polynomial invariant again a polynomial algebra? (Q1291081): Difference between revisions

Denote by \(\widehat{\mathbb Z}_p\) the ring of \(p\)-adic integers, let \(L\) be a free and finite \(\widehat{\mathbb Z}_p\)-module and let \(W\) be a finite group acting linearly and faithful on \(L\). If the order of \(W\) is coprime to \(p\) then, as a consequence of a classical theorem of Chevalley, Shephard and Todd, the ring of invariants \(\widehat{\mathbb Z}_p[L]^W\) is a polynomial ring if and only if \(W\) is generated by elements acting as pseudo reflections on \(L\). If \(p\) divides the order of \(W\) and the invariant ring \(\widehat{\mathbb Z}_p[L]^W\) is a polynomial then \(W\) still has to be generated by pseudo reflections. But the converse is not true. The main result is a classification of pseudo reflection groups \(W\) such that the order of \(W\) is divisible by \(p\) and the ring of invariants \(\widehat{\mathbb Z}_p[L]^W\) is a polynomial ring for all prime numbers \(p>2\).