If the field F is the field of real or complex numbers, then the symplectic group Sp(n,F) is a Lie group.
... dumped 2003-03-17 with ...