Semilinear map

A semilinear map is a type of function that appears in the context of vector spaces, particularly in linear algebra and functional analysis. It generalizes the notion of linear maps by allowing for a change of scalars through a field automorphism. Formally, let \( V \) and \( W \) be vector spaces over a field \( F \).