対称式

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

概要

2 変数の多項式

f(x, y) = x² + x y + y²

において、x と y を入れ替えた式

f(y, x) = y² + y x + x² = x² + x y + y²

は、元の f(x, y) とは全く変わらない多項式である。このように、変数を入れ替えても変わらない多項式のことを対称式という。

似たようなものに交代式がある。交代式は

g(x, y) = x² − y²

のように、変数を入れ替えると、もとの式と符号が変わる

g(y, x) = y² − x² = − g(x, y)

という性質を持つ式である。符号が変わるだけなので、偶数個の交代式の積や、交代式を 2 乗した式などは対称式となる。例えば

g(x, y)² = (x² − y²)²

は対称式である。

任意の対称式は、基本対称式

s₁ = x + y

s₂ = x y

の多項式で書ける。例えば

f(x, y) = x² + x y + y² = (x+y)² − x y = s₁² − s₂

である。

こういった対称式の概念は、 2 変数に留まらず、3 変数以上の多項式にも拡張される。例えば

f(x, y, z) = x³ + y³ + z³

f(x, y, z, w) = 2 x + 2 y + 2 z + 2 w + 3 y² z² w² + 3 z² w² x² + 3 w² x² y² + 3 x² y² z²

は、それぞれ、3 変数と 4 変数の対称式であり、どの 2 つの変数を入れ替えても、元の多項式と変わらない式である。

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

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

定義

対称式

Λ_n = {1, 2, 3, …, n} とし、S_n は Λ_n に作用する n 次の対称群とする。

n 変数の多項式 f(x₁, x₂, …, x_n) が、任意の σ ∈ S_n に対して

f(x₁, x₂, …, x_n)^σ = f(x_σ(1), x_σ(2), …, x_σ(n)) = f(x₁, x₂, …, x_n)

を満たすとき、f(x₁, x₂, …, 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})}$

が、任意の σ ∈ 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₁, g₂, …, g_m を分母分子にかけて

$f(x_{1},x_{2},\cdots ,x_{n})={hg_{1}g_{2}\cdots g_{m} \over gg_{1}g_{2}\cdots g_{m}}$

という有理式にすることで、分母分子ともに対称式となるような表示が得られる。

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

g(x₁, x₂) = f(x₁, x₂) + f(x₂, x₁)

h(x₁, x₂) = f(x₁, x₂) f(x₂, x₁)

は、いずれも対称式である。

単項式

$T(x_{1},x_{2},\cdots ,x_{n})=c\ x_{1}^{a_{1}}x_{2}^{a_{2}}\cdots x_{n}^{a_{n}}$

に、適当な置換 σ ∈ 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₁,x₂,…,x_n) と T(x₁,x₂,…,x_n)^σ は同型（どうけい）であるという。

T と同型な単項式の全ての和

T + T₁ + T₂ + … T_m

は、対称式であり、このように、同型な単項式の和として得られる対称式のことを、単型（たんけい）の対称式という。

基本対称式

→詳細は「en:Elementary symmetric polynomial」を参照

集合 A の濃度を |A| とするとき

$\sigma _{k}(x_{1},\cdots ,x_{n})=\sum _{\lambda \subset \Lambda _{n},|\lambda |=k}\left(\ \prod _{t\in \lambda }x_{t}\right)$

という対称式の事を k 次の基本対称式（きほんたいしょうしき、elementary symmetric polynomial）という。変数を省略して σ_k とも書く。変数の数 n に混乱の恐れがあれば、σ_n,k のように n を明示する。

σ_k は、x₁ x₂ … x_k という k 次の単項式と同型な単項式からなる、単型の対称式である。

すなわち、n 個の変数 {x₁,x₂,…,x_n} から、k 個の変数を選んで掛け合わせて k 次の単項式を作る。この時、 k 個の変数の組み合わせを全て考えて、k 次の単項式を足し合わせてできた対称式である。

k 個の要素の選び方は、二項係数を用いて _nC_k 通りあることが分かるので、 σ_k は、 _nC_k 個の k 次の単項式の和である。

たとえば、2 変数なら

σ₁ = x₁ + x₂

σ₂ = x₁ x₂

3 変数なら

σ₁ = x₁ + x₂ + x₃

σ₂ = x₁ x₂ + x₁ x₃ + x₂ x₃

σ₃ = x₁ x₂ x₃

が基本対称式である。根と係数の関係により、基本対称式は、 x₁, x₂, …, 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₁^k + ... + x_n^k によって定義されるk次ニュートン多項式があげられる。基本対称式の場合と同じように、n変数に関するニュートン多項式 p_k(x₁, .., x_n) について、x_nに 0 を代入すると n - 1 変数に関するニュートン多項式 p_k(x₁, .., x_{n - 1}) がえられる。

上記の根と係数の関係から、1 ≤ i ≤ 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(s₁, ..., s_k) が存在して p_k = P_k(σ₁,..., σ_k) となっていることや、おなじく k 変数の有理係数多項式 S_k(q₁, ..., q_k) が存在して σ_k = S_k(p₁, ..., p_k) となっていることがしたがう。たとえば、

p₁ = σ₁, p₂ = σ₁² - 2 σ₂, p₃ = σ₁³ - 3 σ₁ σ₂ + 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₁, x₂, …, x_n) に対し、基本対称式を変数にとる多項式 g(σ₁, σ₂, …, σ_n) が一意に存在して

f(x₁, x₂, …, x_n) = g(σ₁, σ₂, …, σ_n)

となる。これを対称式の（第一）基本定理という。この g(σ₁, σ₂, …, σ_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₁,a₂, …, a_n)

を次数（じすう）という。ここで、積に用いていない変数の指数は 0 である。この次数に、辞書式順序を入れる。

すなわち、2 つの単項式 s と t を比べ、指数を a₁ から順に見ていき、最初の異なる指数の整数としての大小を deg(s) と deg(t) の大小とし、全ての指数が等しいときは deg(s) = deg(t) とする。たとえば、 (3,2,1,2) > (3,1,0,3) > (2,5,0,2) > (0,5,2,2) > (0,2,2,5) である。

多項式 f(x₁,x₂,…,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₁,x₂,…,x_n) が対称式の時、その次数 deg(f) = (a₁,a₂, …, a_n) は、任意の添字 1 ≤ j ≤ k ≤ n に対して、広義単調減少 a_j ≥ a_k となる。

対称式では、広義単調減少でない (0,1,3,2,2) のような次数の項があれば、(3,2,2,1,0) という次数で係数の等しい項が必ずある。

f の項のうちで、次数が deg(f) に等しい項の係数を c₀ とすると、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₁,x₂,…,x_n) − h(σ₁,σ₂,…,σ_n) = 定数

となるような、基本対称式についての多項式 h が得られ、

f(x₁,x₂,…,x_n) = h(σ₁,σ₂,…,σ_n) + 定数

と表すことができる。

計算例はこちら→

計算例1

2 変数 x₁, x₂ の基本対称式は

σ₁ = x₁ + x₂

σ₂ = x₁ x₂

である。

f(x₁, x₂) = x₁³ x₂ + x₁ x₂³ + x₁² + x₁ x₂ + x₂²

は対称式であり、それぞれの項の次数は順に (3,1), (1,3), (2,0), (1,1), (0,2) であるから、 deg(f) = (3,1) で、x₁³ x₂ の係数は 1 である。したがって

h₁ = f − σ₁³⁻¹ σ₂¹ = f − σ₁² σ₂ = − 2 x₁² x₂² + x₁² + x₁ x₂ + x₂²

となり、 deg( h₁ ) = (2,2) である。 h₁ の x₁² x₂² の係数は − 2 であるから

h₂ = h₁ − ( − 2 σ₁²⁻² σ₂² ) = h₁ + 2 σ₂² = x₁² + x₁ x₂ + x₂²

さらに deg( h₂ ) = (2,0) より

h₃ = h₂ − ( σ₁²⁻⁰ σ₂⁰ ) = h₂ − σ₁² = − x₁ x₂ = − σ₂

であるから

f = σ₁² σ₂ + h₁ = σ₁² σ₂ − 2 σ₂² + h₂ = σ₁² σ₂ − 2 σ₂² + σ₁² − σ₂

が得られる。

計算例2

三次方程式

x³ − σ₁ x² + σ₂ x − σ₃ = 0

の根を x₁, x₂, x₃ とすると、根と係数の関係により

σ₁ = x₁ + x₂ + x₃

σ₂ = x₃ x₁ + x₁ x₂ + x₂ x₃

σ₃ = x₁ x₂ x₃

である。この三次方程式の判別式

D = { (x₃ − x₁)(x₁ − x₂)(x₂ − x₃)}²

は対称式であり、次数は、deg(D) = (4,2,0) で x₁⁴ x₂² の係数は 1である。したがって

h₁ = D − σ₁⁴⁻² σ₂²⁻⁰ σ₃⁰ = D − σ₁² σ₂²

を考えると、deg(h₁) = (4,1,1) で、 x₁⁴ x₂ x₃ の係数は、−4 となる。以下同様に計算すると

h₂ = h₁ − (−4 σ₁⁴⁻¹ σ₂¹⁻¹ σ₃¹) = h₁ + 4σ₁³ σ₃

deg(h₂) = (3,3,0)、 x₁³ x₂³ の係数は −4

h₃ = h₂ − (−4 σ₁³⁻³ σ₂³⁻⁰ σ₃⁰) = h₂ + 4σ₂³

deg(h₃) = (3,2,1)、x₁³ x₂² x₃ の係数は 18

h₄ = h₃ − (18 σ₁³⁻² σ₂²⁻¹ σ₃¹) = h₃ − 18σ₁σ₂σ₃ = − 27 x₁² x₂² x₃² = −27 σ₃²

となるので

D = σ₁² σ₂² + h₁ = … = σ₁² σ₂² −4σ₁³ σ₃ −4σ₂³ + 18σ₁σ₂σ₃ + 27 σ₃²

が得られる。次数が

(4,2,0) > (4,1,1) > (3,3,0) > (3,2,1) > (2,2,2)

と、単調に減っていくことを利用した方法である。

コーシーによる方法

1829年にコーシーは、 1 つの変数に着目した方法を用いた。 x₁,x₂,…,x_n を変数とする n 変数の対称式は、x₁ だけを定数と思えば、x₂,…,x_n を変数とする n−1 変数の対称式でもある。 x₁,x₂,…,x_n を変数とする k 次の基本対称式を σ_k とし、 x₂,…,x_n を変数とする k 次の基本対称式を τ_k とすると

σ₁ = x₁ + τ₁

σ₂ = τ₁ x₁ + τ₂

… … …

σ_n−1 = τ_n−2 x₁ + τ_n−1

σ_n = τ_n−1 x₁

という関係が成り立つ。

τ₁ = σ₁ − x₁

τ₂ = σ₂ − τ₁ x₁ = σ₂ − (σ₁ − x₁) x₁ = σ₂ − σ₁ x₁ + x₁²

…

と、順に代入を繰り返してみると、τ₁, τ₂,…,τ_n−1 は、x₁ と σ₁, …, σ_k の多項式で表されることが分かる。

また、x₁, x₂, …, 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 ≤ m ≤ n) に関しても n−1 次以下となるような多項式にすることができる。

