多項式のソースを表示

'''多項式'''（たこうしき、''polynomial''）は[[定数]]および[[変数 (数学)|不定元]]の和と積のみからなり、[[代数学]]の重要な対象となる[[数学]]的概念である。歴史的にも現代代数学の成立に大きな役割を果たした。
'''多項式'''とは
:3''x''<sup>3</sup> − 7''x''<sup>2</sup> + 2''x'' - 23
のような形をした式である。加法や減法を全て加法として次の式のように考えた場合、
:3''x''<sup>3</sup> + (−7''x''<sup>2</sup> )+ 2''x'' + ( -23 )
加法の記号で区切られた式の "3''x''<sup>3</sup>", "−7''x''<sup>2</sup>", "2''x''", "-23" のことを'''項'''（
こう、''term''）と呼び、複数の項を足し合わせることでできる式であることから'''多項式'''と呼ばれる。

一つの項だけからできている式を'''単項式'''（たんこうしき、''monomial''）と呼び、複数の項からできているものだけを多項式と呼んで、単項式と多項式を併せて'''整式'''と呼ぶ流儀もある。<!--しかし、現在では単項式も特殊な多項式と見なすのが普通である。-->

== 一変数多項式 ==
''x'' を不定元（変数）、''n'' を非負の整数として、''a''<sub>0</sub>, ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub> を ''n''+1 個の[[実数]]または[[複素数]]などの定数とする。このような ''x'' と {''a''<sub>''i''</sub>}<sub>0 ≤ ''i'' ≤ ''n''</sub> によって次のように表されるものが'''多項式'''である。

:<math>a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0</math>

* ''f''(''x'') = ''a''<sub>''n''</sub>''x''<sup>''n''</sup> + ''a''<sub>''n''−1</sub>''x''<sup>''n''−1</sup> + … + ''a''<sub>1</sub>''x'' + ''a''<sub>0</sub> とおく。このとき、''a''<sub>''m''</sub> ≠ 0 となる最大の ''m'' のことをこの多項式の'''次数'''（じすう、''degree''）と呼び、deg ''f'' とあらわす。
* 各 ''a''<sub>''i''</sub>''x''<sup>''i''</sup> をこの多項式の'''項'''（こう、<em lang="en">term</em>）あるいは単項式項と呼び、''i'' をその項の'''次数'''と呼ぶ。あるいは、この多項式の ''i'' 次の項は ''a''<sub>''i''</sub>''x''<sup>''i''</sup> である、という風に言い表す。
* 各定数 ''a''<sub>''i''</sub> のことをこの多項式の[[係数]]（けいすう、''coefficient''）と呼ぶ。特に、''a''<sub>''m''</sub> (''m'' = deg ''f'') をこの多項式の'''最高次係数'''あるいは'''頭項係数''' (''leading coefficient'') と呼ぶ。
* 0 次の項 ''a''<sub>0</sub> のことを'''定数項'''（ていすうこう、''constant term'', ''constant''）と呼ぶ。ただの定数を、定数項しかない多項式と見なすことができる。次数の定義から、0 でない定数項のみからなる多項式の次数は 0 である。しかし、定数 0 を多項式と見なすとき、その次数は便宜的に −∞ と定義される。

多項式は[[総和]]を表す記号 ∑ を使って
:<math>\sum_{k=0}^n a_k x^k</math>
とも記される。このとき、''x''<sup>0</sup> とは多項式としての 1 のことである。

係数の属する集合が ''K'' であるような ''x'' を変数とする多項式の全体を ''K''[''x''] で表す。たとえば実数係数の多項式の全体は '''R'''[''x'']、複素数係数の多項式の全体は '''C'''[''x''] などと表す。係数の集合 ''K'' は四則演算の定義されるような[[代数系]]であるのが通常で、多くはとくに[[体 (数学)|体]]と呼ばれる四則演算が自由に行えるものを想定することになる。もうすこし一般の（必ずしも可換でない、単位元を持つとは限らない）[[環論|環]] ''R'' についても、それを係数にもつ多項式が定義される。

