A transformation matrix T with an *even number of rows and columns* is called symplectic iff .

(with being the transposed matrix T)

(with ).

(with being the unit vector).

The set of all symplectic matrices is a *group*, that is, has addition and multiplication and inversion with the usual properties.

Note that: