Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm given a representation $\Pi : \mathrm{Gl}(n,\mathbb{C}) \rightarrow \mathrm{Aut}(\mathrm{Mat}_{n\times n}(\mathbb{C}))$ by $\Pi(g) = gXg^T$ (does it have a name?). Then the representations $\mathrm{Sym}^2$ and $\Lambda^2$ defined in the usual way - by restricting $\Pi$ to the set of symmetric and anti-symmetric matrices, respectively.

I need to prove that each one of those representations are irreducible.

I started proving by contradiction, trying to show that each base vector will be in the subspace. So, for the symmetric representation I tried using the property of orthogonal diagonalization of symmetric matrices (for each symmetric $X$ there are $Q$ - orthogonal and $D$ diagonal, such that $X = QDQ^T$), but that path only good for real symmetric matrices, and therefore, in my case, requires to handle both the real and imaginary parts.

I'm almost sure there is a proof, that requires less technique, but I'm having a hard time finding it. Also I have pretty basic knowledge of representation theory, so maybe I'm missing something.

I'll appreciate any clue.

Thanks in advance!

share|cite|improve this question
There's no need to write $nxn$; you can write $n\times n$. (I changed it.) – Michael Hardy Apr 5 '13 at 17:59
Hermitian is to unitary for complex matrices as symmetric is to orthogonal for real matrices. – Sammy Black Apr 5 '13 at 19:11
@SammyBlack According to wikipedia, this generalization doesn't work in my case. – user71158 Apr 5 '13 at 19:18
up vote 1 down vote accepted

I think your idea works without too much difficulty. Consider $Sym^2$ first. I'll show that any symmetric matrix is in the subrep $V$ containing the identity matrix $I$. Acting on $I$ by elements of the form $g = \operatorname{diag}(\sqrt a_1, \ldots, \sqrt a_n)$ shows that any diagonal matrix is in $V$. Now given any $Z = X + i Y$ symmetric, both $X$ and $Y$ are symmetric. Then by the spectral theorem both $X$ and $Y$ are diagonalizable by symmetric matrices so that $X,Y \in V$. Thus $Z = X+iY \in V$.

For anti-symmetric, a similar argument probably works using this decomposition: .

share|cite|improve this answer
Thanks! Your solution is exactly an elegant variant of what I was looking for. – user71158 Apr 7 '13 at 18:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.