対称式 f(x₁,x₂,…,x_n) を x₁ について整理し、x₁^k の係数が g_k(x₂,…,x_n, σ₁, σ₂, …, σ_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₂,…,x_n に関しての対称式になる。

n−1 変数の対称式は、基本対称式の多項式で表せるということを仮定すると、 g_k は、τ₁, τ₂,…,τ_n−1 の多項式で書くことができる。すなわち、どの g_k も、x₁ と σ₁, …, σ_k の多項式で表される。x₁ の次数を下げつつ

$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₁ と任意の x_p を入れ替えても変わらないので、任意の p, q ∈ {1,2,…,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 ≤ k ≤ n-1 のとき h_k ≡ 0 となり

f(x₁,x₂,…,x_n) = h₀(σ₁,σ₂,…,σ_n)

と表され、n 変数の対称式は、基本対称式の多項式で表せることがわかる。n = 1 の時は対称式の基本定理は明らかに成り立つので、数学的帰納法により、n 変数の対称式について基本定理が成り立つ。

計算例はこちら→

計算例1

x₁, x₂ に関する対称式

f(x₁, x₂) = x₁³ x₂ + x₁ x₂³ + x₁² + x₁ x₂ + x₂²

は、

x₂ = σ₁ − x₁

という関係から

f(x₁, x₂) = x₁³ ( σ₁ − x₁ ) + x₁ (σ₁ − x₁ )³ + x₁² + x₁ ( σ₁ − x₁ ) + ( σ₁ − x₁ )²

= σ₁² + (σ₁³ − σ₁) x₁ + (1 − 3 σ₁²) x₁² + 4 σ₁ x₁³ − 2 x₁⁴

ここで

x₁² − σ₁ x₁ + σ₂ = 0

を用い、x₁ について 1次以下にすれば

f = σ₁² σ₂ − 2 σ₂² + σ₁² − σ₂

が得られる。

最後の次数下げの部分は

x₁² = σ₁ x₁ − σ₂

として、代入し続けてもいいし、多項式の割り算によって

f = ( − 2 x₁ + 2 σ₁ x₁ + 2 σ₂ −₁² + 1 ) (x₁² − σ₁ x₁ + σ₂) + σ₁² σ₂ − 2 σ₂² + σ₁² − σ₂

の第 1 項を 0 としたもの、つまり割り算の余りを基本対称式による表現とすればよい。

計算例2

x₂ + x₃ = τ₁ = σ₁ − x₁

x₂ x₃ = τ₂ = σ₂ − σ₁ x₁ + x₁²

x₁³ = σ₁ x₁² − σ₂ x₁ + σ₃

の 3 式を用いて、対称式である三次方程式の判別式を計算すると

D = { (x₃ − x₁)(x₁ − x₂)(x₂ − x₃)}²

= { x₁² − (x₂ + x₃) x₁ + x₂ x₃}² {(x₂ + x₃)² − 4x₂ x₃}

= (3 x₁² − 2σ₁ x₁ + σ₂)² (−3x₁² + 2σ₁ x₁ +σ₁² − 4σ₂)

= {9 x₁⁴ − 12σ₁ x₁³ + (4σ₁² + 6σ₂) x₁² − 4 σ₁ σ₂ x₁ + σ₂²} (−3x₁² + 2σ₁ x₁ +σ₁² − 4σ₂)

= {(σ₁² − 3 σ₂)x₁² − (σ₁σ₂ − 9 σ₃) x₁ + σ₂² − 3 σ₁σ₃}(−3x₁² + 2σ₁ x₁ +σ₁² − 4σ₂)

= (9σ₂ − 3σ₁²)x₁⁴ + (2σ₁³ − 3σ₁σ₂ − 27 σ₃)x₁³ + (σ₁⁴ − 9 σ₁²σ₂ + 27 σ₁σ₃ + 9σ₂²) x₁²

+ (−σ₁³σ₂ + 3σ₁²σ₃ + 6σ₁σ₂² − 36 σ₂σ₃) x₁ + (σ₂² − 3 σ₁σ₃)(σ₁² − 4σ₂)

= σ₁² σ₂² −4σ₁³ σ₃ −4σ₂³ + 18σ₁σ₂σ₃ + 27 σ₃²

となり、最終的に x₁ が全て消え、基本対称式を変数とする多項式になる。

斉重対称式

基本対称式の単項式

$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 と同じとする。σ₁,σ₂,…,σ_n の多項式で、重さが同じ単項式の和になっているものを、斉重多項式（せいじゅうたこうしき、isobaric polynomial）という。

基本対称式 σ_k は、x₁, x₂, …, x_n に関して、k 次の斉次多項式であるので、単項式 T は、x₁, x₂, …, x_n に関して、 w(T) 次の斉次多項式となり、x₁, x₂, …, x_n に関する斉次多項式の次数と、σ₁, σ₂, …, σ_n に関する斉重多項式の次数が対応している。

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

s 次の対称式 f(x₁,x₂,…,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₁,x₂,…,x_n) の和として表せば、それぞれの斉次多項式 f_t は対称式である。

f_t は、基本対称式を変数とする、重さが t の単項式の全て T_t,1, T_t,2, …, 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₁, …, c_m を求めることで、 f_t が、基本対称式を変数とする多項式で表される。

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

計算例はこちら→

計算例1

x₁, x₂ に関する対称式

f(x₁, x₂) = x₁³ x₂ + x₁ x₂³ + x₁² + x₁ x₂ + x₂²

は、4 次の斉次対称式

g(x₁, x₂) = x₁³ x₂ + x₁ x₂³

と、2 次の斉次対称式

h(x₁, x₂) = x₁² + x₁ x₂ + x₂²

の和である。

g は、重さが 4 の σ₁,σ₂ を変数とする単項式の線形結合

g(x₁, x₂) = c₁ σ₁⁴ + c₂ σ₁² σ₂ + c₃ σ₂²

の形になり、係数の、 c₁, c₂, c₃ の 3 つを定めればよい。用いる方法はなんでもよく、例えば、ウェアリングによる方法で定義した次数を使うと、deg(g) = (3,1) であるから、 σ₁² σ₂ の項が最高次数となり、これより大きな次数の σ₁⁴ は現れないので、 c₁ = 0 である。恒等式なので、x₁ = 1, x₁ = −1 という特別な値を代入しても成り立ち、この時、σ₁ = 0, σ₂ = −1 であるから、c₃ = −2 が分かる。 x₁ = x₂ = 1 とすると、σ₁ = 2, σ₂ = 1 なので、c₂ = 1 とわかり

g = σ₁² σ₂ − 2 σ₂²

である。 h の方も同様に、重さが 2 の斉重多項式

h(x₁, x₂) = d₁ σ₁² + d₂ σ₂

の形になり、係数を求めると d₁ = 1, d₂ = −1 となるので

h(x₁, x₂) = σ₁² − σ₂

となり

f = g + h = σ₁² σ₂ − 2 σ₂² + σ₁² − σ₂

となることが分かる。

計算例2

σ₁ = x₁ + x₂ + x₃

σ₂ = x₃ x₁ + x₁ x₂ + x₂ x₃

σ₃ = x₁ x₂ x₃

を用いて、三次方程式の判別式

D = { (x₃ − x₁)(x₁ − x₂)(x₂ − x₃)}²

を基本対称式の多項式で表す。

D は 6 次の斉次対称式なので、σ₁,σ₂,σ₃ の多項式で書くと、重さが 6 の斉重多項式

D = c₁ σ₁⁶ + c₂ σ₁⁴ σ₂ + c₃ σ₁³ σ₃ + c₃ σ₁² σ₂² + c₄ σ₁ σ₂ σ₃ + c₅ σ₂³ + c₆ σ₃²

になる。 D は、 x₁ に関して 4 次なので、右辺もそうなるように、 c₁ = c₂ = 0 でなければならない。

x₁ = 0, x₂ = 1, x₃ = −1 という特別な値を入れても、この等式は成り立つはずで、 σ₁ = σ₃ = 0, σ₂ = −1 だから、 c₅ = −4 とわかる。以下、特殊な値を入れたり、係数を比較したりすることにより、

D = −4σ₁³ σ₃ + σ₁² σ₂² + 18σ₁σ₂σ₃ −4σ₂³ + 27 σ₃²

が得られる。

基本対称式の代数的独立性

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

証明は変数 x₁, ... , x_n の数 n と、対称式の次数に関する帰納法によって行われる。n - 1変数の多項式 Q(s₁, ..., s_{n - 1}) で、基本対称式 σ₁(x₁, ... , x_{n - 1}), ..., σ_{n - 1}(x₁, ... , x_{n - 1}) を代入して 0 になるようなものは s_i たちの多項式としてすでに 0 になることが示せていたとする。

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

関連項目

• ニュートンの公式
• 不変式
• シューア多項式