A generalization of the Razmyslov-Procesi theorem

It is proved that all relations between the invariants of several n x n-matrices over an infinite field of arbitrary characteristic follow from σ_n+1,σ_n+2,... where σ_i is the ith coefficient of a characteristic polynomial extended to matrices of any order ≥i. Similarly, all relations between the concomitants are implied by X_n+1, X_n+2, …, where X_i is a characteristic polynomial in the general n x n-matrix, also extended to matrices of any order. Supported by RFFR grant No. 95-01-00513. Translated fromAlgebra i Logika, Vol. 35, No. 4, pp. 433–457, July–August, 1996.