e/Semilinear transformation

Information
has gloss	eng: In linear algebra, particularly projective geometry, a semilinear transformation between vector spaces V and W over a field K is a function that is a linear transformation "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T\colon V \to W that is: * linear with respect to vector addition: T(v+v) = T(v)+T(v) * semilinear with respect to scalar multiplication: T(\lambda v) = \lambda^\theta T(v), where θ is a field automorphism of K, and \lambda^\theta means the image of the scalar \lambda under the automorphism. There must be a single automorphism θ for T, in which case T is called θ-semilinear. The invertible semilinear transforms of a given vector space V (for all choices of field automorphism) form a group, called the general semilinear group and denoted \operatorname\Gamma L}(V), by analogy with and extending the general linear group.
lexicalization	eng: semilinear transformation
instance of	c/Linear operators