In one paper from 1980 I found a note that there are no known algorithms for solving homogenous matrix equations $x \cdot M = 0$ for matrices which elements belong to a non-commutative ring. (The non-commutative ring is the ring which elemens are linear operators with addition and composition operations.)
Are there any algorithms for solving such homogenous equations?
Is there any progress in this direction?