For (most) PIDs: Trace zero matrices are commutators Aleph Zero Categorical, 07 Sep 2018 Let $R$ be a commutative ring and $M_n(R)$ denote the ring of $n\times n$ matrices with coefficients in $R$. For $X,Y\in M_n(R)$…