MathNet 2023-part-05 — 191 problems (EN–VI) Question 62

Let $A, B \in \mathcal{M}_3(\mathbb{C})$ be two matrices with the property $A^2 = B^2 = O_3$. Prove that $AB = BA$ implies $AB = O_3$. Show that the reciprocal implication is false.