Relations Between O(n)-Invariants of Several Matrices
A linear group G < GL(n) acts on d-tuples of n × n matrices by simultaneous conjugation. In Procesi (Adv Math 19:306–381, 1976), Procesi established generators and relations between them for G-invariants, where G is GL(n), O(n), and Sp(n) and the characteristic of base field is zero. We continue generalization of the mentioned results to the case of positive characteristic originated by Donkin (Invent Math 110:389–401, 1992). We investigate relations between generators for O(n)-invariants.