In this talk, we give all the dimensions of identity matrices in the equivalence canonical form of four matrices over an arbitrary division ring F with compatible sizes. As applications, we derive some necessary and sufficient conditions for the solvability to some well known systems of matrix equations over an arbitrary division ring using rank conditions.
We also construct a simultaneous decomposition for a set of seven general matrices over an arbitrary division ring F with compatible sizes. As applications of the simultaneous matrix decomposition, we give some solvability conditions, general solutions, as well as the range of ranks of the general solutions to some generalized Sylvester matrix equations over an arbitrary division ring F. |