対称式

**対称式**（たいしょうしき、*symmetric polynomial*）あるいは**対称多項式**（たいしょうたこうしき）とは、変数を入れ替えても変わらない多項式のことである。

## 概要
2 変数の多項式
:*f*(*x*, *y*) = *x*2 + *x y* + *y*2
において、*x* と *y* を入れ替えた式
:*f*(*y*, *x*) = *y*2 + *y x* + *x*2 = *x*2 + *x y* + *y*2
は、元の *f*(*x*, *y*) とは全く変わらない多項式である。このように、変数を入れ替えても変わらない多項式のことを**対称式**という。

似たようなものに**[[交代式]]**がある。交代式は
:*g*(*x*, *y*) = *x*2 &minus; *y*2
のように、変数を入れ替えると、もとの式と符号が変わる
:*g*(*y*, *x*) = *y*2 &minus; *x*2 = &minus; *g*(*x*, *y*)
という性質を持つ式である。符号が変わるだけなので、偶数個の交代式の積や、交代式を 2 乗した式などは対称式となる。例えば 
:*g*(*x*, *y*)2 = (*x*2 &minus; *y*2)2
は対称式である。

任意の対称式は、基本対称式
:*s*1 = *x* + *y*
:*s*2 = *x y*
の多項式で書ける。例えば
:*f*(*x*, *y*) = *x*2 + *x y* + *y*2 = (*x*+*y*)2 &minus; *x y* = *s*12 &minus; *s*2
である。

こういった対称式の概念は、 2 変数に留まらず、3 変数以上の多項式にも拡張される。例えば
:*f*(*x*, *y*, *z*) = *x*3 + *y*3 + *z*3
:*f*(*x*, *y*, *z*, *w*) = 2 *x* + 2 *y* + 2 *z* + 2 *w* + 3 *y*2 *z*2 *w*2 + 3 *z*2 *w*2 *x*2 + 3 *w*2 *x*2 *y*2 + 3 *x*2 *y*2 *z*2
は、それぞれ、3 変数と 4 変数の対称式であり、どの 2 つの変数を入れ替えても、元の多項式と変わらない式である。

