A necessary and sufficient
condition for the solvability of AX − XB = C was given by W. E. Roth for finite
matrices and by M. Rosenblum for selfadjoint operators A and B on a Hilbert space.
Here the result is extended to include normal operators and finite rank operators on
Hilbert space.