Thought my embryonic GA glossary could do with mentioning the symplectic group. Bad decision. Turns out there are several ... but for now, I'm just interested in the real one: Sp(2n) sometimes, or less ambiguously, Sp(2n, R). Trying to get a handle on this beast, I scratched around for a matrix representation, or better still an algebra along the lines of the Clifford algebras for the Spin groups PSO(p,q) etc. Kick off with the symplectic plane SP(2), defined as 2x2 matrices M such that M' K M = K, where M' denotes transpose, and K = [[1,0],[0,-1]] is the canonical skew-symmetric matrix. [Why transpose rather than inverse? And shouldn't there be a quotient by scalar matrices in there somewhere? Never mind, press on ...] In Wikipedia there lurks following linear basis: I = [[1,0],[0,1]], X = [[1,1],[0,1]], Y = [[1,0],[1,1]]. OK, it is a basis --- every matrix M = a I + b X + c Y preserves K, and it has the correct dimension (2n+1)n = 3. [Nice --- tho' it's not obvious to me why a basis should exist at all ...] But the corresponding algebra is not very enticing: the relations are x x = 2 x - 1, y y = 2 y - 1, x y + y x = 2 x + 2 y - 1 and I can't see how to reduce x y at all. Instead, here's a much nicer presentation: take X = [[1,-1],[1,0]], Y = [[0,1],[-1,1]] = -X^2, I = [[1,0],[0,1]] = X^6; now the algebra becomes x x = -y, y y = -x, x y = 1. Fired up by this success, I proceed to n = 2 --- and hit the buffers. Is there an analogous basis of 5 matrices for Sp(4)? I can't see how to construct one at all, let alone one with nice symmetry. So before I waste any more time re-inventing the wheel, would somebody out there like to shoot my fox for me (or maybe just run over it)? Fred Lunnon