環 ''R'' に対し、不定元 ''x'' と任意の非負[[整数]] ''n'' に対し、新たな不定元 ''x''<sup>''n''</sup> を用意する。ただし、''x''<sup>1</sup> は自然に ''x'' と同一視する。集合 ''R''<sub>''n''</sub> = ''Rx''<sup>''n''</sup> = {''ax''<sup>''n''</sup> | ''a'' ∈ ''R''} の元を ''n'' 次の'''単項式'''とよぶ。
このとき、適当な ''n'' ∈ '''N''' をとってできる、単項式の形式的な和
:<math>\sum_{i=0}^n a_i x^i 
  = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x^1 + a_0 x^0 
</math>
(''a''<sub>''i''</sub> ∈ ''R'' for all ''i'') を ''x'' を変数とする ''R'' 上の（あるいは、'''係数''' を ''R'' にもつ）'''多項式'''と呼ぶ。''x'' を変数とする ''R'' 上の多項式全体の成す集合 ''R''[''x''] とあらわし、''R'' を ''R''[''x''] の'''係数環'''とよぶ。一般には ''R'' ≠ ''Rx''<sup>0</sup> であって、''R'' と ''R''[''x''] の間には何の包含関係も存在しない。しかし、もし ''R'' が単位元 1<sub>''R''</sub> を持つ環（単位的環）ならば、通常は 1<sub>''R'' </sub>''x''<sup>0</sup> を 1<sub>''R''</sub> と同一視して、''R'' ⊂ ''R''[''x''] と見なされる。

== 多項式環 ==
単位的可換環 ''R'' 上の多項式の全体 ''R''[''x''] において
:<math>\sum_{i=0}^m a_i x^i, \sum_{j=0}^l b_j x^j \in R[x]</math>
(m ≤ l) に対し、
;加法
:<math>
  \left(\sum_{i=0}^m a_i x^i \right) 
    + \left(\sum_{j=0}^l b_j x^j\right)
  = \sum_{k=0}^l (a_k + b_k)x^k
</math>
;定数倍（スカラー倍）
:<math>c \cdot \sum_{i=0}^m a_i x^i = \sum_{i=0}^m c a_i x^i</math>
;乗法
:<math>
  \left(\sum_{i=0}^m a_i x^i \right)\left(\sum_{j=0}^l b_j x^j\right)
  = \sum_{k=0}^{m+l}\left(\sum_{i+j=k} a_i b_j \right)x^k
</math>
などの演算が定義される。特に積は、不定元 ''x'' と環 ''R'' の任意の元 ''a'' に対して、''ax'' = ''xa'' が成り立つと仮定して、分配法則が成り立つように定義されているので、''R''[''x''] は ''R'' 上の環（[[多元環]]）になる。これを ''x'' を変数とする ''R'' 係数の（一変数）'''多項式環'''と呼ぶ。また簡単に、環 ''R'' 上の'''多項式環'''ともいう。''R'' が単位的環であるなら、多項式環 ''R''[''x''] も単位的環であり、''R'' が可換なら多項式環 ''R''[''x''] も可換環である。

体 ''K'' 上の多項式環 ''K''[''x''] は[[ユークリッド環]]であり、余りのある[[除法]]を定義することができる。

== 代入 ==
単位的可換環 ''K'' 上の多項式
:<math>f(x) = a_n x^n +a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 \in K[x],</math>
α ∈ ''K'' に対して、変数 ''x'' を α に置き換えて得られる式
:<math>a_n \alpha^n + a_{n-1}\alpha^{n-1} + \cdots + a_1 \alpha + a_0 \in K</math>
を ''f''(α) と記して ''f''(''x'') に ''x'' = α を'''代入'''（だいにゅう、''substitute''）した値という。特に ''f''(α) = 0 を満たす値 α ∈ ''K'' を多項式 ''f''(''x'') の'''根'''（こん、''root''）あるいは[[零点]] {{lang|en|(zero)}} という。

''f''(''x'') ∈ ''K''[''x''] と α ∈ ''K'' に対して、''x'' に α を代入することにより定まる写像
:<math>\varphi_\alpha\colon K[x] \to K;\, f(x) \mapsto f(\alpha)</math>
は ''K''[''x''] から ''K'' への環の[[準同型]]となる。

