Para todo "n", el conjunto de todas las matrices unitarias "n" por "n" forman un grupo.