# Is there good intution of the trace map?

I have never understood the trace map,not even after reading Geometric Interpretation of Trace. The problem with many answers in the above discussion is the geometric intuition does not apply to other field.

As I don't want this to be closed, let me make the question more precise. Is there a definition of the trace map which

1) is basis independent, (there was a definition given by Sridhar Ramesh in the old post).

2) explains in an intuitive way why if $L$ is a finite separable extension of $K$, the map $(x,y) \mapsto Tr(xy)$, where $x,y$ are in $L$, is a non degenerated bilinear form on L?

-

I don't know if this is what you're looking for, but there's a basis-free definition of the trace in general, outside of the algebraic number theory context -- a linear transformation $V\to V$ corresponds in a natural way to an element of $V\otimes V^\ast$, and the trace map is the map $V\otimes V^\ast\to k$ induced by the bilinear map $V\times V^*\to k$ which sends $(v,f)$ to $f(v)$.
Perhaps an even easier way to see non-degeneracy is to go beyond the field case and let $L$ be more generally a product of finitely many finite separable extensions (fancier terms: finite etale $k$-algebra). That condition has the merit that it is preserved by any extension of the ground field, and so then to do the proof we can assume the ground field is alg. closed, in which case $L$ is a product of copies of $k$ (as a $k$-algebra) and everything drops out by inspection; no need for Galois groups at all. This is given in Milne's book on etale cohomology, and many other places. – BCnrd Apr 12 '10 at 3:05
how exactly is the isomorphism $End(V)\cong V\otimes V^\ast$ constructed? – Toink Jan 22 '13 at 6:44
I don't actually have any memory of writing this post three years ago, but apparently I did. At any rate, it's easier to see the map $V\otimes V^*\to End(V)$ than the inverse: it's induced by the bilinear map $V\times V^*\to End(V)$ defined which sends $(v,f)$ to the function that takes $w$ to $f(v)w$. Then you check injectivity, and the fact that the vector spaces have the same dimension means it has to be an isomorphism. – Nicolas Ford Jan 23 '13 at 23:02