Abstract :
Let R be a commutative ring with 1, let R [X1,…,Xn] be the polynomial ring in X1,…,Xn over R and let G be an arbitrary group of permutations of {X1,…,Xn}. The paper presents an algorithm for computing a small finite basis B of the R-algebra of G-invariant polynomials and a polynomial representation of an arbitrary G-invariant polynomial in R [X1,…,Xn] as a polynomial in the polynomials of the finite basis B. The algorithm works independently of the ground ring R, and the basis B contains only polynomials of total degree ≤ max{n, n(n - 1)/2}, independent of the size of the permutation group G.
