The Binet-Pexider functional equation for rectangular matrices (Q752344)

Let \(A=[a_ 1,...,a_ m]\) be an \(n\times m\) matrix with columns \(a_ j\), \(j=1,...,m\), and let \(B=<b_{(1)},...,b_{(m)}>\) be an \(m\times n\) matrix with rows \(b_{(i)}\), \(i=1,...,m\), where \(n\leq m\), let \(s=(s_ 1,...,s_ m)\) be the m-tuple of non-negative integers with \(| s| =n\). \(A^ s=[a_ 1^{s_ 1},...,a_ m^{s_ m}]\) and \(B_ s=<b^{s_ 1}_{(1)},...,b^{s_ m}_{(m)}>\) denote the matrices obtained from A and B by repeating the column \(a_ j\) and the row \(b_{(j)}\) \(s_ j\) times. In the paper the solutions are given of the Binet-Pexider functional equation \[ f(AB)=1/n!\sum_{| s| =n}\left( \begin{matrix} n\\ s\end{matrix} \right)g(A^ s)h(B_ s), \] where \(A\in M_{n\times (n+r)}({\mathbb{K}})\), \(B\in M_{(n+r)\times n}({\mathbb{K}})\), \(r\geq 0\) is fixed, f,g,h: \(M_ n({\mathbb{K}})\to {\mathbb{K}}\) and \({\mathbb{K}}\) is a field of characteristic 0.