Galois descent of vector spaces ($L{\otimes }_K{V}^G\cong V$)

For a Finite Galois extension $L/K$ and a finite-dimensional $L$-space $V$ with a semilinear action of its Galois group, the map $L{\otimes }_K{V}^G\to V$ is an isomorphism. The vectors ${\sum }_{\sigma }\sigma (a)\sigma (v)$ are invariant and span $V$ by the Artin independence theorem. Choosing an invariant $L$-basis then identifies the invariant space with its $K$-span. The proof does not divide by the extension degree.

A splitting isomorphism of a central simple algebra with $M_n(L)$ transports its Galois action to $T_{\sigma }=c_{\sigma }{\sigma }_0$, giving a nonabelian first cohomology class. Conversely a cocycle gives a semilinear algebra action whose invariants descend to a central simple algebra. Equivalent cocycles give isomorphic fixed algebras. This gives a pointed-set bijection ${\mathrm{CSA}}_n(L/K)\cong H^1(\mathrm{Gal}(L/K),{\mathrm{PGL}}_n(L))$.

For an extension $L/K$ with Galois group $G$, a semilinear action on an $L$-space is an additive group action satisfying $\sigma (av)=\sigma (a)\sigma (v)$. Scalar coefficients are transformed along with vectors. Invariants form a $K$-space, and Galois descent of vector spaces reconstructs the original space from it.