代数学III要約 No.1

今日のテーマ:

ガロア理論とは、体の拡大をガロア群という群の構造を調べることにより 明らかにする理論である。 これにより代数方程式が手に取るように扱えるようになる。

ガロア理論はそれ自身代数幾何学や数論の重要な道具になったのみならず、 数学的対象をそれについての対称性により考察するという一般的原理の もととなって数学の爆発的発展の基礎を与えた。

3,4次方程式はどのように解くか。

高次方程式はどうか。

共役が活躍する。

$\alpha=\sqrt{2}+1$ を考えよう。 これは

$$\alpha^2-2 \alpha -1=0$$

をみたす。じつは、$\alpha$ を $\beta=-\sqrt{2}+1$ に置き換えた式

$$\beta^2-2 \beta -1=0$$

も正しいことが分かる。おなじように、 誰かが、$\alpha$ は次のことを発見したとする。

$$3\alpha ^5 -6 \alpha^4 -10\alpha^3+9 \alpha^2+17 \alpha+5=0$$

このとき、この式の $\alpha$ をことごとく $\beta$ に置き換えた

$$3\beta ^5 -6 \beta^4 -10\beta^3+9 \beta^2+17 \beta+5=0$$

もまた正しい。

「置き換え」は単純なものばかりではない。

• $\sqrt{2}+\sqrt{5}$ を根に持つ有理係数多項式 $f(X)$ は $\pm\sqrt{2}\pm \sqrt{5}$ のすべて(4つ)を根に持つ。

• $\sqrt[3]{2}$ を根に持つ有理係数多項式は $\omega\sqrt[3]{2}$ や $\omega^2\sqrt[3]{2}$ も根に持つ。 ただし、 $\omega=\frac{-1+\sqrt{-3}}{2}$ である。

• $\sqrt{2}+\sqrt[3]{5}$ を根に持つ有理係数多項式は $\pm \sqrt{2}+\omega^j\sqrt[3]{5}$ (j=0,1,2)を根に持つ。

根の置き換えをうまく利用すると、方程式論が易しくなる。これが第一点である。

第二点は、方程式そのものや、根そのものといった「元」ではなく、 元から始まって和、差、積、商を用いて作られたもの全体の「集合」を うまく用いることにある。これが、体。

体を、根の置き換え全体の集合(``ガロア群'')を考えることによって 統御すのがガロア理論である。