The contragredient equivalence for several matrices: a set of invariants Original Research Article

In this paper, the contragredient equivalence is extended to several matrices and a reduced form of the cyclically multiplicable n-tuples of matrices under this equivalence is defined and constructed. An invariant set of elementary divisors (the spectrum of divisors) is found. This set describes completely the reduced form of a given cyclically multiplicable n-tuple.