Relations between \(O(n)\)-invariants of several matrices. (Q1926573)

The orthogonal group \(O(n)\) acts by simultaneous conjugation on \(d\)-tuples of \(n\times n\) matrices over an infinite base field \(F\). It is known that if the characteristic of \(F\) is not \(2\), then the corresponding algebra of polynomial invariants is generated by the characteristic coefficients of products of the matrix components and their transposes. In characteristic zero the ideal of relations among the generators was described by Procesi as an application of classical invariant theory. The present paper deals with the case of positive odd characteristic. The author derives from work of \textit{A. N. Zubkov} [J. Algebra Appl. 4, No. 3, 287-312 (2005; Zbl 1082.16023)] an explicit generating system of the ideal of relations modulo the so-called free relations (the space of free relations is conjectured to be zero eventually).