Relations between \(O(n)\)-invariants of several matrices. (Q1926573): Difference between revisions
From MaRDI portal
Latest revision as of 01:20, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relations between \(O(n)\)-invariants of several matrices. |
scientific article |
Statements
Relations between \(O(n)\)-invariants of several matrices. (English)
0 references
28 December 2012
0 references
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).
0 references
algebras of polynomial invariants
0 references
invariant theory
0 references
classical linear groups
0 references
ideals of relations
0 references
polynomial identities
0 references
transpose matrices
0 references