多項式環

数学、殊に抽象代数学における多項式環（たこうしきかん、）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。
体上の一変数多項式環.
定義.
体 に係数を持つ不定元 に関する多項式とは formula_1 の形の式のことである。ここで は の元で、 の係数といい、 は形式的な記号だが の冪という。このような式には加法と乗法を定義できて、結合法則、交換法則、分配法則といった代数的な式の操作における通常のルールを適用し、同類項を纏めることによって同様の形に持っていくことができる。係数が零であるような項 は省略することができる。 の冪の乗法は馴染みのある formula_2 に従って定義される。 や は任意の自然数である。二つの多項式が相等しいとは の各冪において対応する係数がすべて等しいことと定義される。規約として および と同一視し、多項式 の定義における和は、記号 の係数 に関する線型結合として見ることができる。総和の記号 を使えば、同じ多項式は formula_3 と簡潔な形に書くことができる。この総和の範囲はよく省略されて、formula_4 のように書くこともある。注意すべき点として、多項式には項が有限個しかないこと —つまり十分大きな （ここでは ）に関する係数 がすべて零であるということ— は、暗黙の了解である。多項式の次数とは "X" "k" の係数が零でないような最大の のことである。特別な場合として、零多項式（係数が全て零）の次数は定義しないか、あるいは負の無限大 と定義する。
体 に係数を持つ多項式全体の成す集合は可換環を成し、 で表して、 上の多項式環 と呼ぶ。記号 は普通「変数」と呼び、もうすこし一般の多変数の多項式環と区別するためにここでの多項式環を 上一変数の多項式環と呼ぶ。この語法は、重要な場合である実係数あるいは複素係数の多項式を実または複素「多項式函数」と見なすことからの示唆である。しかしながら、一般には不定元 およびその冪 は形式的な記号として扱われ、体 の元としては扱われない. 多項式環 を に の外側にあって の任意の元と可換な新しい元 を付け加えて得られるものと考えることができる。 が環を成すためには、 の任意の冪を含まなければならず、このことが多項式を の冪の に係数を持つ線型結合としての定義に繋がる。
環は加法と乗法のふたつの二項演算を持つ。多項式環 の場合、それらの演算は formula_5 および formula_6 によって明示的に与えられる。上の式は一方の多項式に零を係数とするダミーの項を加えて延長し、両方の多項式に形式的に現れる冪の集合を同じものにする。下の式では右辺の内側の和は および の範囲でのみ添字を動かす。和の範囲を明示しない形で加法と乗法の式を書けば、formula_7formula_8 のようになる。係数 および で非零なものは有限個しかないことから、全ての和は実質的に有限個の項しかもたず、それゆえ の多項式を表現している。
もっと一般に、体 を任意の可換環 に取り替えて、可換環 上の多項式環 を考えることができるが後述。
環 の性質.
体上の多項式環 は多くの面で整数全体のなす環 と非常によく似ている。この類似性と多項式環の算術はガウスによって徹底的に調べられ、ガウスの理論は19世紀後半のクンマー、クロネッカー、デデキントらの手による抽象代数学の発展のモデルとしての役割を果たした。
は整域である.
多項式環の第一の性質は基本的で、二つの零でない多項式の積は零ではないというものである。実際、 で始まる次数 の多項式 と で始まる次数 の多項式との積 は で始まる。ここで係数は であるから、積 は次数 の零でない多項式である。ような可換環は整域であると言われる。すなわち、多項式環 は整域である。
の因数分解.
多項式環の次の性質はもっと深いものである。今日では算術の基本定理と呼ばれる「任意の自然数が素数の積に一意的に分解することができる」という事実は、ユークリッドによって既に知られており、その証明は自然数の最大公約数を導き出すユークリッドの互除法に基づくものであった。互除法のアルゴリズムはいずれの段階においても、自然数の組 を を を で割ったあまりとして新しい組 に取り替え、出てくる数をより小さくする。ガウスはこの剰余つき除算の手続きを多項式に対しても定義できることに気付いていた。与えられたふたつの多項式 に対し formula_9 と書くことができる（除法の原理）。ここで商 と剰余 は多項式であり、 の次数は のそれよりも小さい。またこのような性質を持つ分解は一意である。ここでは多項式の次数が整数の除算における整数の大きさの類似の役割を担う。次数は無限に減少することはできないので、最終的には互除法の除算は終了し、最後の零でない剰余が最初のふたつの多項式の最大公約元である。この方法により、ガウスは整数に対する算術の基本定理を厳密に証明すると同時に、それを多項式に対して一般化することに成功した。ユークリッドの互除法の類似が許される可換環はユークリッド環と呼ばれ、それらは素因子への一意的な分解が可能な分解環 あるいは一意分解整域 と呼ばれる環になる。つまり、多項式環 は分解環であり、ユークリッド整域である。 
多項式の剰余付き除算の別の系として、 の任意の零ではない真のイデアル は単項生成であるという事実がある。つまり は、 に帰属する任意の多項式の最大公約元である唯一つの非零多項式 の倍元全体からなる。したがって、多項式環 は主イデアル整域である。
の剰余環と根体.
 上の多項式環 は に唯一つの元 を添加して得られる。これに対し、 を含む可換環 が に唯一つの元を付け加えたものから環として生成されるようなものならば、 は を用いて書き表すことができる。特に、 の有限次拡大に対して適用できる。
