令V是射影线P(V)的域K和a,b,c,d四个不同点上的二维向量空间。由[adbc]表示的四元组(a,b,c,d)的*交比*为元素ξ∈K的集合,因此V中存在两个向量u,v(在no. 6的记号中) a=π(u),b=π(v),c=π(u+v),d=π(u+ξv)。这个定义扩展立即到集合的不同点的任意四元组,并有投影线结构 (no. 11)。
(a) Show that [adbc] is the set of conjugates of an element =1 of the multiplicative group K∗ and conversely that, when a,b,c, are distinct points of P(V) and ρ the set of conjugates of an element =1 of K∗, there exists a point d∈P(V) such that [adbc]=ρ. 为了使d是唯一的,ρ由单个点组成是必要且充分的。
(b) 证明
[acbd]=[bdac]=[adbc]−1 和
[dcab]=1−[adbc] (用共轭
λξ−1λ−1=(λξλ−1)−1(或
1−λξλ−1=λ(1−ξ)λ−1)中的
ρ−1(或
1−ρ)集合表示,其中
ξ是
ρ中的元素)。
(c) 令 (a,b,c,d),(a′,b′,c′,d′) 为 P(V) 不同的点的两个四元组。为了存在V到自身的双射半线性映射,使得P(V)的双射映射f到自身,当经过为商时获得,满足条件f(a)=a′,f(b)=b′,f(c)=c′,f(d)=d′,存在自同构是充分必要的σ / K 使得
[a′d′b′c′]=[adbc]σ. 对于上述条件的射影群
PGL(V) 满足的变换
f 的存在,有必要且充分:
[a′d′b′c′]=[adbc].