Take the 2-minute tour ×
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.

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|improve this question
3  
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
2  
This can be done in characteristic $p$ with suitable $p \times p$ matrices. See the answers at math.stackexchange.com/questions/99175/… –  KCd May 19 '12 at 6:36
show 1 more comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.