可換環 が を含み、 の一つの元 が存在して、 が によって 上生成されるとすると、 の任意の元は の冪の係数を に持つ線型結合になっている。したがって、 から への環準同型 で、 の元は動かさず（ 上では恒等写像として作用子） の冪を の同じ冪へ写すようなものが唯一つ存在する。この は一般の多項式に対して の への置き換え formula_10 として作用する。仮定により、 の任意の元は適当な と の元 を選んで上式の右辺の形に表されるから、 は全射であり は の準同型像となる。もっと形式的に、 を の核とすると、これは のイデアルであって、第一準同型定理により、 は多項式環 のイデアル による商に同型である。多項式環は主イデアル環であるから、このイデアルも単項生成であって、多項式 で formula_11 となるものが存在する。特に重要な応用は、大きいほうの環 が体の場合である。このとき多項式 は既約多項式でなければならない。反対に、原始元定理によれば体の任意の有限次分離拡大 は単一の元 によって生成することができ、上述の理論により体 は多項式環 の既約多項式 の生成する単項イデアルによる商として具体的な記述が与えられる。実例として、複素数体 は実数体 に を満たす を唯一つ付け加えて得られる。それに応じ、多項式 は 上既約であって formula_12 という同型が成立する。
多変数多項式環.
環上の多変数多項式.
体 に係数を持つ -変数 に関する多項式は一変数の多項式と同様にして定義される（特に のときは一変数多項式に他ならない）が、この概念は少々ややこしい。任意の多重添字 で各 が非負整数とするとき formula_13 と置く。積 を多重次数 の単項式と呼ぶ。（多変数の）多項式は に係数を持つ単項式の線型結合 formula_14 で、有限個の係数 だけが零でないようなものをいう。 単項式 の（全）次数 はしばしば で表され、formula_15 と定義される。多項式 の次数は の式に現れる係数が零でない単項式の最大次数で与えられる。
これらのことは、係数体 を任意の可換環 に取り換えても構わない。可換環 に係数を持つ -変数多項式の全体 は可換環を成し、-変数多項式環と呼ぶ（ として、 と書くこともある）。変数の個数 を特に固定しない場合は多変数多項式環と総称され、対照的に -変数多項式環のことを階数（自由階数） の（多変数）多項式環とも呼ぶ。多変数多項式環は一変数多項式環を作る構成を と帰納的に繰り返すことによって得ることもできる。例えば は自然同型である。
多項式環の普遍性.
環上の多変数多項式環は、「もっとも一般」の有限生成可換多元環である。すなわち以下の普遍性が成り立つ:
したがって特に、環 上の多元環 が 上有限生成ならば、 は 上適当な階数の多項式環の準同型像である。この意味において、多項式環は（与えられた集合を不定元の集合とする）自由可換多元環（可換多元環の圏における）を与える。特に（ を有理整数環とするとき、任意の環は -多元環と見なせるから）、整係数多項式環 は自由可換環である。
代数幾何学において.
体上の多変数多項式環は代数幾何学において基本的な役割を演じる。可換環論やホモロジー代数の多くの結果が、多項式環のイデアルや多項式環上の加群の研究に端を発している。
ダフィット・ヒルベルトに端を発する多項式環 のイデアルと の代数的集合 との間の関係に関する基本的な結果のいくつかは零点定理（）と呼ばれる。
イデアルの根基の概念を用いれば、この結論は が の根基に属するということである。この形の零点定理の系として、代数閉体 に対して のイデアルの根基と -次元アフィン空間 の代数的集合との間に一対一対応が存在する。この対応は写像 formula_18 によって得られる。
多項式環の素イデアルが の既約部分多様体に対応する。
環の拡大 の性質.
可換環論における基本的な手法の一つは、環の性質をその部分環の性質に関連付けることである。 なる記法で環 が環 の部分環であることを示唆することにする。この場合 は の拡大環や上にある環 などとよび、またという。これは多項式環に対しては特によく働き、多変数の多項式環 に対する多くの重要な性質の証明に、 に関する帰納法を用いることが可能になる。
結果の要約.
以下の性質に関して、 は可換環で は 上の -変数多項式環とする。環の拡大 は順番に を添加していくことにより から -段階で得られる。ゆえに以下の性質のどれも、証明は の場合のみを考えれば十分である。
一般化.
多項式環の一般化には実にさまざまな方法がある。たとえば、冪指数を一般化した多項式環、冪級数環、非可換多項式環、歪多項式環などである。
冪指数の一般化.
簡単な一般化は、変数の肩に乗せる冪指数を取り出す集合を変えるだけで得られる。加法と乗法の公式は冪指数の加法 が可能である限り意味を成す。この加法が意味を持つ（演算が閉じていて、結合的である）ような集合は加法的モノイドと呼ばれる。モノイド から環 への写像で、有限台をもつ（非零値であるような点が有限個である）もの全体の成す集合は環の構造を持つ。これを と表して、モノイド の に係数を持つモノイド環と呼ばれる。この環の加法は成分ごとの和で定義される。つまり ならば各 に対し を満たす。乗法はコーシー積として定義される。つまり ならば各 に対し は、和が であるような の元の組 全てにわたる の和である。
 が可換モノイドならば、 における写像 は形式和 formula_20 によって簡便に表すことができ、加法と乗法の定義式は見知った形の formula_21formula_22 に書くことができる。最後の和は、和が であるような の元の組 の全てをわたるってとる。
 などではこのモノイドによる定義を出発点にとる。通常の一変数多項式環は が非負整数全体が作るモノイド であるような特別の場合である。多変数の多項式環は として単に非負整数全体の成すモノイドのいくつかのコピーたちの直積モノイド をとる。 
