I am trying to prove the lemma
If $L:K$ is finite then every $K$-monomorphism $L→L$ is an automorphism.
My idea is to show that every $K$-monomorphism is surjective too. Let $B=\{b_1,b_2,...,b_n\}$ a base. I have to show that elements from $B$ go to elements of $B$. I was thinking: "Is it necessary that the extension is finite?" How to prove the lemma?
This is a trivial since $L$ is a finite dimensional $K$-vector space, and every $K$-endomorphism $L \longrightarrow L$ is a $K$-linear map.
Now, a (well-known) result of linear algebra says that an endomophism $K^n \longrightarrow K^n$ is injective if and only if it is surjective, if and only if its determinant is $\neq 0$.