Compact symplectic group
= 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.