习题 10, § 9

在域$K$上的$n$维射影空间$\mathbf{P}(V)$中，*射影基*是$n + 2$点的集合$S$，其中形式射影自由系统。 如果$S = (a_i)_{0 \leq i \leq n+1}$和$S' = (a'_i)_{0 \leq i \leq n+1}$是$\mathbf{P}(V)$的任意两个射影基，则证明存在一个变换$f \in \mathbf{PGL}(V)$，使得$f(a_i) = a'_i$对于$0 \leq i \leq n + 1$。 For this transformation to be unique, it is necessary and sufficient that $K$ be commutative. (Reduce it to the case where $a'_i = a_i$ for all $i$ and note that it is always possible to write (in the notation of no. 6) $a_i = \pi(b_i)$, where $(b_i)_{1 \leq i \leq n+1}$ is a basis of $V$ and $b_0 = b_1 + b_2 + \cdots + b_{n+1}$.) Give an example where $K$ is a field of quaternions and there exists an infinite set $T$ of points of $\mathbf{P}(V)$ any $n + 1$ of which form a projectively free system and a transformation $f \in \mathbf{PGL}(V)$, distinct from the identity, leaving invariant all the points of $T$.