多変数多項式

代数学における適当な単位的可換環 A}} に係数を持つ多変数多項式は、不定元 X}} に関する一変数多項式環 //A//[//X//]}} を一般化する A}}-結合多元環の元を言う。有限個の不定元に関する多項式環 //A//bracket は n}} に関して帰納的に構成できる。すなわち、この多項式環は、一つの不定元 Xind の多項式環 //A//bracket に係数を持つ多項式全体の成す環である。任意の添字集合 I}}で添字付けられた任意個数の不定元 //Xind に関する多項式環 //A//bracket は、I}} の任意の有限部分集合 J}} に対する多項式環 //A//bracket を亙る「合併」として定義される。より精確には、I}} が有限でも無限でも、//A//bracket はモノイド環として定義できる。それはつまり、モニック単項式全体の成すモノイドを考え、それら単項式の A}}-係数の形式線型結合として多項式は定義されるということである。//

以下本項では、A}} は単位的可換環とし、A}}-多元環は結合的かつ単位的な多元環を意味するものとする。

1. 帰納的構成
--------

1.1. 有限変数の帰納的構成
---------------

n}} 変数の A}}-係数多項式環 //A//bracket は n}} に関して帰納的に定義されるharv :

0}} 個の不定元に関する A}}-係数多項式環とは、単に A}} それ自身のこととする。
//n// > 1}} に対し、//A//bracket は、係数環 B}} がひとつ前のステップで構成済みの多項式環 //A//bracket となっている多項式環 //B//bracket である。定義により、直ちにわかることは //A//bracket は

可換環であり、整域となるための必要十分条件は A}} がそうであることである。
A}} を部分環として含み、したがって A}}-多元環となる。
A}}-加群として自由であり、その標準基底は単項式 subsupの全体で与えられる。上記の帰納的定義をより具体的に書けば、//A//bracket の元は なる形の有限和に書けて、さらに各 Pind は なる有限和に書けるということになる。あるいは、m}} 個の //d//ind の上界と下界を d}} として、Pind および A}} に属する係数のリストを適当に 0}} で埋めれば、 と多少簡単に書けて、最終的に n}} 変数多項式は なる形をしている。

1.2. 無限変数への拡張
-------------

上記の定義からわかることとして:

多項式環 //A//bracket は構成に現れる不定元を添加する順番に依らず定まる。この環を //A//bracket と書いたり順序付けられていない n}} 元集合 I}} を用いて //A//bracket と書いたりもする。
任意の部分集合 //J// ⊂ //I//}} に対して //A//bracket は //A//bracket の部分環となる。これらの事実により、任意の集合 S}}に対する多項式環 //A//bracket を定義することが可能であり、それは S}} の有限部分集合 I}} すべてに亘る //A//bracket の合併として定まる。

いくつかの基本性質はこの定義から直ちに得られる:

多項式環 //A//bracket が整域となるための必要十分条件は A}} がそうであることである。
任意の部分集合 //J// ⊂ //S//}} に対し、多項式環 //A//bracket は //A//bracket と同一視される。
S}} がその部分集合の成す鎖 F}} の合併に一致するならば //A//bracket は F}} に属する I}} すべてに亘る //A//bracket の合併に一致する。

2. モノイド環としての構成
--------------

同じ構造を定義するという意味で同値な、別の構成法は、一変数多項式のときの構成を「模倣」することからなる。これにより、多項式環の普遍性を鮮やかに示すことができるname=Ferrand。

2.1. モニック単項式のモノイド
-----------------

不定元の添字からなる集合 S}} に、S}} 上の自由対象可換モノイドを対応付ける。

加法的記法を用いて、考えたい自由可換モノイドは、S}} から非負整数全体の成す集合 ℕ}} への、台が有限な写像全体の成す集合 ℕexp に成分ごとの和を入れたものとして書くことができる。各 //s// ∈ //S//}} に対し、このモノイドの元 eind を s}} において 1}}, それ以外では 0}} となるような S}} から ℕ}} への写像と定めれば、(//eind はこの可換モノイドの「基底」となる。それはつまり ℕexp の各元が eind の形の元の有限和として一意に書けるという意味である。具体的に (//kind は 0}} でない非負整数 kind 全てに対する kind の和である。

