For an extension with Galois group , a semilinear action on an -space is an additive group action satisfying . Scalar coefficients are transformed along with vectors. Invariants form a -space, and Galois descent of vector spaces reconstructs the original space from it.
New to topics? Read the docs here!