One well-known necessary and sufficient condition for equality in the Frobenius rank inequality due to Tian and Styan is that the matrix equation B = BCX + YAB be solvable for X and Y. We develop an algorithm to construct the matrices X and Y using a quotient space formulation of the Frobenius rank inequality, and provide several necessary and sufficient conditions for solvability.
Categories: math.RA