Symplectic Lie algebra (source code)

= Symplectic Lie algebra
{title2=$\mathfrak{sp}_{2n}$}

For a nondegenerate alternating matrix $J$, the symplectic Lie algebra is $\mathfrak{sp}_{2n}=\{A:AJ+JA^T=0\}$.