# Group of Unitary Matrices under Multiplication is not Abelian

## Theorem

Let $n > 1$ be a natural number.

Then the group of unitary matrices $\map U n$ is not abelian.