Definition
Semilinearity
Let and be vector spaces over a field . A function is semilinear if it is additive and scales vectors up to a field automorphism.
More precisely, there exists a field automorphism such that for all and ,
and
If is the identity map, then is linear.
Semilinearity is therefore a twisted form of homogeneity.