多変数多項式

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

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

## 帰納的構成
### 有限変数の帰納的構成
 変数の -係数多項式環  は  に関して帰納的に定義される :
*  個の不定元に関する -係数多項式環とは、単に  それ自身のこととする。
*  に対し、 は、係数環  がひとつ前のステップで構成済みの多項式環  となっている多項式環  である。

定義により、（帰納的に）直ちにわかることは  は
* 可換環であり、整域となるための必要十分条件は  がそうであることである。
*  を部分環として含み、したがって -多元環となる。
* -加群として自由であり、その標準基底は単項式 （各  は非負整数）の全体で与えられる。

上記の帰納的定義をより具体的に書けば、 の元は 
  P = \sum_{j=0}^mP_jX_n^j \qquad (P_j\in A[X_1,\dotsc,X_{n-1}])
 なる形の有限和に書けて、さらに各  は 
  P_j = \sum_{k_1,\dotsc,k_{n-1}\in\{0,\dotsc,d_j\}} a_{k_1,\dotsc,k_{n-1},j}X_1^{k_1}\dotsb X_{n-1}^{k_{n-1}}
  \qquad (a_{k_1,\dotsc,k_{n-1},j}\in A)
 なる有限和に書けるということになる。あるいは、 個の  のを  として、 および  に属する係数のリストを適当に  で埋めれば、
 P_j = \sum_{k_1,\dotsc,k_{n-1}\in\{0,\dotsc,d\}}a_{k_1,\dotsc,k_{n-1},j}X_1^{k_1}\dotsb X_{n-1}^{k_{n-1}}
 と多少簡単に書けて、最終的に  変数多項式は 
 P = \sum_{j=0}^d P_jX_n^j = \sum_{k_1,\dotsc,k_{n-1},j\in\{0,\dotsc,d\}} a_{k_1,\dotsc,k_{n-1},j} X_1^{k_1}\dotsb X_{n-1}^{k_{n-1}}X_n^j なる形をしている。

### 無限変数への拡張
上記の定義からわかることとして:
* 多項式環  は（自然同型が存在するという意味において）構成に現れる不定元を添加する順番に依らず定まる。この環を  と書いたり（不定元の添字の付け替えも含めて）順序付けられていない  元集合  を用いて  と書いたりもする。
* 任意の部分集合  に対して  は  の部分環となる。

これらの事実により、任意の集合 （これは有限でなくても、さらに可算でさえなくてもよい）に対する多項式環  を定義することが可能であり、それは  の有限部分集合  すべてに亘る  の合併（厳密には帰納極限）として定まる。

いくつかの基本性質はこの定義から直ちに得られる:
* 多項式環  が整域となるための必要十分条件は  がそうであることである。
* 任意の部分集合  に対し、多項式環  は  と同一視される。
*  がその部分集合の（包含関係を順序として）成す鎖  の合併に一致するならば  は  に属する  すべてに亘る  の合併に一致する。

## モノイド環としての構成
同じ構造を定義するという意味で同値な、別の構成法は、一変数多項式のときの構成を（不定元の冪の列ではなく冪積の族に対して）「模倣」することからなる。これにより、多項式環の普遍性を鮮やかに示すことができる。

### モニック単項式のモノイド
不定元の添字からなる（任意の）集合  に、 上の可換モノイドを対応付ける。

加法的記法を用いて、考えたい自由可換モノイドは、 から非負整数全体の成す集合  への、台が有限な写像（つまり、有限個の例外を除く全ての成分が  となる非負整数の族 ）全体の成す集合  に成分ごとの和を入れたものとして書くことができる。各  に対し、このモノイドの元  を  において , それ以外では  となるような  から  への写像と定めれば、 はこの可換モノイドの「基底」となる。それはつまり  の各元が  の形の元の有限和（各  は何度も重複して用いてよい）として一意に書けるという意味である。具体的に  は  でない非負整数  全て（それは有限個しかない）に対する  の和である。

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

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

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

## 記法
 の多項式  の記法にはいくつかある:

* 一つは前節までに用いていたもの: 
 P=\sum_{(k_s)\in\N^{(S)}}a_{(k_s)}\prod_{s \in S} X_s^{k_s},\quad (a_{(k_s)}\in A).
* いま一つはより簡潔である。モノイド  の元である族  を  と書き、対応するモニック単項式を  と書いて 
  P = \sum_{k\in\N^{(S)}} a_kX^k,\quad (a_k \in A)
 と表す。これは多重添字記法である。

## 性質

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

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

; 多項式環の普遍性
: 任意の可換 -多元環  と  の元の族  が与えられたとき、一意的な -多元環準同型  が存在して、
  \varphi(X_s) = b_s\quad(\forall s \in S)
 が成り立つ。
;例
:*  が  の部分環のとき、上記の評価準同型の像は  および  の生成する  の部分環  である。
:* 可換環  に対し、任意の準同型  は普遍性により一意な準同型  に延長されて、 が成り立つ。これは不定元の集合を固定した多項式環の間の係数環の取り換えに関する函手性に読み替えることができる。したがって、 の像は  の像を  として  であり、 の核は  の核の生成するイデアルに一致する。

