多項式環

数学、殊に抽象代数学における多項式環は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。

1. 体上の一変数多項式環 //K//[//X//]}}
----------------------------

1.1. 定義
-------

体 K}} に係数を持つ不定元 X}} に関する多項式とは の形の式のことである。ここで //p//sub は K}} の元で、p}} の係数といい、//X//, //X//exp は形式的な記号だが X}} の冪という。このような式には加法と乗法を定義できて、結合法則、交換法則、分配法則といった代数的な式の操作における通常のルールを適用し、同類項を纏めることによって同様の形に持っていくことができる。係数が零であるような項 1=//psub は省略することができる。X}} の冪の乗法は馴染みのある に従って定義される。k}} や l}} は任意の自然数である。二つの多項式が相等しいとは X}} の各冪において対応する係数がすべて等しいことと定義される。規約として //X//exp および //X//exp と同一視し、多項式 p}} の定義における和は、記号 //Xexp の係数 //psub に関する線型結合として見ることができる。総和の記号 を使えば、同じ多項式は と簡潔な形に書くことができる。この総和の範囲はよく省略されて、 のように書くこともある。注意すべき点として、多項式には項が有限個しかないこと —つまり十分大きな k}}に関する係数 psub がすべて零であるということ— は、暗黙の了解である。多項式の次数とは //X// //k//<WtXmlEndTag /> の係数が零でないような最大の k}} のことである。特別な場合として、零多項式の次数は定義しないか、あるいは負の無限大 −∞}} と定義する。//

体 K}} に係数を持つ多項式全体の成す集合は可換環を成し、//K//bracket で表して、K}} 上の多項式環 en と呼ぶ。記号 X}} は普通「変数」と呼び、もうすこし一般の多変数の多項式環と区別するためにここでの多項式環を K}} 上一変数の多項式環と呼ぶ。この語法は、重要な場合である実係数あるいは複素係数の多項式を実または複素「多項式函数」と見なすことからの示唆である。しかしながら、一般には不定元 X}} およびその冪 Xexp は形式的な記号として扱われ、体 K}} の元としては扱われない. 多項式環 //K//bracket を K}} に K}} の外側にあって K}} の任意の元と可換な新しい元 X}} を付け加えて得られるものと考えることができる。//K//bracket が環を成すためには、X}} の任意の冪を含まなければならず、このことが多項式を X}} の冪の K}} に係数を持つ線型結合としての定義に繋がる。

環は加法と乗法のふたつの二項演算を持つ。多項式環 //K//bracket の場合、それらの演算は および によって明示的に与えられる。上の式は一方の多項式に零を係数とするダミーの項を加えて延長し、両方の多項式に形式的に現れる冪の集合を同じものにする。下の式では右辺の内側の和は 0 ≤ //i// ≤ //m//}} および 0 ≤ //j// ≤ //n//}} の範囲でのみ添字を動かす。和の範囲を明示しない形で加法と乗法の式を書けば、 のようになる。係数 asub および bsub で非零なものは有限個しかないことから、全ての和は実質的に有限個の項しかもたず、それゆえ //K//bracket の多項式を表現している。

もっと一般に、体 K}} を任意の可換環 R}} に取り替えて、可換環 R}} 上の多項式環 //K//bracket を考えることができるが後述。

1.2. 環 //K//bracket の性質
-----------------------

体上の多項式環 //K//bracket は多くの面で整数全体のなす環 Z}} と非常によく似ている。この類似性と多項式環の算術はガウスによって徹底的に調べられ、ガウスの理論は19世紀後半のクンマー、クロネッカー、デデキントらの手による抽象代数学の発展のモデルとしての役割を果たした。

1.2.1. //K//bracket は整域である
--------------------------

多項式環の第一の性質は基本的で、二つの零でない多項式の積は零ではないというものである。実際、 //psub で始まる次数 m}} の多項式 p}} と //qsub で始まる次数 n}} の多項式との積 pq}} は //rX//exp で始まる。ここで係数は 1=//r// = //psub であるから、積 pq}} は次数 //m// + //n//}} の零でない多項式である。零積性質ような可換環は整域であると言われる。すなわち、多項式環 //K//bracket は整域である。//

1.2.2. //K//bracket の因数分解
-------------------------

