I'm trying to understand the Cartan decomposition of a semisimple Lie algebra, $\mathfrak g=\mathfrak k \oplus \mathfrak p$, where $[\mathfrak k,\mathfrak p] \subseteq \mathfrak p$, cf. the wikipedia article on Cartan decomposition.

I posted the following question on math.stackexchange.com, where Darij suggested to repost the question here as an answer is not completely obvious, I suppose.

Let $\mathfrak {so}_{n}$ denote the skew-symmetric complex $n \times n$-matrices and let $M$ denote the symmetric $n \times n$-matrices of trace 0.

Then $M$ is a module over the Lie algebra $\mathfrak {so}_n$ (this comes from the Cartan decomposition of $\mathfrak {sl}_n$).

What is the decomposition of $M$ into irreducible $\mathfrak {so}_n$-modules?

The standard representation of $\mathfrak {so}_n$ has dimension $n$, the adjoint representation has dimension $\frac 1 2 n \cdot (n-1)$ and there are two spin representations of small dimension. But I don't see a way how these, together with trivial representations, should add up to the dimension of $M$, which is $\frac 1 2 n \cdot (n+1)-1$.

multiplicativelyby the standard and the spinorial reps. Indeed, the one you want is in the tensor product of the standard rep with itself. This question is not really MO level, though, my all due to respect to darij grinberg. $\endgroup$ – José Figueroa-O'Farrill Feb 21 '11 at 11:12