### 次数

一変数多項式に関するいくつかの定義は一般化される:
* **単項式**とは、 の各元と  の各元との積を言う。このとき
**  の元をこの単項式の**係数**と呼ぶ。
** 単項式の次数は  の元に現れる不定元の冪指数の和を言う。
* 非零多項式の次数は、この多項式に現れる単項式の次数のうち最大のものを言う。（零多項式の次数は負の無限大とする。）
* 定数多項式は零多項式または零次多項式である。
* 多項式の**定数項**は零次の単項式の係数である。

他方、例えば「モニック多項式」や「最高次単項式」のような概念はもはや意味を為さない。

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

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

したがってより弱い性質を見る必要がある。一変数の場合において、次数の概念はヒルベルトの基定理「 がネーター環ならば多項式環  もそうである」を確立することを可能にする。  の帰納的定義から、直ちに以下を得る:
; 定理 (ヒルベルトの基定理)
:  がネーター環ならば、有限個の変数に関する -係数多項式環もそうである。
この結果は無限変数の場合には拡張できない。例えば  のイデアル列  () は真に増大するから、この環はネーターでない。

代数的整数論の基本的な結果に従えば、代数体の任意の整数環は有限型 -加群、、有限型可換 -多元環であり、したがってそれは多項式環の普遍性により  の剰余環で、ネーターとなる。その帰結として
; 命題
: 代数体の（代数的）整数からなる任意の環はネーターである。

### 函手性
環  が一意分解環ならば  もそうである。帰納的に有限または無限変数の多項式環もまた、一意分解環となる（一意分解環の項も参照）:
; 命題
: -係数の多変数多項式環が一意分解環となるための必要十分条件は  がそうであることである。

このように一意分解性が遺伝することはネーター性の場合と異なっている。不定元の数が有限個であることは必要でない。他方、この函手性は剰余環構成では保たれないから、数体には（二次体でさえ）その整数環が一意分解環とならないものが存在する。

### 代数的集合

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

## 重要な多項式のクラス
### 斉次多項式

次数 （零または正の整数）の**斉次多項式**は次数  の単項式の線型結合である。零多項式は任意の次数  に対する -次の斉次多項式と考える。例えば二変数多項式  は次数  の斉次多項式だが、 は斉次でない。全次数  の任意の多項式  は次数がそれぞれ  の斉次多項式  の一意的な和に書ける。このとき各  を  の次数  の**斉次成分**と言う。先ほどの非斉次の例では、次数  の斉次成分は , 次数  の斉次成分は  でそのほかの斉次成分は  である。斉次成分への分解を別の述べ方をすれば、 は  の加群の直和に書ける。ただし  は非負整数を亙り、また  は次数  の斉次多項式全体の成す -部分加群とする。それぞれ次数  の二つの斉次多項式の積が次数  の斉次多項式であり、対して和がふたたび斉次となるのは  のときに限ることに注意する。

; 
:  は次数  の斉次多項式ならば 
 dP=\sum_{1\le i\le n} X_i{\partial P\over\partial X_i}
 が成り立つ。

### 対称多項式

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

; 基本対称多項式
:  とするとき、-次の基本対称多項式  は -次単項式  を  なる範囲に亙って取った和を言う。例えば、最初は各不定元を一つずつとった和  であり、また、すべての不定元を一つずつ掛けた  が最後の基本対称多項式である。
; 
: 任意の対称多項式は、基本対称多項式の多項式に一意的に書くことができる。
; 
:  を整数として、 は対称多項式であり、-次の**ニュートン多項式**と呼ばれる。 を基本対称多項式の函数として表す式は（上の定理が示唆するように）ニュートンの公式から間接的に導出できる: \begin{cases}
  P_d - S_1 P_{d-1} + S_2 P_{d-2} +\dotsb+ (-1)^{n-1}S_{n-1}P_{d-n+1} + (-1)^n S_n P_{d-n} = 0 & (d\ge n)\\[5pt]
 P_d - S_1 P_{d-1} + S_2 P_{d-2} +\dotsb+ (-1)^{d-1}S_{d-1}P_1 + (-1)^d dS_d = 0 & (d  標数  の体上で、これら関係式は基本対称式をニュートン多項式の多項式として書くことを可能にする。特に、有理数体上でニュートン多項式の全体は対称多項式全体の成す環を生成する。
; 根と係数の関係
:  を次数  で体に係数を持つ多項式とする。 を  の分解体における  の根（重複があってもよい）とすれば、 が成り立つ。

## 注
### 注釈

### 出典

## 参考文献
* N. Bourbaki, *[[Éléments de mathématique]]*, Algèbre, chapitres 4 à 7, Dunod, 1981 
* , université de Rennes 1, texte écrit à la suite de la correction des copies de l'agrégation de mathématiques

## 関連項目

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

## 外部リンク
* 
* , Remark 1.2
* 
*