多項式環の次の性質はもっと深いものである。今日では算術の基本定理と呼ばれる「任意の自然数が素数の積に一意的に分解することができる」という事実は、ユークリッドによって既に知られており、その証明は自然数の最大公約数を導き出すユークリッドの互除法に基づくものであった。互除法のアルゴリズムはいずれの段階においても、自然数の組  }} を r}} を a}} を b}} で割ったあまりとして新しい組 }} に取り替え、出てくる数をより小さくする。ガウスはこの剰余つき除算の手続きを多項式に対しても定義できることに気付いていた。与えられたふたつの多項式 //p//, //q// }} に対し と書くことができる。ここで商 u}} と剰余 r}} は多項式であり、r}} の次数は q}} のそれよりも小さい。またこのような性質を持つ分解は一意である。ここでは多項式の次数が整数の除算における整数の大きさの類似の役割を担う。次数は無限に減少することはできないので、最終的には互除法の除算は終了し、最後の零でない剰余が最初のふたつの多項式の最大公約元である。この方法により、ガウスは整数に対する算術の基本定理を厳密に証明すると同時に、それを多項式に対して一般化することに成功した。ユークリッドの互除法の類似が許される可換環はユークリッド環と呼ばれ、それらは素因子への一意的な分解が可能な分解環 fr あるいは一意分解整域 en と呼ばれる環になる。つまり、多項式環 //K//bracket は分解環であり、ユークリッド整域である。多変数多項式環の場合にも、少し複雑になるが、グレブナ基底を用いるなどしてユークリッド除法を実行することができ、したがって一意分解可能である。}}

多項式の剰余付き除算の別の系として、//K//bracket の任意の零ではない真のイデアル I}} は単項生成であるという事実がある。つまり I}} は、I}} に帰属する任意の多項式の最大公約元である唯一つの非零多項式 f}} の倍元全体からなる。したがって、多項式環 //K//bracket は主イデアル整域である。

1.2.3. //K//bracket の剰余環と根体
---------------------------

K}} 上の多項式環 //K//bracket は K}} に唯一つの元 X}} を添加して得られる。これに対し、K}} を含む可換環 L}} が K}} に唯一つの元を付け加えたものから環として生成されるようなものならば、L}} は //K//bracket を用いて書き表すことができる。特に、K}} の有限次拡大に対して適用できる。

可換環 L}} が K}} を含み、L}} の一つの元 θ}} が存在して、L}} が θ}} によって K}} 上生成されるとすると、L}} の任意の元は θ}} の冪の係数を K}} に持つ線型結合になっている。したがって、//K//bracket から L}} への環準同型 φ}} で、K}} の元は動かさずX}} の冪を θ}} の同じ冪へ写すようなものが唯一つ存在する。この φ}} は一般の多項式に対して X}} の θ}} への置き換え として作用する。仮定により、L}} の任意の元は適当な m}} と K}} の元 //a//sub を選んで上式の右辺の形に表されるから、φ}} は全射であり L}} は //K//bracket の準同型像となる。もっと形式的に、Ker   //φ//}} を φ}} の核とすると、これは //K//bracket のイデアルであって、第一準同型定理により、L}} は多項式環 //K//bracket のイデアル Ker   //φ//}} による商に同型である。多項式環は主イデアル環であるから、このイデアルも単項生成であって、多項式 //p// ∈ //K//bracket で となるものが存在する。特に重要な応用は、大きいほうの環 L}} が体の場合である。このとき多項式 p}} は既約多項式でなければならない。反対に、原始元定理によれば体の任意の有限次分離拡大 L/K}} は単一の元 //θ// ∈ //L//}} によって生成することができ、上述の理論により体 L}} は多項式環 //K//bracket の既約多項式 p}} の生成する単項イデアルによる商として具体的な記述が与えられる。実例として、複素数体 C}} は実数体 R}} に 1=//i//exp を満たす i}} を唯一つ付け加えて得られる。それに応じ、多項式 //X//exp は R}} 上既約であって という同型が成立する。

2. 多変数多項式環
----------

2.1. 環上の多変数多項式
--------------

体 K}} に係数を持つ n}}-変数 //X//sub に関する多項式は一変数の多項式と同様にして定義されるが、この概念は少々ややこしい。任意の多重添字 1=//α// coloneqq}} (//α//sub で各 αsub が非負整数とするとき と置く。積 Xsup を多重次数 α}} の単項式と呼ぶ。多項式は K}} に係数を持つ単項式の線型結合 で、有限個の係数 psub だけが零でないようなものをいう。 単項式 Xsup の次数 en はしばしば absで表され、 と定義される。多項式 p}} の次数は p}} の式に現れる係数が零でない単項式の最大次数で与えられる。

