Here (see the very last paragraph) it is stated that every matrix with trace zero over a PID is a commutator. However, the only proof for matrices over a field that I remember (due to Albert?) does not immediately generalize.
Vladimir Dotsenko
- 16.9k
- 1
- 55
- 114