は、1629年に「代数学の新しい発明」(*Invention Nouvelle en l'Algèbre*) おいて、*n* 次の代数方程式の根と係数の関係を発見した。代数方程式の係数は *n* 個の根の基本対称式と呼ばれる対称式により書かれるというこの関係は、一般の次数の代数方程式の構造を調べるための重要な足掛かりの一つとなった。さらに、ジラールは、これらの関係を用いて虚数の有用性を説いた。

18世紀の後半になると、任意の対称式は基本対称式によって書くことができる事が、ウェアリングやヴァンデルモンドらによって示され、ラグランジュによる、代数方程式の根の置換の研究へとつながっていった。

## 定義
### 対称式
&Lambda;*n* = {1, 2, 3, &hellip;, *n*} とし、*S**n* は &Lambda;*n* に作用する *n* 次の対称群とする。

*n* 変数の多項式 *f*(*x*1, *x*2, &hellip;, *x**n*) が、任意の &sigma; &isin; *S**n* に対して
:*f*(*x*1, *x*2, &hellip;, *x**n*)&sigma; = *f*(*x*&sigma;(1), *x*&sigma;(2), &hellip;, *x*&sigma;(*n*)) = *f*(*x*1, *x*2, &hellip;, *x**n*)
を満たすとき、*f*(*x*1, *x*2, &hellip;, *x**n*) を、**対称多項式**あるいは**対称式**という。
:要は *f* は変数をどのように入れ替えても不変な多項式である。

同様に有理式
: f(x_1,x_2,\cdots x_n) = {h(x_1,x_2,\cdots x_n) \over g(x_1,x_2,\cdots x_n)}
が、任意の &sigma; &isin; *S**n* に対して
: f(x_1,x_2,\cdots x_n)^{\sigma} = {h(x_1,x_2,\cdots x_n)^{\sigma} \over g(x_1,x_2,\cdots x_n)^{\sigma}} = f(x_1,x_2,\cdots x_n)
であるとき、有理式 *f* は**対称的**であるという。
:対称多項式や対称有理式は、*S**n* という群の作用によって不変な式であるため、*S**n* 不変式ともいう。
有理式として対称的でも、分母や分子に現れる *g* や *h* は、対称式でないこともある。この場合 *g* の変数を置換して現れる異なる多項式 *g*1, *g*2, &hellip;, *g**m* を分母分子にかけて
: f(x_1,x_2,\cdots ,x_n) = { h g_1 g_2 \cdots g_m \over g g_1 g_2 \cdots g_m}
という有理式にすることで、分母分子ともに対称式となるような表示が得られる。

ここで分母に行ったような、対称式とは限らない一般の多項式に対して、置換を作用して得られる、多項式の組から、対称式を作る手法は、しばしば有用である。例えば、対称式とは限らない 2 変数の多項式 *f*(*x*1, *x*2) と、その変数を置換して得られる多項式 *f*(*x*2, *x*1) の和や積
:*g*(*x*1, *x*2) = *f*(*x*1, *x*2) + *f*(*x*2, *x*1)
:*h*(*x*1, *x*2) = *f*(*x*1, *x*2) *f*(*x*2, *x*1)
は、いずれも対称式である。

単項式
: T(x_1,x_2, \cdots , x_n) = c \  x_1^{a_1} x_2^{a_2} \cdots x_n^{a_n}
に、適当な置換 &sigma; &isin; *S**n* を作用させて単項式
: T(x_1,x_2, \cdots , x_n)^{\sigma} = c \  x_{\sigma (1)}^{a_1} \  x_{\sigma (2)}^{a_2} \cdots x_{\sigma (n)}^{a_n}
が作られるとき、この 2 つの単項式 *T*(*x*1,*x*2,&hellip;,*x**n*) と *T*(*x*1,*x*2,&hellip;,*x**n*)&sigma; は**同型**（どうけい）であるという。

*T* と同型な単項式の全ての和
:*T* + *T*1 + *T*2 + &hellip; *T**m*
は、対称式であり、このように、同型な単項式の和として得られる対称式のことを、**単型**（たんけい）の対称式という。

### 基本対称式

集合 *A* の濃度を |*A*| とするとき
:\sigma_k(x_1,\cdots ,x_n) = \sum_{\lambda \sub \Lambda_n ,| \lambda |=k} \left( \  \prod_{t \in \lambda} x_t \right) 
という対称式の事を *k* 次の**基本対称式**（きほんたいしょうしき、*elementary symmetric polynomial*）という。変数を省略して &sigma;*k* とも書く。変数の数 *n* に混乱の恐れがあれば、&sigma;*n*,*k* のように *n* を明示する。

&sigma;*k* は、*x*1 *x*2 &hellip; *x**k* という *k* 次の単項式と同型な単項式からなる、単型の対称式である。
:すなわち、*n* 個の変数 {*x*1,*x*2,&hellip;,*x**n*} から、*k* 個の変数を選んで掛け合わせて *k* 次の単項式を作る。この時、 *k* 個の変数の組み合わせを全て考えて、*k* 次の単項式を足し合わせてできた対称式である。
: *k* 個の要素の選び方は、二項係数を用いて *n**C**k* 通りあることが分かるので、 &sigma;*k* は、 *n**C**k* 個の *k* 次の単項式の和である。

たとえば、2 変数なら
:&sigma;1 = *x*1 + *x*2
:&sigma;2 = *x*1 *x*2
3 変数なら
:&sigma;1 = *x*1 + *x*2 + *x*3
:&sigma;2 = *x*1 *x*2 + *x*1 *x*3 + *x*2 *x*3
:&sigma;3 = *x*1 *x*2 *x*3 
が基本対称式である。根と係数の関係により、基本対称式は、 *x*1, *x*2, &hellip;, *x**n* を根とするモニックな *n* 次多項式の係数として現れる。
: t^n - \sigma_{1} \  t^{n-1} + \sigma_{2} \  t^{n-2} -\cdots +(-1)^{n-1} \  \sigma_{n-1} \  t +(-1)^n \  \sigma_{n} = \prod_{k= 1}^n (t - x_k) = (t - x_1)(t - x_2)\cdots (t - x_n) 

### ニュートン多項式
基本対称式の他に対称式の重要な例として、各自然数 *k* に対し *p**k* = *x*1*k* + ... + *x**n**k* によって定義されるk次**ニュートン多項式**があげられる。基本対称式の場合と同じように、n変数に関するニュートン多項式 *p**k*(*x*1, .., *x**n*) について、*x**n**に* 0 を代入すると *n* - 1 変数に関するニュートン多項式 *p**k*(*x*1, .., *x**n* - 1) がえられる。

上記の根と係数の関係から、1 &le; *i* &le; nなる iについて
:  x_i^n - \sigma_{1} \  x_i^{n-1} + \sigma_{2} \  x_i^{n-2} -\cdots +(-1)^{n-1} \  \sigma_{(n-1)} \  x_i +(-1)^n \  \sigma_{n} = \prod_{k= 1}^n (x_i - x_k) = 0
が成り立っているが、これらの式の左辺を *x**i* たちについてすべて足し合わせることで
:  p_n - \sigma_{1} \  p_{n-1} + \sigma_{2} \  p_{n-2} -\cdots +(-1)^{n-1} \  \sigma_{(n-1)} \  p_1 +(-1)^n n \  \sigma_{n} = 0
が得られる。この関係式から、*n* についての帰納的な考察により各自然数 *k* について *k* 変数の整係数多項式 *P*(s1, ..., *s**k*) が存在して *p**k* = *P**k*(&sigma;1,..., &sigma;*k*) となっていることや、おなじく *k* 変数の有理係数多項式 *S**k*(*q*1, ..., *q**k*) が存在して &sigma;*k* = *S**k*(*p*1, ..., *p**k*) となっていることがしたがう。たとえば、
: *p*1 = &sigma;1, *p*2 = &sigma;12 - 2 &sigma;2, *p*3 = &sigma;13 - 3 &sigma;1 &sigma;2 + 3 &sigma;3
: \sigma_2 = \frac{1}{2} ( p_1^2 - p_2), \ \sigma_3 = \frac{1}{3}(p_3 - p_1 p_2 ) + \frac{1}{6} (p_1^3 - p_1 p_2)

## 対称式の基本定理
任意の対称式 *f*(*x*1, *x*2, &hellip;, *x**n*) に対し、基本対称式を変数にとる多項式 *g*(&sigma;1, &sigma;2, &hellip;, &sigma;*n*) が一意に存在して
: *f*(*x*1, *x*2, &hellip;, *x**n*) = *g*(&sigma;1, &sigma;2, &hellip;, &sigma;*n*) 
となる。これを**対称式の（第一）基本定理**という。この *g*(&sigma;1, &sigma;2, &hellip;, &sigma;*n*) という多項式は一意に決まる。この基本対称式に関する多項式 *g* を具体的に見いだすアルゴリズムは複数知られており、それらは、基本定理の証明を与えてもいる。ここでは、そのような方法のいくつかを述べる。

### ウェアリングによる方法
1762年にウェアリングは、対称式に現れる単項式の指数の組に、辞書式順序を入れて、単項式の次数を下げていく方法で、対称式の基本定理の証明を行った。

0でない係数 *c* を持つ単項式
:r(x_1,x_2,\cdots, x_n) = c \  \prod_{k=1}^n x_k^{a_k} = c \  x_1^{a_1} \  x_2^{a_2} \cdots x_n^{a_n} 
に対して、*n* 個の指数の組
:*deg*(*r*) = (*a*1,*a*2, &hellip;, *a**n*)
を**次数**（じすう）という。ここで、積に用いていない変数の指数は 0 である。この次数に、辞書式順序を入れる。
:すなわち、2 つの単項式 *s* と *t* を比べ、指数を *a*1 から順に見ていき、最初の異なる指数の整数としての大小を *deg*(*s*) と *deg*(*t*) の大小とし、全ての指数が等しいときは *deg*(*s*) = *deg*(*t*) とする。たとえば、 (3,2,1,2) &gt; (3,1,0,3) &gt; (2,5,0,2) &gt; (0,5,2,2) &gt; (0,2,2,5) である。
多項式 *f*(*x*1,*x*2,&hellip;,*x**n*) に対しては、*n* 変数の多項式として
:f( x_1,x_2, \cdots ,x_n )=\sum_{(p_1,p_2,\ldots,p_n) \in \mathbb{N}^n} a_{p_{1} p_{2} \ldots p_{n}} \  x_1^{p_1} \  x_2^{p_2} \  \cdots \  x_n^{p_n} 
と表したとき、係数が 0 でない項の中で最も次数の高い項の次数を *deg*(*f*) とする。

*f*(*x*1,*x*2,&hellip;,*x**n*) が対称式の時、その次数 *deg*(*f*) = (*a*1,*a*2, &hellip;, *a**n*) は、任意の添字 1 &le; *j* &le; *k* &le; *n* に対して、広義単調減少 *a**j* &ge; *a**k* となる。
:対称式では、広義単調減少でない (0,1,3,2,2) のような次数の項があれば、(3,2,2,1,0) という次数で係数の等しい項が必ずある。
*f* の項のうちで、次数が *deg*(*f*) に等しい項の係数を *c*0 とすると、*f* が定数でなければ
:\deg(f) > \deg\left\{f - c_0 \left(\prod_{k = 1}^{n-1} \sigma_k^{a_k - a_{(k+1)}}\right)\sigma_n^{a_n} \right\} 
が成り立つ。適当な基本対称式の積を、*f* から引くと *f* よりも次数を下げる事ができるということである。得られた式の次数を調べ、同じように適当な基本対称式の積を引いていくことにより、多項式の次数を下げていくことができる。*f* と基本対称式の多項式の差は、この操作を有限回繰り返すことによって、定数になる。
:*f*(*x*1,*x*2,&hellip;,*x**n*) &minus; *h*(&sigma;1,&sigma;2,&hellip;,&sigma;*n*) = 定数
となるような、基本対称式についての多項式 *h* が得られ、
:*f*(*x*1,*x*2,&hellip;,*x**n*) = *h*(&sigma;1,&sigma;2,&hellip;,&sigma;*n*) + 定数
と表すことができる。


計算例はこちら→


;計算例1
2 変数 *x*1, *x*2 の基本対称式は
:&sigma;1 = *x*1 + *x*2
:&sigma;2 = *x*1 *x*2
である。
:*f*(*x*1, *x*2) = *x*13 *x*2 + *x*1 *x*23 + *x*12 + *x*1 *x*2 + *x*22
は対称式であり、それぞれの項の次数は順に (3,1), (1,3), (2,0), (1,1), (0,2) であるから、 *deg*(*f*) = (3,1) で、*x*13 *x*2 の係数は 1 である。したがって
:*h*1 = *f* &minus; &sigma;13&minus;1 &sigma;21 = *f* &minus; &sigma;12 &sigma;2 = &minus; 2 *x*12 *x*22 + *x*12 + *x*1 *x*2 + *x*22
となり、 *deg*( *h*1 ) = (2,2) である。 *h*1 の *x*12 *x*22 の係数は &minus; 2 であるから
:*h*2 = *h*1 &minus; ( &minus; 2 &sigma;12&minus;2 &sigma;22 ) = *h*1 + 2 &sigma;22 = *x*12 + *x*1 *x*2 + *x*22
さらに *deg*( *h*2 ) = (2,0) より
:*h*3 = *h*2 &minus; ( &sigma;12&minus;0 &sigma;20 ) = *h*2 &minus; &sigma;12 = &minus; *x*1 *x*2 = &minus; &sigma;2
であるから
:*f* = &sigma;12 &sigma;2 + *h*1 = &sigma;12 &sigma;2 &minus; 2 &sigma;22 + *h*2 =  &sigma;12 &sigma;2 &minus; 2 &sigma;22 + &sigma;12 &minus; &sigma;2
が得られる。

;計算例2
三次方程式
:*x*3 &minus; &sigma;1 *x*2 + &sigma;2 *x* &minus; &sigma;3 = 0
の根を *x*1, *x*2, *x*3 とすると、根と係数の関係により
:&sigma;1 = *x*1 + *x*2 + *x*3
:&sigma;2 = *x*3 *x*1 + *x*1 *x*2 + *x*2 *x*3
:&sigma;3 = *x*1 *x*2 *x*3 
である。この三次方程式の判別式
:*D* = { (*x*3 &minus; *x*1)(*x*1 &minus; *x*2)(*x*2 &minus; *x*3)}2
は対称式であり、次数は、*deg*(*D*) = (4,2,0) で *x*14 *x*22 の係数は 1である。したがって
:*h*1 = *D* &minus; &sigma;14&minus;2 &sigma;22&minus;0 &sigma;30 = *D* &minus; &sigma;12 &sigma;22
を考えると、*deg*(*h*1) = (4,1,1) で、 *x*14 *x*2 *x*3 の係数は、&minus;4 となる。以下同様に計算すると
:*h*2 = *h*1 &minus; (&minus;4 &sigma;14&minus;1 &sigma;21&minus;1 &sigma;31) = *h*1 + 4&sigma;13 &sigma;3
:*deg*(*h*2) = (3,3,0)、 *x*13 *x*23 の係数は &minus;4
:*h*3 = *h*2 &minus; (&minus;4 &sigma;13&minus;3 &sigma;23&minus;0 &sigma;30) = *h*2 + 4&sigma;23
:*deg*(*h*3) = (3,2,1)、*x*13 *x*22 *x*3 の係数は 18
:*h*4 = *h*3 &minus; (18 &sigma;13&minus;2 &sigma;22&minus;1 &sigma;31) = *h*3 &minus; 18&sigma;1&sigma;2&sigma;3 = &minus; 27 *x*12 *x*22 *x*32  = &minus;27 &sigma;32
となるので
:*D* = &sigma;12 &sigma;22 + *h*1 = &hellip; = &sigma;12 &sigma;22 &minus;4&sigma;13 &sigma;3 &minus;4&sigma;23 + 18&sigma;1&sigma;2&sigma;3 + 27 &sigma;32
が得られる。次数が
:(4,2,0) &gt; (4,1,1) &gt; (3,3,0) &gt; (3,2,1) &gt; (2,2,2)
と、単調に減っていくことを利用した方法である。


### コーシーによる方法
1829年にコーシーは、 1 つの変数に着目した方法を用いた。 *x*1,*x*2,&hellip;,*x**n* を変数とする *n* 変数の対称式は、*x*1 だけを定数と思えば、*x*2,&hellip;,*x**n* を変数とする *n*&minus;1 変数の対称式でもある。 *x*1,*x*2,&hellip;,*x**n* を変数とする *k* 次の基本対称式を &sigma;*k* とし、 *x*2,&hellip;,*x**n* を変数とする *k* 次の基本対称式を &tau;*k* とすると

:&sigma;1 = *x*1 + &tau;1
:&sigma;2 = &tau;1 *x*1 + &tau;2
:&hellip; &hellip; &hellip;
:&sigma;*n*&minus;1 = &tau;*n*&minus;2 *x*1 + &tau;*n*&minus;1
:&sigma;*n* = &tau;*n*&minus;1 *x*1
という関係が成り立つ。 
:&tau;1 = &sigma;1 &minus; *x*1
:&tau;2 = &sigma;2 &minus; &tau;1 *x*1 = &sigma;2 &minus; (&sigma;1 &minus; *x*1) *x*1 = &sigma;2 &minus; &sigma;1 *x*1 + *x*12 
:&hellip;
と、順に代入を繰り返してみると、&tau;1, &tau;2,&hellip;,&tau;*n*&minus;1 は、*x*1 と &sigma;1, &hellip;, &sigma;*k* の多項式で表されることが分かる。

また、*x*1, *x*2, &hellip;, *x**n* は、
: t^n - \sigma_{1} \  t^{n-1} + \sigma_{2} \  t^{n-2} -\cdots +(-1)^{n-1} \  \sigma_{(n-1)} \  t +(-1)^n \  \sigma_{n} = 0 
の根であるから、これらを変数とする多項式は、次数下げなどにより、どの *x**m* (1 &le; *m* &le; *n*) に関しても *n*&minus;1 次以下となるような多項式にすることができる。

対称式 *f*(*x*1,*x*2,&hellip;,*x**n*) を *x*1 について整理し、*x*1*k* の係数が *g**k*(*x*2,&hellip;,*x**n*, &sigma;1, &sigma;2, &hellip;, &sigma;*n*) 、すなわち
: f(x_1,x_2,\cdots ,x_n) = \sum_{k=0}^{n-1} g_k (x_2,x_3,\cdots , x_n,\sigma_1,\sigma_2,\cdots , \sigma_n) \  x_1^k 
であるとすると *g**k* は、*x*2,&hellip;,*x**n* に関しての対称式になる。

*n*&minus;1 変数の対称式は、基本対称式の多項式で表せるということを仮定すると、 *g**k* は、&tau;1, &tau;2,&hellip;,&tau;*n*&minus;1 の多項式で書くことができる。すなわち、どの *g**k* も、*x*1 と &sigma;1, &hellip;, &sigma;*k* の多項式で表される。*x*1 の次数を下げつつ
: f(x_1,x_2,\cdots ,x_n) = \sum_{k=0}^{n-1} h_k (\sigma_1,\sigma_2,\cdots , \sigma_n) \  x_1^k 
の形に整理することができる。左辺は対称式なので、*x*1 と任意の *x**p* を入れ替えても変わらないので、任意の *p*, *q* &isin; {1,2,&hellip;,*n*} について
: \sum_{k=0}^{n-1} h_k (\sigma_1,\sigma_2,\cdots , \sigma_n) \  x_p^k = \sum_{k=0}^{n-1} h_k (\sigma_1,\sigma_2,\cdots , \sigma_n) \  x_q^k
が成り立つことから、 1 &le; *k* &le; *n-1* のとき *h**k* &equiv; 0 となり
:*f*(*x*1,*x*2,&hellip;,*x**n*) = *h*0(&sigma;1,&sigma;2,&hellip;,&sigma;*n*)
と表され、*n* 変数の対称式は、基本対称式の多項式で表せることがわかる。*n* = 1 の時は対称式の基本定理は明らかに成り立つので、数学的帰納法により、*n* 変数の対称式について基本定理が成り立つ。



計算例はこちら→


;計算例1
*x*1, *x*2 に関する対称式
:*f*(*x*1, *x*2) = *x*13 *x*2 + *x*1 *x*23 + *x*12 + *x*1 *x*2 + *x*22

は、
:*x*2 = &sigma;1 &minus; *x*1
という関係から
:*f*(*x*1, *x*2) = *x*13 ( &sigma;1 &minus; *x*1 ) + *x*1 (&sigma;1 &minus; *x*1 )3 + *x*12 + *x*1 ( &sigma;1 &minus; *x*1 ) + ( &sigma;1 &minus; *x*1 )2
: = &sigma;12 + (&sigma;13 &minus; &sigma;1) *x*1 + (1 &minus; 3 &sigma;12) *x*12 + 4 &sigma;1 *x*13 &minus; 2 *x*14
ここで
:*x*12 &minus; &sigma;1 *x*1 + &sigma;2 = 0
を用い、*x*1 について 1次以下にすれば
:*f* = &sigma;12 &sigma;2 &minus; 2 &sigma;22 + &sigma;12 &minus; &sigma;2
が得られる。
:最後の次数下げの部分は
:*x*12 = &sigma;1 *x*1 &minus; &sigma;2
:として、代入し続けてもいいし、多項式の割り算によって
:*f* = ( &minus; 2 *x*1 + 2 &sigma;1 *x*1 + 2 &sigma;2 &minus;12 + 1 ) (*x*12 &minus; &sigma;1 *x*1 + &sigma;2) + &sigma;12 &sigma;2 &minus; 2 &sigma;22 + &sigma;12 &minus; &sigma;2
:の第 1 項を 0 としたもの、つまり割り算の余りを基本対称式による表現とすればよい。

;計算例2
:*x*2 + *x*3 = &tau;1 = &sigma;1 &minus; *x*1
:*x*2 *x*3 = &tau;2 = &sigma;2 &minus; &sigma;1 *x*1 + *x*12 
:*x*13 = &sigma;1 *x*12 &minus; &sigma;2 *x*1 + &sigma;3
の 3 式を用いて、対称式である三次方程式の判別式を計算すると
:*D* = { (*x*3 &minus; *x*1)(*x*1 &minus; *x*2)(*x*2 &minus; *x*3)}2
: = { *x*12 &minus; (*x*2 + *x*3) *x*1 + *x*2 *x*3}2 {(*x*2 + *x*3)2 &minus; 4*x*2 *x*3}
: = (3 *x*12 &minus; 2&sigma;1 *x*1 + &sigma;2)2 (&minus;3*x*12 + 2&sigma;1 *x*1 +&sigma;12 &minus; 4&sigma;2)
: = {9 *x*14 &minus; 12&sigma;1 *x*13 + (4&sigma;12 + 6&sigma;2) *x*12 &minus; 4 &sigma;1 &sigma;2 *x*1 + &sigma;22} (&minus;3*x*12 + 2&sigma;1 *x*1 +&sigma;12 &minus; 4&sigma;2)
: = {(&sigma;12 &minus; 3 &sigma;2)*x*12 &minus; (&sigma;1&sigma;2 &minus; 9 &sigma;3) *x*1 + &sigma;22 &minus; 3 &sigma;1&sigma;3}(&minus;3*x*12 + 2&sigma;1 *x*1 +&sigma;12 &minus; 4&sigma;2)
: = (9&sigma;2 &minus; 3&sigma;12)*x*14 + (2&sigma;13 &minus; 3&sigma;1&sigma;2 &minus; 27 &sigma;3)*x*13 + (&sigma;14 &minus; 9 &sigma;12&sigma;2 + 27 &sigma;1&sigma;3 + 9&sigma;22) *x*12
:: + (&minus;&sigma;13&sigma;2 + 3&sigma;12&sigma;3 + 6&sigma;1&sigma;22 &minus; 36 &sigma;2&sigma;3) *x*1 + (&sigma;22 &minus; 3 &sigma;1&sigma;3)(&sigma;12 &minus; 4&sigma;2)
: = &sigma;12 &sigma;22 &minus;4&sigma;13 &sigma;3 &minus;4&sigma;23 + 18&sigma;1&sigma;2&sigma;3 + 27 &sigma;32
となり、最終的に *x*1 が全て消え、基本対称式を変数とする多項式になる。


### 斉重対称式
基本対称式の単項式
: T = \prod_{k=1}^{n} \sigma_k^{a_k} = \sigma_1^{a_1} \  \sigma_2^{a_2} \  \cdots \  \sigma_n^{a_n}
に対して、**重さ**
: w(T) = \sum_{k=1}^{n} k \  a_k = a_1 + 2 \  a_2 + \cdots + n \  a_n 
を定義する。 0 でない定数 *c* をかけた *c T* の重さも、*T* と同じとする。&sigma;1,&sigma;2,&hellip;,&sigma;*n* の多項式で、重さが同じ単項式の和になっているものを、**斉重多項式**（せいじゅうたこうしき、*isobaric polynomial*）という。

基本対称式 &sigma;*k* は、*x*1, *x*2, &hellip;, *x**n* に関して、*k* 次の斉次多項式であるので、単項式 *T* は、*x*1, *x*2, &hellip;, *x**n* に関して、 *w*(*T*) 次の斉次多項式となり、*x*1, *x*2, &hellip;, *x**n* に関する斉次多項式の次数と、&sigma;1, &sigma;2, &hellip;, &sigma;*n* に関する斉重多項式の次数が対応している。

したがって、対称式を基本対称式で表すためには、対称式を、次数の異なる斉次多項式にわけ、それぞれの斉次多項式を、その次数と同じ重さをもつ、斉重多項式で表していけばよい。

*s* 次の対称式 *f*(*x*1,*x*2,&hellip;,*x**n*) を、
: f(x_1,x_2, \cdots , x_n) = \sum_{t = 1}^s f_t (x_1,x_2, \cdots , x_n) 
のように、 *t* 次の斉次多項式 *f**t*(*x*1,*x*2,&hellip;,*x**n*) の和として表せば、それぞれの斉次多項式 *f**t* は対称式である。

*f**t* は、基本対称式を変数とする、重さが *t* の単項式の全て *T**t*,1, *T**t*,2, &hellip;, *T**t*,m の線型結合によって
: f_t (x_1,x_2, \cdots , x_n) = \sum_{i=1}^m c_i \  T_{t,i} = c_1 \  T_{t,1} + c_2 \  T_{t,2} + \cdots + c_m \  T_{t,m} 
の形で表すことができる。この式に現れる係数 *c*1, &hellip;, *c**m* を求めることで、 *f**t* が、基本対称式を変数とする多項式で表される。

このようにして、*f**t* の和である *f* も、基本対称式を変数とする多項式で表されることになる。



計算例はこちら→


;計算例1
*x*1, *x*2 に関する対称式
:*f*(*x*1, *x*2) = *x*13 *x*2 + *x*1 *x*23 + *x*12 + *x*1 *x*2 + *x*22
は、4 次の斉次対称式
:*g*(*x*1, *x*2) = *x*13 *x*2 + *x*1 *x*23
と、2 次の斉次対称式
:*h*(*x*1, *x*2) = *x*12 + *x*1 *x*2 + *x*22
の和である。

*g* は、重さが 4 の &sigma;1,&sigma;2 を変数とする単項式の線形結合
:*g*(*x*1, *x*2) = *c*1 &sigma;14 + *c*2 &sigma;12 &sigma;2 + *c*3 &sigma;22
の形になり、係数の、 *c*1, *c*2, *c*3 の 3 つを定めればよい。用いる方法はなんでもよく、例えば、ウェアリングによる方法で定義した次数を使うと、*deg*(*g*) = (3,1) であるから、 &sigma;12 &sigma;2 の項が最高次数となり、これより大きな次数の &sigma;14 は現れないので、 *c*1 = 0 である。恒等式なので、*x*1 = 1, *x*1 = &minus;1 という特別な値を代入しても成り立ち、この時、&sigma;1 = 0, &sigma;2 = &minus;1 であるから、*c*3 = &minus;2 が分かる。 *x*1 = *x*2 = 1 とすると、&sigma;1 = 2, &sigma;2 = 1 なので、*c*2 = 1 とわかり
:*g* = &sigma;12 &sigma;2 &minus; 2 &sigma;22
である。 *h* の方も同様に、重さが 2 の斉重多項式
:*h*(*x*1, *x*2) = *d*1 &sigma;12 + *d*2 &sigma;2
の形になり、係数を求めると *d*1 = 1, *d*2 = &minus;1 となるので
:*h*(*x*1, *x*2) = &sigma;12 &minus; &sigma;2
となり
:*f* = *g* + *h* = &sigma;12 &sigma;2 &minus; 2 &sigma;22 + &sigma;12 &minus; &sigma;2
となることが分かる。

;計算例2
:&sigma;1 = *x*1 + *x*2 + *x*3
:&sigma;2 = *x*3 *x*1 + *x*1 *x*2 + *x*2 *x*3
:&sigma;3 = *x*1 *x*2 *x*3 
を用いて、三次方程式の判別式
:*D* = { (*x*3 &minus; *x*1)(*x*1 &minus; *x*2)(*x*2 &minus; *x*3)}2
を基本対称式の多項式で表す。

*D* は 6 次の斉次対称式なので、&sigma;1,&sigma;2,&sigma;3 の多項式で書くと、重さが 6 の斉重多項式
:*D* = *c*1 &sigma;16 + *c*2 &sigma;14 &sigma;2 + *c*3 &sigma;13 &sigma;3 + *c*3 &sigma;12 &sigma;22 + *c*4 &sigma;1 &sigma;2 &sigma;3 + *c*5 &sigma;23 + *c*6 &sigma;32
になる。 *D* は、 *x*1 に関して 4 次なので、右辺もそうなるように、 *c*1 = *c*2 = 0 でなければならない。

*x*1 = 0, *x*2 = 1, *x*3 = &minus;1 という特別な値を入れても、この等式は成り立つはずで、 &sigma;1 = &sigma;3 = 0, &sigma;2 = &minus;1 だから、 *c*5 = &minus;4 とわかる。以下、特殊な値を入れたり、係数を比較したりすることにより、
:*D* = &minus;4&sigma;13 &sigma;3 + &sigma;12 &sigma;22 + 18&sigma;1&sigma;2&sigma;3 &minus;4&sigma;23 + 27 &sigma;32
が得られる。


### 基本対称式の代数的独立性
*n* 個の変数 *x*1, ... , *x**n* に関する対称式 *f*(x1, ..., *x**n*) は基本対称式たち &sigma;1, ... , &sigma;*n* に関する多項式 *P* によって表すことができるが、この *P* は *f* に対して一意的に定まる。つまり、基本対称式たちは係数環上代数的独立だということになる。

証明は変数 *x*1, ... , *x**n* の数 *n* と、対称式の次数に関する帰納法によって行われる。*n* - 1変数の多項式 *Q*(s1, ..., *s**n* - 1) *で*、基本対称式 &sigma;1(*x*1, ... , *x**n* - 1), ...,  &sigma;*n* - 1(*x*1, ... , *x**n* - 1) を代入して 0 になるようなものは *s**i* たちの多項式としてすでに 0 になることが示せていたとする。

P(*s*1, ..., *s**n*) *を* n 変数の多項式で基本対称式を移入したときに零になる *P*(&sigma;1,..., &sigma;*n*) = 0 ようなものとする。このとき特に、*P*(&sigma;1,..., &sigma;*n*) をx*i*たちに関する多項式と見なして *x**n**に*0を代入したものも 0 になる。 *x**n**に* 0 を代入することで&sigma;1,..., &sigma;*n* - 1 *は* n - 1変数x1, ... , *x**n* - 1についての基本対称式になり、一方 &sigma;*n* *は* 0になる。したがって *P*(&sigma;1, .., &sigma;*n*-1, 0) であり、帰納法の仮定によって *n* - 1 変数の多項式 *P*(s1, ..., *s**n* - 1, 0) *は* 0*に*、つまりP(*s*1, ..., *s**n*) *は* s*n*で割りきれるということになる。従ってP = *R*(s1, .., *s**n*) *s**n* なる多項式 Rが得られるが、*R* に基本対称式たちを代入すると 0 になる。この操作を続けると任意の自然数 *m* について *P* は *s**n**m* で割りきれるということになるが、そうなっているためには *P* は 0 でなければならない。

## 関連項目
*ニュートンの公式
*不変式
*シューア多項式