モニック単項式全体の成すモノイド Mind も同じく S}} 上の自由可換モノイドであるが、記法は乗法的であり、標準基底は (//Xind と書かれる。すなわち、任意のモニック単項式は Xind の冪の有限積として一意に表される。//

2.2. 対応するモノイド環
--------------

多項式環 //A//bracket は、モノイド Mind の A}}-係数モノイド環 //A//bracket として定義される。すなわち、各多項式 P}} はモニック単項式の A}}-係数形式線型結合である。これはまた ℕexp から A}} への有限台付き写像とも解釈でき、それは有限個の例外を除く全ての成分が 0}} となる各族 (//kind に対し、P}} における単項式 ∏ind の係数を対応させる写像として表される。//

したがって多項式環 //A//bracket は Mind 上の A}}-自由加群であり、モノイド Mind における乗法を線型に拡張した A}}-多元環の乗法を一意に備える。

3. 記法
-----

//A//bracket の多項式 P}} の記法にはいくつかあるname=Ferrand}}:

一つは前節までに用いていたもの:
いま一つはより簡潔である。モノイド Mind の元である族 (//kind を k}} と書き、対応するモニック単項式を Xexp と書いて と表す。これは多重添字記法である。//

4. 性質
-----

4.1. 普遍性
--------

簡単のため、n}} 変数多項式環 //A//bracket を考える。すると、任意の可換 //A//-多元環 B}} と B}} の元の n}}-組 (//b//ind に対し、評価準同型と呼ばれる //A//bracket から B}} への一意的な A}}-多元環準同型が存在して、各 Xind は同じ添字の bind に写る。この性質と準同型定理を併せれば、有限生成多元環 A}}-可換多元環が適当な n}} に対する多項式環 //A//bracket の剰余環に同型となることが示される。したがって、そのような多元環からほかの可換 A}}-多元環への準同型の構成にそれは本質的である。

より一般に、多項式環は以下の普遍性によって特徴付けられる:

多項式環の普遍性 任意の可換 A}}-多元環 B}} と B}} の元の族 (//bind が与えられたとき、一意的な A}}-多元環準同型 //φ//: //A//bracket が存在して、 が成り立つ。//例
A}} が B}} の部分環のとき、上記の評価準同型の像は A}} および bind の生成する B}} の部分環 //A//bracket である。
可換環 C}} に対し、任意の準同型 //ψ//: //A// → //C//}} は普遍性により一意な準同型 //φ//: //A//bracket に延長されて、1=//φ//(//Xind が成り立つ。これは不定元の集合を固定した多項式環の間の係数環の取り換えに関する函手性に読み替えることができる。したがって、φ}} の像は ψ}} の像を D}} として //D//bracket であり、φ}} の核は ψ}} の核の生成するイデアルに一致する。//

4.2. 次数
-------

一変数多項式に関するいくつかの定義は一般化される:

単項式とは、A}} の各元と Mind の各元との積を言う。このとき
A}} の元をこの単項式の係数と呼ぶ。
単項式の次数は Mind の元に現れる不定元の冪指数の和を言う。
非零多項式の次数は、この多項式に現れる単項式の次数のうち最大のものを言う。
定数多項式は零多項式または零次多項式である。
多項式の定数項は零次の単項式の係数である。他方、例えば「モニック多項式」や「最高次単項式」のような概念はもはや意味を為さない。

整域上の多項式環では、一変数の場合と同様に、二つの非零多項式の積の次数は各多項式の次数の和に等しい。

A}} が可換体のとき、多項式環 //A//bracket はユークリッド環であった。これは多変数の場合には拡張されない。例えば、二変数多項式環 //A//bracketは、X, Y}} の生成するイデアル }} が主イデアルでないから、主環でない。

したがってより弱い性質を見る必要がある。一変数の場合において、次数の概念はヒルベルトの基定理「A}} がネーター環ならば多項式環 //A//bracket もそうである」を確立することを可能にする。 //A//bracket の帰納的定義から、直ちに以下を得る:

定理  A}} がネーター環ならば、有限個の変数に関する A}}-係数多項式環もそうである。この結果は無限変数の場合には拡張できない。例えば //A//bracket のイデアル列  は真に増大するから、この環はネーターでない。

代数的整数論の基本的な結果に従えば、代数体の任意の整数環は有限型 ℤ}}-加群、アフォルティオリ、有限型可換 ℤ}}-多元環であり、したがってそれは多項式環の普遍性により ℤbracket の剰余環で、ネーターとなる。その帰結として

