Semilinear map

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

1. f ( x + y ) = f ( x ) + f ( y ) ,
2. f ( λ x ) = σ ( λ ) 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

1. ψ ( x + y ) = ψ ( x ) + ψ ( y ) ,
2. ψ ( x λ ) = σ ( λ ) ψ ( 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.

Transpose

Let σ : R → S be a ring isomorphism, M a right R-module and N a right S-module, and ψ : M → N a σ-semilinear map. We define the transpose of ψ as the mapping ^tψ : N^∗ → M^∗ that satisfies

⟨ y , ψ ( x ) ⟩ = σ ( ⟨ t ψ ( y ) , x ⟩ ) ∀ y ∈ N ∗ , ∀ x ∈ M .

This is a σ⁻¹-semilinear map.

Properties

Let σ : R → S be a ring isomorphism, M a right R-module and N a right S-module, and ψ : M → N a σ-semilinear map. The mapping

M → R : x ↦ σ − 1 ( ⟨ y , ψ ( x ) ⟩ ) , y ∈ N ∗

defines an R-linear form.

Examples

Let K = C , V = C n , with standard basis e 1 , … , e n . Define the map f : V → V by f ( ∑ i = 1 n z i e i ) = ∑ i = 1 n z ¯ i e i

f is semilinear (with respect to the complex conjugation field automorphism) but not linear.

Let K = GF ⁡ ( q ) – the Galois field of order q = p i , p the characteristic. Let ℓ θ = ℓ p . By the Freshman's dream it is known that this is a field automorphism. To every linear map f : V → W between vector spaces V and W over K we can establish a θ -semilinear map f ~ ( ∑ i = 1 n ℓ i e i ) := f ( ∑ i = 1 n ℓ i θ e i ) .

Indeed every linear map can be converted into a semilinear map in such a way. This is part of a general observation collected into the following result.

Let R be a noncommutative ring, M a left R -module, and α an invertible element of R . Define the map φ : M → M : x ↦ α x , so φ ( λ u ) = α λ u = ( α λ α − 1 ) α u = σ ( λ ) φ ( u ) , and σ is an inner automorphism of R . Thus, the homothety x ↦ α x need not be a linear map, but is σ -semilinear.

General semilinear group

Given a vector space V, the set of all invertible semilinear transformations V → V (over all field automorphisms) is the group ΓL(V).

Given a vector space V over K, and k the prime field of K, then ΓL(V) decomposes as the semidirect product

Γ L ⁡ ( V ) = GL ⁡ ( V ) ⋊ Aut ⁡ ( K / k ) ,

where Aut(K/k) is the automorphisms of K as a field over k. Similarly, semilinear transforms of other linear groups can be defined as the semidirect product with the automorphism group, or more intrinsically as the group of semilinear maps of a vector space preserving some properties.

We identify Aut(K/k) with a subgroup of ΓL(V) by fixing a basis B for V and defining the semilinear maps:

∑ b ∈ B ℓ b b ↦ ∑ b ∈ B ℓ b σ b

for any σ ∈ Aut ⁡ ( K / k ) . We shall denoted this subgroup by Aut(K/k)_B. We also see these complements to GL(V) in ΓL(V) are acted on regularly by GL(V) as they correspond to a change of basis.

Proof

Every linear map is semilinear, thus GL ⁡ ( V ) ≤ Γ L ⁡ ( V ) . Fix a basis B of V. Now given any semilinear map f with respect to a field automorphism σ ∈ Aut(K/k), then define g : V → V by

g ( ∑ b ∈ B ℓ b b ) := ∑ b ∈ B f ( l b σ − 1 b ) = ∑ b ∈ B ℓ b f ( b )

As f(B) is also a basis of V, it follows that g is simply a basis exchange of V and so linear and invertible: g ∈ GL(V).

Set h := f g − 1 . For every v = ∑ b ∈ B ℓ b b in V,

h v = f g − 1 v = ∑ b ∈ B ℓ b σ b

thus h is in the Aut(K/k) subgroup relative to the fixed basis B. This factorization is unique to the fixed basis B. Furthermore, GL(V) is normalized by the action of Aut(K/k)_B, so ΓL(V) = GL(V) ⋊ Aut(K/k).

Projective geometry

The Γ L ⁡ ( V ) groups extend the typical classical groups in GL(V). The importance in considering such maps follows from the consideration of projective geometry. The induced action of Γ L ⁡ ( V ) on the associated vector space P(V) yields the projective semilinear group, denoted P Γ L ⁡ ( V ) , extending the projective linear group, PGL(V).

The projective geometry of a vector space V, denoted PG(V), is the lattice of all subspaces of V. Although the typical semilinear map is not a linear map, it does follow that every semilinear map f : V → W induces an order-preserving map f : PG ⁡ ( V ) → PG ⁡ ( W ) . That is, every semilinear map induces a projectivity. The converse of this observation (except for the projective line) is the fundamental theorem of projective geometry. Thus semilinear maps are useful because they define the automorphism group of the projective geometry of a vector space.

Mathieu group

The group PΓL(3,4) can be used to construct the Mathieu group M₂₄, which is one of the sporadic simple groups; PΓL(3,4) is a maximal subgroup of M₂₄, and there are many ways to extend it to the full Mathieu group.