On vector invariants over finite fields (Q752085)

Let K denote a field and let \(U_ 1,...,U_ m\), \(V_ 1,...,V_ m\) denote commuting indeterminates. If \(x\in K\) and \(f\in K(U_ i,V_ i;1\leq i\leq m)\), let \(\sigma\) (x) denote the K-algebra automorphism of \(K(U_ i,V_ i;1\leq i\leq m)\) which maps \(U_ i\) to \(U_ i\) and \(V_ i\) to \(xU_ i+V_ i\) for every i. If \(A\subseteq K\), \(UT(A)=\{\sigma (x); x\in A\}\). If \(R\subseteq K(U_ i,V_ i;1\leq i\leq m)\) is a subring and \(A\subseteq K\) then \(R^{UT(A)}\) denotes the set of invariants of UT(A). Suppose (without loss of generality) that A is an additive subgroup of K. The paper under review deals with generators for the K-algebra \(K[U_ i,V_ i;1\leq i\leq m]^{UT(A)}\), where A is a finite additive subgroup of K \((char(K)>0)\). The results obtained by the author are in some sense in contrast with earlier results which are referred in the introduction, dealing with the case A infinite. In the last section informations about the generators of the F-algebra \(F[C_{ij};1\leq i\leq m,1\leq j\leq n]^ G\), \(m>n\) (where F is a finite field, \(G\subseteq GL(n,F)\) a subset, \(C_{ij}\) are commuting indeterminates and G acts on the \(C_{ij}\) by matrix product) are obtained. These results are in the same sense as before in contrast with the case F infinite.