The finite irreducible linear groups with polynomial ring of invariants (Q1383782): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Gregor Kemper / rank | |||
Property / author | |||
Property / author: Gunter Malle / rank | |||
Revision as of 00:41, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The finite irreducible linear groups with polynomial ring of invariants |
scientific article |
Statements
The finite irreducible linear groups with polynomial ring of invariants (English)
0 references
10 November 1998
0 references
Let \(V\) be a finite dimensional vector space over a field \(K\) and let \(S(V)\) denote the symmetric algebra of \(V\). If \(n=\dim V\) then \(S(V)\) is isomorphic to the polynomial algebra of \(n\) variables over \(K\). Let \(G\subset \text{GL} (V)\) be a finite group. Then the action of \(G\) on \(V\) extends to \(S(V)\). Set \(S(V)^G= \{s\in S(V): g(s) =s\) for all \(g\in G\}\). The problem of determining \(G\) such that \(S(V)^G\) is isomorphic to a polynomial algebra has a long history. If \(\text{char} (K)=0\), the problem was solved in the 50th. This paper provides a full solution of the problem for the case where \(\text{char} (K)= p>0\). A necessary condition was known much earlier: If \(S(V)^G\) is a polynomial algebra then so is \(S(V)^{C(W)}\) for each subspace \(W\subset V\) (here \(C(W)\) denote the centralizer of \(W\) in \(G)\). The main result of the paper under review proves that this condition is sufficient. If \(G\) contains no transvection, then \(S(V)^G\) is a polynomial algebra if \(C(W)\) is generated by pseudoreflections.
0 references
invariant theory
0 references
finite linear groups
0 references
symmetric algebra
0 references
polynomial algebra
0 references