これらのことは、係数体 K}} を任意の可換環 R}} に取り換えても構わない。可換環 R}} に係数を持つ //n//}}-変数多項式の全体 //R//bracket は可換環を成し、n}}-変数多項式環と呼ぶ。変数の個数 n}} を特に固定しない場合は多変数多項式環と総称され、対照的に n}}-変数多項式環のことを階数 n}} の多項式環とも呼ぶ。多変数多項式環は一変数多項式環を作る構成を //R//bracket と帰納的に繰り返すことによって得ることもできる。例えば //K//bracket は自然同型である。

2.2. 多項式環の普遍性
-------------

環上の多変数多項式環は、「もっとも一般」の有限生成可換多元環である。すなわち以下の普遍性が成り立つ:

普遍性 可換環 R}} 上の可換 R}} 多元環 //φ// : //R// → //A//}} とその元 //x//sub に対して、多項式環 //R//bracket から A}} への環準同型 tilde で tilde と 1=tilde を満たすものがただ一つ存在する。したがって特に、環 R}} 上の多元環 A}} が R}} 上有限生成ならば、A}} は R}} 上適当な階数の多項式環の準同型像である。この意味において、多項式環は自由可換多元環を与える。特に、整係数多項式環 Zbracket は自由可換環である。

2.3. 代数幾何学において
--------------

体上の多変数多項式環は代数幾何学において基本的な役割を演じる。可換環論やホモロジー代数の多くの結果が、多項式環のイデアルや多項式環上の加群の研究に端を発している。

ダフィット・ヒルベルトに端を発する多項式環 //K//bracket のイデアルと Kexp の代数的集合 との間の関係に関する基本的な結果のいくつかは零点定理と呼ばれる。

K}} を代数的閉体とすると //K//bracket の任意の極大イデアル m}} は の形に書ける。
k}} は体でその代数閉包を K}} とし、I}} を多項式環 //k//bracket のイデアル、//V//}} を I}} によって定義される Kexp の代数的集合とする。f}} を //V//}} 上の任意の点で消えている多項式とすると、f}} のある冪がイデアル I}} に属す: イデアルの根基の概念を用いれば、この結論は f}} が I}} の根基に属するということである。この形の零点定理の系として、代数閉体 K}} に対して //K//bracket のイデアルの根基と n}}-次元アフィン空間 Kexp の代数的集合との間に一対一対応が存在する。この対応は写像 によって得られる。

多項式環の素イデアルが Kexp の既約部分多様体に対応する。

3. 環の拡大 //R// ⊂ //R//bracket の性質
--------------------------------

可換環論における基本的な手法の一つは、環の性質をその部分環の性質に関連付けることである。//R// ⊂ //S//}} なる記法で環 R}} が環 S}} の部分環であることを示唆することにする。この場合 S}} は R}} の拡大環や上にある環 en などとよび、また環の拡大という。これは多項式環に対しては特によく働き、多変数の多項式環 //K//bracket に対する多くの重要な性質の証明に、n}} に関する帰納法を用いることが可能になる。

3.1. 結果の要約
----------

以下の性質に関して、R}} は可換環で //S// coloneqq}} //R//bracket は R}} 上の n}}-変数多項式環とする。環の拡大 //R// ⊂ //S//}} は順番に //X//sub を添加していくことにより R}} から n}}-段階で得られる。ゆえに以下の性質のどれも、証明は 1=//n// = 1}} の場合のみを考えれば十分である。

R}} が整域ならば S}} もそうである。
R}} が一意分解環ならば S}} もそうである。このことの証明はガウスの補題による。
ヒルベルトの基底定理: R}} がネーター環ならば S}} もそうである。
R}} が大域次元有限なネーター環ならば である。クルル次元に対して類似の結果がある。

4. 一般化
------

多項式環の一般化には実にさまざまな方法がある。たとえば、冪指数を一般化した多項式環、冪級数環、非可換多項式環、歪多項式環などである。

4.1. 冪指数の一般化
------------

