Bourbaki

习题 11, § 9

标签 05W8,永久不变。引用为 [Bourbaki, Tag 05W8]。

代数, II, 413

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令VV是射影线P(V)\mathbf{P}(V)的域KK和a,b,c,da, b, c, d四个不同点上的二维向量空间。由[abdc] \begin{bmatrix} a & b \\ d & c \end{bmatrix} 表示的四元组(a,b,c,d)(a, b, c, d)的*交比*为元素ξ∈K\xi \in K的集合,因此VV中存在两个向量u,vu, v(在no. 6的记号中) a=π(u),b=π(v),c=π(u+v),d=π(u+ξv)a = \pi(u), b = \pi(v), c = \pi(u + v), d = \pi(u + \xi v)。这个定义扩展立即到集合的不同点的任意四元组,并有投影线结构 (no. 11)。

(a) Show that [abdc] \begin{bmatrix} a & b \\ d & c \end{bmatrix} is the set of conjugates of an element ≠1\neq 1 of the multiplicative group K∗K^* and conversely that, when a,b,ca, b, c, are distinct points of P(V)\mathbf{P}(V) and ρ\rho the set of conjugates of an element ≠1\neq 1 of K∗K^*, there exists a point d∈P(V)d \in \mathbf{P}(V) such that [abdc]=ρ \begin{bmatrix} a & b \\ d & c \end{bmatrix} = \rho. 为了使dd是唯一的,ρ\rho由单个点组成是必要且充分的。

(b) 证明

[abcd]=[badc]=[abdc]−1 \begin{bmatrix} a & b \\ c & d \end{bmatrix} = \begin{bmatrix} b & a \\ d & c \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}^{-1}
和
[dacb]=1−[abdc] \begin{bmatrix} d & a \\ c & b \end{bmatrix} = 1 - \begin{bmatrix} a & b \\ d & c \end{bmatrix}
(用共轭λξ−1λ−1=(λξλ−1)−1\lambda \xi^{-1} \lambda^{-1} = (\lambda \xi \lambda^{-1})^{-1}(或1−λξλ−1=λ(1−ξ)λ−11 - \lambda \xi \lambda^{-1} = \lambda (1 - \xi) \lambda^{-1})中的ρ−1\rho^{-1}(或1−ρ1 - \rho)集合表示,其中ξ\xi是ρ\rho中的元素)。

(c) 令 (a,b,c,d),(a′,b′,c′,d′)(a, b, c, d), (a', b', c', d') 为 P(V)\mathbf{P}(V) 不同的点的两个四元组。为了存在VV到自身的双射半线性映射,使得P(V)\mathbf{P}(V)的双射映射ff到自身,当经过为商时获得,满足条件f(a)=a′,f(b)=b′,f(c)=c′,f(d)=d′f(a) = a', f(b) = b', f(c) = c', f(d) = d',存在自同构是充分必要的σ\sigma / KK 使得

[a′b′d′c′]=[abdc]σ. \begin{bmatrix} a' & b' \\ d' & c' \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}^\sigma.
对于上述条件的射影群 PGL(V)\mathbf{PGL}(V) 满足的变换 ff 的存在,有必要且充分:
[a′b′d′c′]=[abdc]. \begin{bmatrix} a' & b' \\ d' & c' \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}.

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。