If the field F is the field of real or complex numbers, then the symplectic group Sp(n,F) is a Lie group.
... Gerritz de Vries[?] in the 17th century, and still better from those of La Pérouse (1787) and Krusenstern (1805). Both, however, regarded it as a peninsula, and were ...