半線型写像
与えられたベクトル空間 V に対し、その可逆な半線型写像の(体自己同型全てに亘る)全体の成す集合は、一般半線型群 ΓL(V) を成す。
V が K 上のベクトル空間で、K の素体を k とするとき、一般半線型群 ΓL(V) は半直積
Γ L  ( V ) = GL  ( V ) ⋊ Gal  ( K / k ) {\displaystyle \operatorname {\Gamma L} (V)=\operatorname {GL} (V)\rtimes \operatorname {Gal} (K/k)}
に分解される。ここで Gal(K/k) は体の拡大 K/k のガロワ群である。同様に、半線型写像の成す他の線型群もガロワ群のと半直積として、あるいはより内在的にベクトル空間の間のある性質を保存する半線型写像全体の成す群として、定義することができる。
V の基底 B を一つ固定して、ガロワ群 Gal(K/k) を、任意の σ ∈ Gal(K/k) に対して
∑ b ∈ B l b b ↦ ∑ b ∈ B l b σ b {\displaystyle \sum _{b\in B}l_{b}b\mapsto \sum _{b\in B}l_{b}^{\sigma }b}
で定義される半線型写像全体の成す ΓL(V) の部分群と同一視する。同一視した部分群を Gal(K/k)B と書くとき、これらの成分は ΓL(V) において GL(V) に対して、V の基底変換としての GL(V) として正則に作用する。
上記のことを確かめよう。任意の線型写像は半線型ゆえ GL(V) ≤ ΓL(V) である。