Compact symplectic group (source code)

= Compact symplectic group
{title2=$USp(2n)\cong Sp(n)$}

= Unitary symplectic group
{synonym}

= USp(2n)
{c}
{synonym}

The subgroup $\{U\in U(2n):UJU^T=J\}$, with $J=\begin{pmatrix}0&I_n\\-I_n&0\end{pmatrix}$, is the compact symplectic group, often denoted $Sp(n)$ or $USp(2n)$. It preserves both a positive Hermitian metric and a nondegenerate complex alternating form.