係数体

定理 9

直線 $l$ 上に標構 $\{o, c, e\}$, 直線 $l'$ 上に標構 $\{o', c', e'\}$ があるとき, 二つの Staudt 代数 $K(o, c, e), K(o', c', e')$ は同型である.

証明

射影変換 $\varphi : l\to l'$ で $$\varphi(o) = o', \varphi(c) = c', \varphi(e) = e'$$ となるものがあり, 全単射 $\varphi : K(o, c, e)\to K(o', c', e')$ を導く. $\varphi$ によって四角形性六点 $$\{c, x, o, c, y, x + y\}, \{o, x, e, c, y, xy\}$$ はそれぞれ $$\{c', \varphi(x), o', c', \varphi(y), \varphi(x + y)\}, \{o', \varphi(x), e', c', \varphi(y), \varphi(xy)\}$$ に写るから $$\varphi(x + y) = \varphi(x) + \varphi(y), \varphi(xy) = \varphi(x)\varphi(y)$$ が成り立ち, $\varphi$ は体の同型となる.

(証明終)

定義 7

定理 9 により, 射影空間の全ての Staudt 代数は互いに同型である. 射影空間の Staudt 代数に同型となる抽象的な体を射影空間の係数体という.

定理 10

直線 $l$ の標構 $\{o, c, e\}$ を動かさない射影変換 $\varphi : l\to l$ は $K(o, c, e)$ の内部自己同型に限る.

証明

内部自己同型が条件を満たす射影変換となることは定理 8 よりわかる.

逆に標構を動かさない射影変換が内部自己同型であることは証明が長くなるので省略する. 詳しくは参考文献 [1] などを参照のこと.

戻る