命題 代数体の整数からなる任意の環はネーターである。

4.3. 函手性
--------

環 A}} が一意分解環ならば //A//bracket もそうである。帰納的に有限または無限変数の多項式環もまた、一意分解環となる:

命題 A}}-係数の多変数多項式環が一意分解環となるための必要十分条件は A}} がそうであることである。このように一意分解性が遺伝することはネーター性の場合と異なっている。不定元の数が有限個であることは必要でない。他方、この函手性は剰余環構成では保たれないから、数体にはその整数環が一意分解環とならないものが存在する。

4.4. 代数的集合
----------

k}} を代数閉体とする。k}}-係数多項式 //f//(//X//ind の零点集合は 1=//f//(//x//ind を満たす kexp の点 (//x//ind 全体の成す集合を言う。kexp における代数的集合とは //k//bracket に属する多項式からなる族の零点集合の交わりを言う。多項式環 //k//bracket はネーターであるから、常に多項式の有限族に対して考えれば十分である。代数的集合は代数幾何学において基本的である。

5. 重要な多項式のクラス
-------------

5.1. 斉次多項式
----------

次数 d}}の斉次多項式は次数 d}} の単項式の線型結合である。零多項式は任意の次数 d}} に対する d}}-次の斉次多項式と考える。例えば二変数多項式 2//X//exp は次数 3}} の斉次多項式だが、2//X//exp は斉次でない。全次数 d}} の任意の多項式 P}} は次数がそれぞれ 0, …, //d//}} の斉次多項式 //P//ind の一意的な和に書ける。このとき各 Pind を P}} の次数 i}} の斉次成分と言う。先ほどの非斉次の例では、次数 3}} の斉次成分は 2//X//exp, 次数 5}} の斉次成分は //X//exp でそのほかの斉次成分は 0}} である。斉次成分への分解を別の述べ方をすれば、//A//bracket は //Aind の加群の直和に書ける。ただし d}} は非負整数を亙り、また //Aind は次数 d}} の斉次多項式全体の成す A}}-部分加群とする。それぞれ次数 d, e}} の二つの斉次多項式の積が次数 //d// + //e//}} の斉次多項式であり、対して和がふたたび斉次となるのは 1=//d// = //e//}} のときに限ることに注意する。

P}} は次数 d}} の斉次多項式ならば が成り立つ。

5.2. 対称多項式
----------

n}} 変数の対称多項式とは、それが任意の二つの不定元の置換のもとで不変であるときに言う。例えば三変数で //XY + YZ + ZX//}} は対称であり、他方 //X//exp はそうでない。対称性により任意の対称多項式は斉次だが、任意の斉次多項式の場合と異なり、多項式の和と積のもとでこの対称性は保たれるから、対称多項式の全体は多項式環の部分環となる。

基本対称多項式 1 ≤ //i// ≤ //n//}} とするとき、i}}-次の基本対称多項式 Sind は i}}-次単項式 //X//sub を 1≤ //k//ind なる範囲に亙って取った和を言う。例えば、最初は各不定元を一つずつとった和 //S//sub であり、また、すべての不定元を一つずつ掛けた //Ssub が最後の基本対称多項式である。// 任意の対称多項式は、基本対称多項式の多項式に一意的に書くことができる。 //d// > 0}} を整数として、//Pind は対称多項式であり、d}}-次のニュートン多項式と呼ばれる。Pind を基本対称多項式の函数として表す式はニュートンの公式から間接的に導出できる: 標数 0}} の体上で、これら関係式は基本対称式をニュートン多項式の多項式として書くことを可能にする。特に、有理数体上でニュートン多項式の全体は対称多項式全体の成す環を生成する。// 根と係数の関係 1=//P// = //Xexp を次数 //n// > 0}} で体に係数を持つ多項式とする。//t//ind を //P//}} の分解体における //P//}} の根とすれば、1=//Sind が成り立つ。

6. 注
----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

N. Bourbaki, //Éléments de mathématique//, Algèbre, chapitres 4 à 7, Dunod, 1981
prénom1=Daniel, université de Rennes 1, texte écrit à la suite de la correction des copies de l'agrégation de mathématiques

8. 関連項目
-------

群環 / モノイド環
自由多元環

9. 外部リンク
--------

urlname=polynomial, Remark 1.2