Pairs of linear maps sending matrices having a fixed product into matrices with a fixed product at some vector (Q6143050)

Let \(n\geq 2\) be a natural number, and denote by \(\mathcal{M}_n\) the algebra of all \(n\times n\) matrices over the complex field \(\mathbb{C}\). Let \(C \in\mathcal{M}_n\) be a fixed matrix, and let \(x_0, y_0\in \mathbb{C}^n\) be fixed vectors with \(x_0\) different from the zero vector. The author characterizes linear maps \(\phi , \psi :\mathcal{M}_n \rightarrow\mathcal{M}_n\), with \(\phi\) bijective, having the property that \(\phi (A)\psi (B) x_0 = y_0\) whenever \(AB = C\). The main result is Theorem 1. Its proof is long and is divided it into 6 sub-results. The proofs of the results are easy to read and the reader has examples at hand that show why some statements in the results are important.