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

There is a problem given in a representation theory textbook:

Prove that for any finite-dimensional complex vector space $V$ there are no $X, Y \in \operatorname{End}V$ such that $[X, Y] = \mathrm{id}$.

I tried looking at $\mathbb{C}[X, Y]$ and the ideal of $\operatorname{End}V$ generated by $XY - YX$, but so far to no avail. I could use a hint.

share|cite|improve this question
Hint. Consider the trace. – Arturo Magidin May 19 '12 at 5:27
Oh...${}{}{}{}{}$ So if $\operatorname{char} k = p$, then $k^{np}$ may have such $X$ and $Y$, right? – Alexei Averchenko May 19 '12 at 5:30
Well, if the characteristic is $p$, then the trace won't settle it. I don't know if it is possible or not. I know it can happen in infinite dimensions. – Arturo Magidin May 19 '12 at 5:45
There are two important properties of the trace that can be used to prove this: The trace is linear, and two operators commute in the argument of the trace. – JLA May 19 '12 at 6:12
This can be done in characteristic $p$ with suitable $p \times p$ matrices. See the answers at… – KCd May 19 '12 at 6:36

Your Answer


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

Browse other questions tagged or ask your own question.