We prove Roth-type theorems for systems of matrix equations including an arbitrary mix of Sylvester and ⋆-Sylvester equations,
in which the transpose or conjugate transpose of the unknown matrices also appear. In full generality, we derive consistency conditions by proving that such a system has a solution if and only if the associated set of 2x2 block matrix representations of the equations are block diagonalizable by (linked) equivalence transformations. Various applications leading to several particular cases have already been investigated in the literature, some recently and some long ago. Solvability of these cases follow immediately from our general consistency theory.
We also show how to apply our main result to systems of Stein-type matrix equations.