So-net無料ブログ作成

2017-09-13

原方程式 $k$ 上の重根を持たない $n$ 次方程式 $f(X)=0$
原方程式の根 $\alpha, \alpha_1, \cdots, \alpha_{n-1}$
$$\xi = c\alpha + c_1\alpha_1 + \cdots + c_{n-1}\alpha_{n-1} = \varphi(\alpha, \alpha_1, \cdots, \alpha_{n-1})$$ ただし、$\varphi(\alpha, \alpha_1, \cdots, \alpha_{n-1})$ は、$\alpha, \alpha_1, \cdots, \alpha_{n-1}$ は $\alpha, \alpha_1, \cdots, \alpha_{n-1}$の任意の置換ですべて異なる値になる。$c, c_1,\cdots,c_{n-1}$ は有理数(整数としてもよい)。
$\xi$ の $k$ 上の最小多項式がガロア分解式で $g(X)$ 、次数は $m$、 この多項式の根は $\xi, \xi_1, \cdots, \xi_{m-1}$ の $m$ 個。
$\theta_0, \theta_1, \cdots, \theta_{n-1}$ は $k$ 上の多項式。 $$\xi = \varphi(\alpha, \alpha_1, \cdots, \alpha_{n-1}) \qquad (\alpha, \alpha_1, \cdots, \alpha_{n-1}) = (\theta(\xi),\theta_1(\xi),\cdots,\theta_{n-1}(\xi))$$ という関係があります。

$f_1(X),f_2(X)$ を $k$ 上の多項式とします。
$f_1(\xi)=f_2(\xi)$ ならば、 $f_1(\xi_1)=f_2(\xi_1), f_1(\xi_2)=f_2(\xi_2), \cdots, f_1(\xi_{m-1})=f_2(\xi_{m-1})$ のすべてが成立します。

$f_1(X)-f_2(X)$ は $g(X)$ と根 $\xi$ を共有してます。ゆえに、$f_1(X)-f_2(X)$ は $g(X)$ で割り切れ、他の根 $\xi_1, \cdots, \xi_{m-1}$ も共有します。

同じ値の多項式は、すべて同じ値の多項式に変換されます。 また、値が0となる多項式のみが、値が0となる多項式に変換されます。
例えば、$f_1(\xi_1)=0$ なら逆の変換で $f_1(\xi)=0$ になります。

$f_1(X),f_2(X)$ を $k$ 上の有理式としても、 $f_1(\xi)=f_2(\xi)$ ならば、 $f_1(\xi_1)=f_2(\xi_1), f_1(\xi_2)=f_2(\xi_2), \cdots, f_1(\xi_{m-1})=f_2(\xi_{m-1})$ のすべてが成立することが分かります。 それゆえに、値で類別して、値を値に移す写像として well-defined です。 有理関係を変えない変換になっています。(先に多項式について述べるのは、有理式を変換したときに、分母が0になることがないことを示すため)この性質は、$\xi, \xi_1, \cdots, \xi_{m-1}$ が $k$ 上の最小多項式 $g(X)$ を共有しているから、と言ってもいいですね。

