Skip to main content
Source Link
SashaP
  • 7.4k
  • 1
  • 31
  • 46

Just to elaborate on Adel BETINA's comment, $V \cap K^n$ is exactly $V^G$, so the part "$f$ is one-to-one" of the proof of Theorem 2.14 in Conrad's text does the job, because from $L\otimes_K V^G\cong V$ follows $\dim_LV=\dim_KV^G$.

Post Made Community Wiki by SashaP