The extension of Roth's theorem for matrix equations over a ring

Abstract This paper extends Roth's similarity theorem as follows: Let R be a ring with identity, B(λ) = Σki = 0 Biλi ϵ Rm × q[λ]. If either R is a division ring and A ϵ Rn × n is algebraic, or R is finitely generated as a module over its center, then the matrix equation Σki = 0 AiXBi = C over R has a solution if and only if