The Binet-Cauchy Functional Equation and Nonsingular Multiindexed Matrices
Department of Mathematical Sciences
In a first theorem it is shown that a multiindexed matrix M = (Mσ,τ) is nonsingular where Mσ,τ is a multivariate polynomial in q-tuples of nonnegative integers σ and τ. In a second theorem a uniqueness relation of multinomial type is established. Finally, it is shown that, up to isomorphism, a nonzero function f:Mn(K)→K must be the determinant function if f(E) = 0, where E is the n × n matrix with all entries 1n, and f satisfies the Binet-Cauchy function equation
f(AB) = 1n!∑|s| = nnsf(As)f(Bs)
for square matrices A, B∈Mn(K) and for rectangular matrices A∈Mn×(n+1)(K) and B∈M(n+1)×n(K).
Linear Algebra and Its Applications
The Binet-Cauchy Functional Equation and Nonsingular Multiindexed Matrices.
Linear Algebra and Its Applications,
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/5395