$\alpha, \alpha_1, \cdots, \alpha_{n-1}$ の順列 $A,A_1,\cdots,A_{m-1}$ を定義します。 \begin{eqnarray} A &=& (\alpha, \alpha_1, \cdots, \alpha_{n-1}) = (\theta(\xi),\theta_1(\xi),\cdots,\theta_{n-1}(\xi))\\ A_1 &=& (\alpha', \alpha_1', \cdots, \alpha'_{n-1}) = (\theta(\xi_1),\theta_1(\xi_1),\cdots,\theta_{n-1}(\xi_1))\\ A_2 &=& (\alpha'', \alpha_1'', \cdots, \alpha''_{n-1}) = (\theta(\xi_2),\theta_1(\xi_2),\cdots,\theta_{n-1}(\xi_2))\\ &\vdots&\\ A_{m-1} &=& (\alpha^{(m-1)}, \alpha_1^{(m-1)}, \cdots, \alpha_{n-1}^{(m-1)}) = (\theta(\xi_{m-1}),\theta_1(\xi_{m-1}),\cdots,\theta_{n-1}(\xi_{m-1})) \end{eqnarray} これらから、$A$ から出発する置換の集合が作られます。置換の集合 $S$ とします。 $$S = \left\{\binom{A}{A},\ \binom{A}{A_1},\ \cdots, \ \binom{A}{A_{m-1}} \right\}$$ $F(\alpha, \alpha_1, \cdots, \alpha_{n-1})$ を $k$ 上の任意の有理式とします。 $$F(\alpha, \alpha_1, \cdots, \alpha_{n-1}) = F(\theta(\xi),\theta_1(\xi),\cdots,\theta_{n-1}(\xi))$$ と書けるので、$F$ は $\xi$ の $k$ 上の有理式とみなせます。$\xi$ の $k$ 上の最小多項式 $g$ があるから、$\xi$ の $k$ 上の多項式に直せます。それを $\psi(\xi)$ とします。次数は、$g$ の次数 $m$ より小さい。
$$F(\alpha, \alpha_1, \cdots, \alpha_{n-1}) = F(\theta(\xi),\theta_1(\xi),\cdots,\theta_{n-1}(\xi)) = \psi(\xi)$$ これに、集合 $S$ の置換を施します。 $$\binom{A}{A} F(\alpha, \alpha_1, \cdots, \alpha_{n-1}) = F(\theta(\xi),\theta_1(\xi),\cdots,\theta_{n-1}(\xi)) = \psi(\xi)$$ $$\binom{A}{A_1} F(\alpha, \alpha_1, \cdots, \alpha_{n-1}) = F(\theta(\xi_1),\theta_1(\xi_1),\cdots,\theta_{n-1}(\xi_1)) = \psi(\xi_1)$$ $$\binom{A}{A_{m-1}} F(\alpha, \alpha_1, \cdots, \alpha_{n-1}) = F(\theta(\xi_{m-1}),\theta_1(\xi_{m-1}),\cdots,\theta_{n-1}(\xi_{m-1})) = \psi(\xi_{m-1})$$ これらのすべてが同じ値になったとします。 $$\psi(\xi) = \psi(\xi_1) = \cdots = \psi(\xi_{m-1})$$ 次数が $m$ より小さい多項式が、$m$ 個の異なる値で、同じ値になるということは、$\psi$ は定数項しかないことになります。したがって、$\psi(\xi)$ の値は体 $k$ に属すします。

逆に$\psi(\xi)$ の値が体 $k$ に属するならば、$\psi$ は定数項しかありません。したがって、 $$\psi(\xi) = \psi(\xi_1) = \cdots = \psi(\xi_{m-1})$$ が成立します。

集合 $S$ の置換は、$k$ 上の $\alpha, \alpha_1, \cdots, \alpha_{n-1}$ のすべての有理式に対して、その値が $k$ に属するならば値を変えません。また、この性質をもつ $\alpha, \alpha_1, \cdots, \alpha_{n-1}$ の置換は、集合 $S$ の置換しかありません。もし、あればその置換を、 $$g(\varphi(\alpha, \alpha_1, \cdots, \alpha_{n-1}))=0$$ に施せば矛盾します。

順列の集合 $\{A, A_1, \cdots, A_{m-1}\}$ から、$A_1$ から出発する置換の集合 $S_1$ を定義します。 $$S_1 = \left\{\binom{A_1}{A},\ \binom{A_1}{A_1},\ \cdots, \ \binom{A_1}{A_{m-1}} \right\}$$ $F(\alpha', \alpha'_1, \cdots, \alpha'_{n-1})$ を $k$ 上の任意の有理式として、集合 $S_1$ の置換を施すと、$S$ のときと同様の性質がわかります。
集合 $S_1$ の置換は、$k$ 上の $\alpha, \alpha_1, \cdots, \alpha_{n-1}$ のすべての有理式に対して、その値が $k$ に属するならば値を変えません。また、この性質をもつ $\alpha, \alpha_1, \cdots, \alpha_{n-1}$ の置換は、集合 $S_1$ の置換しかありません。ですから、$S_1$ は $S$ と置換の集合としては同じものです。

順列の集合 $\{A, A_1, \cdots, A_{m-1}\}$ から、どの順列を出発点とする置換の集合をつくっても、置換の集合としては同じものになります。 したがって、置換の集合 $S$ は群になっています。

置換の集合 $S$ がガロア群です。ガロアの群の定義を使えば、対称性から群になっていると言えるわけです。
nice!(0)  コメント(0) 

nice! 0

コメント 0

コメントを書く

お名前:
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。