The following is the source code for post >>>/math/778
>>777
Edit: Yep, it exists. For \( X=A \cdot B \) with A,B nxn matrices \( \neq I_n \)
because the product between matrices isn't commutative.
So \( X \cdot Y - Y \cdot X = A \cdot B \cdot Y- Y \cdot A \cdot B = I_n \)