環や群のいくつかの興味深い例が、 として非負有理数の成す可換モノイドをとることにより構成される。
冪級数.
非零の項を無限個含むことも許すという別の方向で冪指数を一般化することにより、冪級数が定義される。ここではコーシー積における和が有限和であることを保証するために、冪指数に用いるモノイド に対していくつかの仮定を課す必要がある。あるいは環のほうに位相を導入して、無限和を収束するものだけに限ることもできる。 として標準的な非負整数全体を選ぶならば問題は何もなく、形式冪級数環を から環 への写像全体として定義することができ、和は成分ごと、積はコーシー積で入れることができる。形式冪級数環は多項式環の完備化と見ることができる。
非可換多項式環.
多変数の多項式環に対して、積 と は単純に等しいものと定義される。多項式環のもう少し一般の概念は、これらの形式的な積を別なものとして区別して扱うことによって得られる。形式的には、環 に係数を持つ 個の非可換な変数に関する多項式環はモノイド環 で、モノイド が 個の文字に関する自由モノイド（ 個の記号をアルファベットとする文字列全体が文字列の結合を積として成すモノイド）の場合である。係数も変数もそれぞれそれらの間で可換性を持つ必要はないが、係数と変数との間では可換でなければならない。
可換環 に係数を持つ -変数多項式環は、階数 の自由可換 -多元環であった（上述）ことにちょうど応じるように、可換環 上の -変数非可換多項式環は 個の元からなる生成系を持つ自由単位的 -結合多元環であり、 ならばこれは非可換である。
微分多項式環・歪多項式環.
多項式環の別の一般化として、微分多項式環と歪多項式環がある。
微分多項式環 は環 と 上の から形成され、その乗法は関係 を拡張して得られる。標準的な例はワイル代数と呼ばれる環で、 として多項式環 , 変数 として標準的な多項式微分 をとる。このとき の元を多項式環 に作用する微分作用素と見ることができる。ここで の元 は掛け算作用素として作用し、 は に関する微分として作用する。 とラベル付けすれば、正準交換関係 を得て、この環を明示的にワイル代数とすることができる。これは基本的で重要な環である。
歪多項式環 は環 と 上の自己準同型 に対して定義される。その乗法は関係 を拡張して与えられ、通常の加法に対して分配的な結合的乗法である。もっと一般に、モノイド から の自己準同型環への準同型 で となるようなものを考えることができる 。歪多項式環はと近い関係にある。