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.

In a lemma building up to the proof of Cartan's criterion for solubility they deduce something that I don't follow. This is likely due to some deficit in my knowledge of linear algebra.

I'll outline the general argument in case the context matters:

$\lambda_1,\ldots,\lambda_n$ are eigenvalues for a linear transformation. $E$ is the $\mathbb{Q}$-vector space spanned by them. Trying to show that every $f$ in the dual of $E$ is zero. $y$ is the diagonal matrix with entries $f(\lambda_1),\ldots,f(\lambda_n)$. Then there are some arguments which conclude with $0=\sum f(\lambda_i)^2$.

They then say that this implies $f(\lambda_i)=0$. I can't see why this is true, can someone point it out?

Thanks.

share|improve this question
1  
Ah. Is this Humphreys? I remember loving this proof –  muzzlator Mar 27 '13 at 17:19
    
I don't have the book at hand, but this is strange at first sight. Every $f$ in the dual being zero implies that all those eigenvalues are zero; is that what is being proved here? In any case the dual would be $L_\Bbb Q(E,\Bbb Q)$, so its elements take rational values, and their squares are positive. –  Marc van Leeuwen Mar 27 '13 at 17:37
    
I've uploaded the proof from the book here: i.imgur.com/egjmNM1.png –  muzzlator Mar 27 '13 at 17:43
    
That version explains some details better, it's from Humphreys? I'm learning from a set of lecture notes at the moment. –  Lobstered Mar 27 '13 at 18:11

1 Answer 1

up vote 1 down vote accepted

$f(\lambda_i)^2 \geq 0$ and so $$\sum f(\lambda_i)^2 = 0 \iff f(\lambda_i) = 0$$

share|improve this answer
    
Man that's embarrassing that I missed that, thanks for answering. –  Lobstered Mar 27 '13 at 17:25
    
No probs, these things happen to everyone. I still favourited this question because I want to remind myself to look through that proof again so the question didn't go to waste for at least one person :) –  muzzlator Mar 27 '13 at 17:27

Your Answer

 
discard

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.