■MOLS(その8)
【1】有限射影平面
次の4つの条件は同値である.
[1]どの直線もn+1点を含む
[2]どの点もn+1本の直線に含まれる
[3]全部でn^2+n+1個の点が存在する
[4]全部でn^2+n+1本の直線が存在する
[定理]n=1,2 (mod4)のとき,位数nの射影平面が存在するならば,nは2つの平方数の和
n=x^2+y^2
で表される.
[定理]位数n=6,14,21,22,・・・の射影平面は存在しない.
[定理]位数n=2,3,4,5,7,8→射影平面は同型を除いて一意.
位数n=9→4つの同型でないものが存在する.
位数n=10→同型を除いて一意.
位数n=12,15→未解決(反例は見つかっていない).
===================================
【2】有限アフィン平面
次の4つの条件は同値である.
[1]どの直線もn点を含む
[2]どの点もn+1本の直線に含まれる
[3]全部でn^2個の点が存在する
[4]全部でn^2+n本の直線が存在する
===================================