Un groupe symplectique est un sous-groupe du groupe général linéaire laissant invariante une forme bilinéaire alternée. - De façon plus abstraite, sur un corps commutatif K de caractéristique différente de 2, le groupe symplectique de degré 2n, noté Sp(2n, K), peut être défini comme l...