In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : V → W that is:
additive with respect to vector addition: T ( v + v ′ ) = T ( v ) + T ( v ′ ) {\displaystyle T(v+v')=T(v)+T(v')}
there exists a field automorphism θ of K such that T ( λ v ) = θ ( λ ) T ( v ) {\displaystyle T(\lambda v)=\theta (\lambda )T(v)} . If such an automorphism exists and T is nonzero, it is unique, and T is called θ-semilinear. Where the domain and codomain are the same space (i.e. T : V → V), it may be termed a semilinear transformation. 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 Γ L ( V ) , {\displaystyle \operatorname {\Gamma L} (V),} by analogy with and extending the general linear group. The special case where the field is the complex numbers C {\displaystyle \mathbb {C} } and the automorphism is complex conjugation, a semilinear map is called an antilinear map. Similar notation (replacing Latin characters with Greek ones) is used for semilinear analogs of more restricted linear transformations; formally, the semidirect product of a linear group with the Galois group of field automorphisms. For example, PΣU is used for the semilinear analogs of the projective special unitary group PSU. However, it was only recently noticed that these generalized semilinear groups are not well-defined, as pointed out in (Bray, Holt & Roney-Dougal 2009) – isomorphic classical groups G and H (subgroups of SL) may have non-isomorphic semilinear extensions. At the level of semidirect products, this corresponds to different actions of the Galois group on a given abstract group, a semidirect product depending on two groups and an action. If the extension is non-unique, there are exactly two semilinear extensions; for example, symplectic groups have a unique semilinear extension, while SU(n, q) has two extensions if n is even and q is odd, and likewise for PSU.
Definition A map f : V → W for vector spaces V and W over fields K and L respectively is σ-semilinear, or simply semilinear, if there exists a field homomorphism σ : K → L such that for all x, y in V and λ in K it holds that
f ( x + y ) = f ( x ) + f ( y ) , {\displaystyle f(x+y)=f(x)+f(y),}
f ( λ x ) = σ ( λ ) f ( x ) . {\displaystyle f(\lambda x)=\sigma (\lambda )f(x).}
A given embedding σ of a field K in L allows us to identify K with a subfield of L, making a σ-semilinear map a K-linear map under this identification. However, a map that is τ-semilinear for a distinct embedding τ ≠ σ will not be K-linear with respect to the original identification σ, unless f is identically zero. More generally, a map ψ : M → N between a right R-module M and a left S-module N is σ-semilinear if there exists a ring antihomomorphism σ : R → S such that for all x, y in M and λ in R it holds that
ψ ( x + y ) = ψ ( x ) + ψ ( y ) , {\displaystyle \psi (x+y)=\psi (x)+\psi (y),}
ψ ( x λ ) = σ ( λ ) ψ ( x ) . {\displaystyle \psi (x\lambda )=\sigma (\lambda )\psi (x).}
The term semilinear applies for any combination of left and right modules with suitable adjustment of the above expressions, with σ being a homomorphism as needed. The pair (ψ, σ) is referred to as a dimorphism.
Related
Transpose Let σ : R → S {\displaystyle \sigma :R\to S} be a ring isomorphism, M {\displaystyle M} a right R {\displaystyle R} -module and N {\displaystyle N} a right S {\displaystyle S} -module, and ψ : M → N {\displaystyle \psi :M\to N} a σ {\displaystyle \sigma } -semilinear map. Define the transpose of ψ {\displaystyle \psi } as the mapping
t ψ : N ∗ → M ∗ {\displaystyle {}^{t}\psi :N^{*}\to M^{*}} that satisfies
⟨ y , ψ ( x ) ⟩ = σ ( ⟨
… excerpt ends here. Continue reading the full article.