一般に単位的可換環 ''R'', ''S'' とその間の準同型 ''h'': ''R'' → ''S'' が与えられているとき、''S'' の元 α に対して準同型
:<math>\psi_{h,\alpha}\colon R[X] \to S</math>
で、ψ<sub>''h'',α</sub>(''X'') = α かつ、 ''r'' ∈ ''R'' ならば常に ψ<sub>''h'',α</sub>(''r'') = ''h''(''r'') となるようなものはただ一つ存在する。このとき、''R'' 係数多項式
:<math>f(x) = a_n x^n +a_{n-1}x^{n-1} + \cdots + a_1 x + a_0</math>
に対して
:<math>\psi_{h,\alpha}(f) = 
  h(a_n)\alpha^n +h(a_{n-1})\alpha^{n-1} + \cdots + h(a_1)\alpha + h(a_0)
</math>
を ''f''(α) と書いて、''X'' に α を[[変数 (数学)|代入]]した値という。

== 多項式関数 ==
多項式 ''f''(''X'') = ''a''<sub>''n''</sub>''X''<sup>''n''</sup> + ''a''<sub>''n''−1</sub>''X''<sup>''n''−1</sup> + … + ''a''<sub>1</sub>''X'' + ''a''<sub>0</sub> ∈ ''K''[''X''] に対し、変数 ''X'' への値の代入により[[関数 (数学)|関数]]
:<math>f\colon K \to K;\ x \mapsto 
  f(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0
</math>

が定まる。このような関数 ''y'' = ''f''(''x'') を総称して（ ''K'' 上で定義された）'''多項式関数'''とよぶ。特に、多項式 ''f'' の次数 deg ''f'' が ''n'' であるとき、''f'' の定める多項式関数は ''n'' '''次関数'''と呼ばれる。
* ''y'' = ''ax'' + ''b'' (''a'', ''b'' ∈ ''K'') の形の関数は[[一次関数]]と呼ばれる。
* ''y'' = ''ax''<sup>2</sup> + ''bx'' + ''c'' (''a'', ''b'', ''c''  ∈ ''K'') の形の関数は[[二次関数]]と呼ばれる。

係数の集合 ''K'' が実数体 '''R''' や複素数体 '''C'''であれば、異なる多項式は異なる関数を定める。''K'' が一般の[[環論|環]]や[[体 (数学)|体]]であるときはこの限りではない。

多項式の微分積分は以下の式が基本的である：
:<math>\frac{d}{dx} \, x^n= nx^{n-1}, \quad
 \int x^n dx = \frac{x^{n+1}}{n+1}+C. \, </math>（<math>C </math>は積分定数）
これは[[解析学]]的に ''x'' を実数や複素数に値をとる変数と見る場合は、関数に対する[[微分]]・[[積分]]の定義から導かれる事実である。一方、[[代数学]]的にはこの式を定義として扱うことがある。

たとえば、多項式 ''x''<sup>2</sup> − 3''x'' + 1 の微分（'''導多項式'''）は 2''x'' − 3 となる。

* 複素変数の多項式関数は[[複素数#ガウス平面|ガウス平面]]の全域で正則な[[解析関数]]である。
* 多項式が重根を持つことと、その多項式が自身の導多項式との間に共通の因数を持つこととが同値である。

== 多変数多項式 ==
''m'' 個の変数 ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''m''</sub>
と ''m'' 個の定数 ''n''<sub>1</sub>, ''n''<sub>2</sub>, ..., ''n''<sub>''m''</sub> および、少なくとも一つの 0 でないものを含む (''n''<sub>1</sub> + 1)(''n''<sub>2</sub> + 1)…(''n''<sub>''m''</sub> + 1) 個の定数 ''a''<sub>''e''<sub>1</sub>''e''<sub>2</sub>…''e''<sub>''m''</sub></sub> (0 ≤ ''e''<sub>''i''</sub> ≤ ''n''<sub>''i''</sub>, for ''i'' = 1, 2, ..., ''m'') に対し、

:<math>\sum_{(e_1,e_2,\ldots,e_m) \in \mathbb{N}^m \atop 0 \leq e_m \leq n_m} a_{e_1 e_2\ldots e_m} x_1^{e_1}x_2^{e_2}\cdots x_m^{e_m}</math>

と表される式を ''m'' '''変数の多項式'''と呼ぶ。これはたとえば ''x''<sub>1</sub> に注目すると、''m''−1 個の変数 ''x''<sub>2</sub>, ..., ''x''<sub>''m''</sub> に関する多項式を係数としてもつ ''x''<sub>1</sub> の一変数多項式と見ることができる。このことは多変数の多項式を一変数の多項式から帰納的（再帰的）に構成するという視点を与えてくれる。

あるいはもっと一般に、係数全体の成す集合を ''C'' とし、変数の集合を ''X'' = {''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>} とするとき、変数 '''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) に関する ''C'' 係数多項式の全体を ''C''[''X''] と書くことにする。このとき、''X'' の部分集合 ''S'' を選び、''S'' に入らない変数 ''x''<sub>''k''</sub> ∈ ''X'' は全て係数と見なすと、''C''[''X''] = ''C''[''S''<sup>''c''</sup>][''S''] と見なすことが出来る。ただし、''S''<sup>''c''</sup> は ''S'' の ''X'' に対する補集合である。 

各 ''a''<sub>''e''<sub>1</sub>''e''<sub>2</sub>…''e''<sub>''m''</sub></sub> ''x''<sub>1</sub><sup>''e''<sub>1</sub></sup> ''x''<sub>2</sub><sup>''e''<sub>2</sub></sup> … ''x''<sub>''m''</sub><sup>''e''<sub>''m''</sub></sup> またはこれの'''係数''' ''a''<sub>''e''<sub>1</sub>''e''<sub>2</sub>…''e''<sub>''m''</sub></sub> を 1 としたものを、この多項式の'''項'''と呼ぶ。ただ一つの項からなる多項式を'''単項式'''と呼ぶ。

[[多重指数]]の概念を導入して、α = (''e''<sub>1</sub>, ''e''<sub>2</sub>, ..., ''e''<sub>''m''</sub>) に対して
:<math>a_\alpha \mathbf{x}^\alpha := 
 a_{e_1 e_2 \ldots e_m} x_1^{e_1} x_2^{e_2}\cdots x_m^{e_m}
</math>
と約束することにすると、多変数の多項式を簡便に表すことができる。

[[組合せ論]]的に多重指数 α に[[ヤング図形]] ''Y''<sub>α</sub> を対応させ、さらにヤング図形の間に適当な順序 ≤ を導入することにより、最初に与えた ''m'' 変数の多項式は以下のように表示することができる。
: <math>\sum_{\alpha \in \mathbb{N}^m,\,Y_0 \leq Y_\alpha \leq Y} a_\alpha \mathbf{x}^\alpha </math>.
ただし、''Y''<sub>0</sub> は "最小の" 指数 (0, 0, ..., 0) に、''Y'' は "最大の" 指数 (''n''<sub>1</sub>, ''n''<sub>2</sub>, ..., ''n''<sub>''m''</sub>) にそれぞれ対応するヤング図形である。
当然だが、ヤング図形を介さなくても、直接指数に順序を与えておけば同じことである。すなわち α = (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''m''</sub>), β = (''b''<sub>1</sub>, ''b''<sub>2</sub>, ..., ''b''<sub>''m''</sub>) に対し、α ≤ β ⇔ ''a''<sub>''i''</sub> ≤ ''b''<sub>''i''</sub> (for all ''i'' = 1, 2, ..., ''m'') と約束するとよい。

単位的可換環 ''R'' 上の変数 ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub> に関する多変数多項式環 ''R''[''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>] は、多項式を係数にもつ多項式として
:<math>R[x_1, x_2, \ldots, x_n] := R[x_1, x_2, \ldots, x_{n-1}][x_n]</math>
のように帰納的に定義される。

== 多項式の次数 ==
多重指数 α = (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''m''</sub>) に対し、α の大きさ |α| を
:<math> |\alpha| := a_1 + a_2 + \cdots + a_m</math>
で定めておく。
変数 '''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) に関する項 ''a''<sub>α</sub> '''x'''<sup>α</sup> に対し、|α| をこの項の（ '''x''' に関する）'''次数'''と定める。多項式 ''f''('''x''') = ∑<sub>α</sub> ''a''<sub>α</sub> '''x'''<sup>α</sup> に対しては、max{ |α| | ''a''<sub>α</sub> ≠ 0} を多項式 ''f''('''x''') の'''次数''' (degree) または'''全次数'''（ぜんじすう、''total degree''）といい、deg ''f'' と表す。

また、変数の集合 ''X'' = {''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>} からいくつかの変数を選び、その全体を ''Y'' = {''y''<sub>1</sub>, ''y''<sub>2</sub>, ..., ''y''<sub>''m''</sub>} とする。

このとき、変数 '''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) に関する多項式 ''f''('''x''') = ∑<sub>α</sub> ''a''<sub>α</sub> '''x'''<sup>α</sup> を ''Y'' に属さない変数は係数と見なして '''y''' = (''y''<sub>1</sub>, ''y''<sub>2</sub>, ..., ''y''<sub>''n''</sub>) に関する多項式とみることにより、''f''('''x''') の変数 '''y''' に関する次数が定義される。

ベクトル ''w'' = (''w''<sub>1</sub>, ''w''<sub>2</sub>, ..., ''w''<sub>''m''</sub>) に対し、項 ''a''<sub>α</sub> '''x'''<sup>α</sup> (α = (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''m''</sub>)) の ''w'' を'''重み'''（おもみ、''weight''）とする次数あるいは'''重み ''w'' つき次数''' |α|<sub>''w''</sub> とは、α と ''w'' の標準[[内積]]
:<math>|\alpha|_w := \alpha \cdot w
 = a_1 w_1 + a_2 w_2 + \cdots + a_m w_m
</math>
のことと定義する。多項式 ''f''('''x''') = ∑<sub>α</sub> ''a''<sub>α</sub> '''x'''<sup>α</sup> に対しては、全次数のときと同様に max{ |α|<sub>''w''</sub> | ''a''<sub>α</sub> ≠ 0} をこの多項式の'''重み''' ''w'' '''つき次数''' (degree with weight ''w'') といい、deg<sub>''w''</sub> ''f'' と表す。

* 多項式 ''f''('''x''') の ''w'' = (1, 1, ..., 1) を重みとする重みつき次数 deg<sub>''w''</sub> ''f'' はちょうど全次数 deg ''f'' に一致する。
* ''w'' = (''w''<sub>1</sub>, ''w''<sub>2</sub>, ..., ''w''<sub>''m''</sub>) に対し、''w''<sub>''k''<sub>1</sub></sub> = ''w''<sub>''k''<sub>2</sub></sub> = … = ''w''<sub>''k''</sub><sub><sub>''m''</sub></sub> = 0 とし、それ以外の成分を 1 とする。このとき、'''y''' = (''x''<sub>''k''<sub>1</sub></sub>, ''x''<sub>''k''<sub>2</sub></sub>, ..., ''x''<sub>''k''<sub>''m''</sub></sub>) とおくと、多項式 ''f''('''x''') の重み ''w'' つき次数 deg<sub>''w''</sub> は ''f''('''x''') の変数 ''y'' に関する次数に一致する。

== 斉次多項式 ==
自然数 ''t'' に対し、多項式 ∑<sub>α, |α|=''t''</sub> ''a''<sub>α</sub>&nbsp;'''x'''<sup>α</sup> を ''t'' 次の'''斉次多項式'''（せいじたこうしき、<em lang="en">Homogeneous polynomial</em>; '''同次多項式'''）あるいは ''t'' '''次形式'''（''t'' じけいしき、<em lang="en">''t''-form</em>）<ref>[[微分形式]]の斉次部分も微分 ''t'' 形式、''t'' 形式などのように呼ぶことが多いので、文脈によっては注意を要するかもしれない。</ref>という。とくに[[一次形式]]の定める関数は[[線型写像]]であり、[[二次形式]]は[[対称行列]] ''A'' と[[内積]]を用いて '''x'''<sup>T</sup>''A'''''x''' または ('''x''', ''A'''''x''') などと表されるなど、この二者は[[線型代数学]]の範疇に属する研究も多い。また[[テンソル代数]]を特定の形の二次形式が生成するイデアルで割って得られる[[商環|商多元環]]は[[クリフォード環]] {{lang|en|(Clifford algebra)}} と総称され、[[リー群論]]や[[群の表現論]]などで重要な役割を果たす幾何学的対象を定める。

変数 ''z'' に関する一変数多項式 ''f''(''z'') = ''a''<sub>''n''</sub>''z''<sup>''n''</sup> + ''a''<sub>''n''−1</sub>''z''<sup>''n''−1</sup> + … + ''a''<sub>1</sub>''x'' + ''a''<sub>0</sub> に対し、''z'' = ''x''⁄''y'' を代入し、なおかつ ''y''<sup>''n''</sup> を掛けることで、二変数の斉次多項式 
:<math>g(x, y) := 
  a_n x^n + a_{n-1}x^{n-1}y + \cdots + a_1 xy^{n-1} + a_0 y^n
</math>
を得る。この ''g'' を ''f'' の'''斉次化'''（せいじか、<em lang="en">Homogenize</em>; 同次化）という。これは多項式関数を[[射影平面]]上に拡張したものとして利用される。とくに、多項式の特異点が無限遠にある場合にも、斉次化により他の有限な場所に現れる特異点と同等に扱うことができるなどの、条件の対称化を行うことができる。もっと一般の次元の ''K'' 係数[[射影空間]] '''P'''''K''<sup>''n''</sup> の場合にも、''n'' 次元アフィン空間 '''A'''<sub>''K''</sub><sup>''n''</sup> の標準的な埋め込みを一つ、たとえば
:<math>\mathbb{A}_K^n \to \mathbb{P}K^n;\ 
  (x_1, x_2, \ldots, x_n) \mapsto [1:x_1:x_2:\cdots:x_n]
</math>
を経由して、多変数多項式の斉次化が得られる。つまり、多変数多項式 ''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) に対して
:<math>g(x_0,x_1,\ldots,x_n):= x_0^{{\rm deg}f}f(x_1/x_0,x_2/x_0,\ldots,x_n/x_0)</math>
と置いて得られる ''g'' は斉次多項式である。この意味で斉次多項式は多項式の射影的構造を表していると考えることができる。

== 非可換多項式環 ==
通常の多変数多項式環は、変数と係数および変数同士の可換性が仮定されている。この変数の間の可換性を仮定からはずすことで、'''非可換多項式環'''が定義される。可換性をはずしたために、非可換多項式を一般に書き表すのは困難であるが、非可換多項式環は[[テンソル代数]]として記述することができる。'''X''' = {''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>} を基底とする有限次元 ''K'' ベクトル空間あるいは可換環 ''K'' 上の階数有限な自由加群 ''V'' 上のテンソル代数 ''T''(''V'') を
:<math>T(V) =: K\langle x_1, x_2, \ldots, x_n \rangle = K\langle\mathbf{X}\rangle</math>
などと記して''K'' 上の'''非可換多項式環'''あるいは'''自由多元環'''であると言い表す。ここで術語「[[自由対象|自由]]」{{lang|en|(free)}} は、この環が必ずしも乗法が可換でないような多元環としての[[普遍性]]を持つということを意味している。''K'' 上で有限生成な（非可換）環 ''A''
:<math>
  A = K\langle \alpha_1, \alpha_2, \ldots, \alpha_n\rangle := \left\{
    \sum_l c_l \alpha_{i_1}^{(l)}\alpha_{i_2}^{(l)}\cdots\alpha_{i_{k_l}}^{(l)}
    \mid c_l \in K, \alpha_{i_j}^{(l)} \in \{\alpha_1,\ldots,\alpha_n\}
  \right\}
</math>
は ''K''&lt;'''X'''&gt; の代入による[[準同型]][[写像|像]]として得られる。[[ファイル:TensorAlgebra-01.png|thumb|right|テンソル代数の普遍性]]つまり、適当な ''K'' 多元環の全射準同型で
:<math>K\langle \mathbf{X} \rangle \to A;\ 
  f(x_1,x_2,\ldots,x_n) \mapsto f(\alpha_1,\alpha_2,\ldots,\alpha_n)
</math>
なるものが必ず取れ、またしたがって ''A'' は ''K''&lt;'''X'''&gt; のある[[商環|商多元環]]に同型である。この準同型の ''V'' への制限は ''V'' から ''A'' への [[線型写像|''K'' 線型写像]]であるが、逆に ''V'' から ''A'' への任意の ''K'' 線型写像はかならずこのような形の多元環の準同型に延長可能である。これは'''テンソル代数の普遍性'''と呼ばれる性質の一部である。

また、非可換多項式環　''K''&lt;''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>&gt; をテンソル代数とみるとき、対応する[[対称代数]] ''S''(''V'') は多項式環 ''K''[''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>] であり、多項式環が有限生成可換多元環に対する普遍性を持っていることに対応している。

== 関連項目 ==
* [[零点]]
* [[代数方程式]]
* [[多項式補間]]
* [[二項式]]
* [[三項式]]

== 脚注 ==
{{脚注ヘルプ}}
{{reflist}}

{{DEFAULTSORT:たこうしき}}
<!--例外-->

[[Category:多項式|*]]
[[Category:初等数学]]
[[Category:数学に関する記事]]