U(n) as an external direct product