簡単な一般化は、変数の肩に乗せる冪指数を取り出す集合を変えるだけで得られる。加法と乗法の公式は冪指数の加法 1= //Xexp//// が可能である限り意味を成す。この加法が意味を持つような集合は加法的モノイドと呼ばれる。モノイド N}} から環 R}} への写像で、有限台をもつもの全体の成す集合は環の構造を持つ。これを //R//bracket と表して、モノイド N}} の R}} に係数を持つモノイド環と呼ばれる。この環の加法は成分ごとの和で定義される。つまり 1=//c// = //a// + //b//}} ならば各 //n// ∈ //N//}} に対し 1=//csub を満たす。乗法はコーシー積として定義される。つまり 1=//c// = //a⋅b//}} ならば各 //n// ∈ //N//}} に対し csub は、和が n}} であるような N}} の元の組 i, j}} 全てにわたる asub の和である。

N}} が可換モノイドならば、//R//bracket における写像 a}} は形式和 によって簡便に表すことができ、加法と乗法の定義式は見知った形の に書くことができる。最後の和は、和が n}} であるような N}} の元の組 }} の全てをわたるってとる。

Lang などではこのモノイドによる定義を出発点にとるLang。通常の一変数多項式環は N}} が非負整数全体が作るモノイド N}} であるような特別の場合である。多変数の多項式環は N}} として単に非負整数全体の成すモノイドのいくつかのコピーたちの直積モノイド Nexp をとる。

環や群のいくつかの興味深い例が、N}} として非負有理数の成す可換モノイドをとることにより構成されるOsbourne。

4.2. 冪級数
--------

非零の項を無限個含むことも許すという別の方向で冪指数を一般化することにより、冪級数が定義される。ここではコーシー積における和が有限和であることを保証するために、冪指数に用いるモノイド N}} に対していくつかの仮定を課す必要がある。あるいは環のほうに位相を導入して、無限和を収束するものだけに限ることもできる。N}} として標準的な非負整数全体を選ぶならば問題は何もなく、形式冪級数環を N}} から環 R}} への写像全体として定義することができ、和は成分ごと、積はコーシー積で入れることができる。形式冪級数環は多項式環の完備化と見ることができる。

4.3. 非可換多項式環
------------

多変数の多項式環に対して、積 XY}} と YX}} は単純に等しいものと定義される。多項式環のもう少し一般の概念は、これらの形式的な積を別なものとして区別して扱うことによって得られる。形式的には、環 R}} に係数を持つ n}} 個の非可換な変数に関する多項式環はモノイド環 //R//bracket で、モノイド N}} が n}} 個の文字に関する自由モノイドの場合である。係数も変数もそれぞれそれらの間で可換性を持つ必要はないが、係数と変数との間では可換でなければならない。

可換環 R}} に係数を持つ n}}-変数多項式環は、階数 n}} の自由可換 R}}-多元環であったことにちょうど応じるように、可換環 R}} 上の n}}-変数非可換多項式環は n}} 個の元からなる生成系を持つ自由単位的 R}}-結合多元環であり、//n// > 1}} ならばこれは非可換である。

4.4. 微分多項式環・歪多項式環
-----------------

多項式環の別の一般化として、微分多項式環と歪多項式環がある。

微分多項式環 en は環 R}} と R}} 上の導分 δ}} から形成され、その乗法は関係 1=//Xa// = //aX// + //δ//}} を拡張して得られる。標準的な例はワイル代数と呼ばれる環で、R}} として多項式環 //k//bracket, 変数 X}} として標準的な多項式微分 ∂/∂//t//}} をとる。このとき //R//bracket の元を多項式環 //k//bracket に作用する微分作用素と見ることができる。ここで 1=//R// = //k//bracket の元 //f//}} は掛け算作用素として作用し、X}} は t}} に関する微分として作用する。1=//t// = //Y//}} とラベル付けすれば、正準交換関係 1=//XY// − //YX// = 1}} を得て、この環を明示的にワイル代数とすることができる。これは基本的で重要な環であるLam。

歪多項式環 en は環 R}} と R}} 上の自己準同型 f}} に対して定義される。その乗法は関係 1=//Xr// = //f////X//}} を拡張して与えられ、通常の加法に対して分配的な結合的乗法である。もっと一般に、モノイド N}} から R}} の自己準同型環への準同型 F}} で 1=//Xexp となるようなものを考えることができる Lam。歪多項式環は接合積多元環と近い関係にある。//

5. 注
----

5.1. 注釈
-------

5.2. 出典
-------

6. 関連項目
-------

加法的多項式
ローラン多項式

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

8. 外部リンク
--------

urlname=polynomial, Example 1.4.