El grupo unitario U("n") es un grupo de Lie real de dimensión "n"².