The kernel of the determinant map on pure C*-algebras

In a simple C*-algebra with suitable regularity properties, any unitary or invertible element with de la Harpe–Skandalis determinant zero is a finite product of commutators.