Definition, synonyms and related words
For given n, the group of n×n unitary matrices, with the group operation of matrix multiplication.