The identity is symplectic because . For two symplectic matrices ,Thus the set is closed under matrix multiplication. Every member is invertible by part (i). Multiplying on the left by and on the right by givesso it is also closed under inverses. Associativity is inherited from the general linear group. These facts prove that the symplectic group is a subgroup of .
Articles by others on the same topic
There are currently no matching articles.