U(
n)
as an external direct product