19/11/09 15:17:19.07 aIAMZK1h.net
有限位数の射影平面
”既に説明したように、各素数冪 p^n に対して同位数の射影平面が存在する。事実として、「知られている」全ての有限射影平面はその位数が素数冪である。
それ以外の位数についても有限射影平面が存在するかどうかというのは、未解決の問題である。
位数に関する一般的な制限として知られているのは、位数 N が法 4 に関して 1 または 2 と合同ならば、それは二つの平方数の和にならなければいけないというブルック＝ライザー＝チョウラの定理である。
これにより N = 6 が除外できる。次の場合は N = 10 が、大規模計算機の計算により除外された。それ以上の場合については知られていない（特に N = 12 も未解決である）。
射影平面の分類は全然終わっていない。いくつかの結果を位数の順に以下に示す。
・10 : この位数の射影平面は存在しない（計算機による膨大な計算の結果として証明された）。
・11 : すくなくとも PG(2,11) が挙げられる。他は知られていないが可能性はある。
・12 : この位数の射影平面は存在しないと予想されているが証明はされていない。”
ガロア逆問題に似ているね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
射影平面
線型代数学的な定義
例
・K として実数体 R を取れば、実射影平面 RP2 が生じる。これは位相幾何学において、向きを持たない実二次元の多様体の基本的な例を与えるものである[4]。
・K として複素数体 C を取れば、複素射影平面 CP2 が生じる。これは複素二次元の閉多様体であり、従って向きを持つ実四次元の多様体である。他の体上の射影平面ともども代数幾何学の基本的な例を与える[5]。
・四元射影平面もまた別な意義を持つ対象である。ケーリー平面は八元数環上の射影平面と考えられるが、八元数環が斜体を成さないため、きちんとした構成を十分に記述することはできない[3]。
・K として位数 p n の有限体を取れば、p^2n + p^n + 1 個の点を持つ射影平面が得られる。後述するファノ平面は p n = 2 とした場合にあたる。
組合せ論的な定義
より一般な組合せ論的定義によれば、射影平面は直線の集合と点の集合から成り、点と直線との間の結合あるいは接続 (incidence) と呼ばれる以下のような性質を持つ関係を備えるものである。
つづく