|
数学において、 アックス–グロタンディークの定理（）は単項式の単射性と全射性についての結果である。 (James Ax) とアレクサンドル・グロタンディーク (Alexander Grothendieck) によって独立に証明された〔.〕〔.〕。 定理はしばしば次の特別な形で述べられる。''P'' が C''n'' から C''n'' への多項式関数で、''P'' が単射ならば、''P'' は全単射である。つまり、''P'' が異なる引数を常に異なる値に写すならば、''P'' の値域は C''n'' 全体を覆う〔〔。 定理の完全な形は代数的閉体上の任意の代数多様体に一般化される〔Éléments de géométrie algébrique, IV3, Proposition 10.4.11.〕。 == 有限体を経由した証明 == グロタンディークによる定理の証明〔〔は有限体とその代数的閉包に対する同様の定理を証明することに基づいている。つまり、それ自身有限であるかまたは有限体の閉包であるような任意の体 ''F'' に対して、''Fn'' から自身への多項式写像 ''P'' が単射ならば全射である。 ''F'' が有限体であれば、''Fn'' は有限である。この場合定理は自明な理由によって正しい。多項式関数に限らず、有限集合からそれ自身への任意の単射は全射である。''F'' が有限体の代数的閉包であるとき、結果はヒルベルトの零点定理から従う。それゆえ複素数に対するアックス–グロタンディークの定理は、C 上の反例が仮にあったとすればそれから有限体上のある代数拡大における反例が出ることを示すことによって証明できる。 証明のこの手法は次の点において注目すべきである。標数 0 の体における な代数的関係が、標数の大きい有限体上の代数的関係に翻訳される、というアイデアの例である〔。したがって、有限体の算術を C についてのステートメントを証明するために使うことができる。どんな有限体からも C への準同型が存在しないにも関わらずである。それゆえ証明は多項式についての初等的なステートメントを証明するのにモデル理論的な原理を使う。一般のケースに対する証明も同様の手法を使う。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「アックス–グロタンディークの定理」の詳細全文を読む スポンサード リンク
|