next up previous
Next: About this document ...

    

代数学III要約 No.1

今日のテーマ: \fbox{ガロア理論とは}

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

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

例えば、 $ \mbox{${\mathbb{Q}}$}$ 上の代数方程式

$\displaystyle x^3+x+1=0
$

を考えよう。 この方程式の解を $ \alpha$ とおくと、

$\displaystyle \alpha^3+\alpha+1=0$ (1.1)

が成り立つはずである。 $ \mbox{${\mathbb{Q}}$}$ と新しい「数」$ \alpha$ を取り入れて、加減乗算を行うには、

% latex2html id marker 796
$\displaystyle c_0 + c_1 \alpha +c_2 \alpha^2 \qquad (c_0,c_1,c_2 \in$   $\displaystyle \mbox{${\mathbb{Q}}$}$$\displaystyle )
$

のような数が必要になる。そして、これらの数同士の加減乗算による結果は 関係式(1.1)を用いればまたもや同様の数になる。

このような操作は、実は剰余環を用いることにより上手に扱える。 もっと一般に、体 $ k$ 上の一変数多項式 $ f$ に対して、剰余環

$\displaystyle R=k[X]/f(X) k[X]
$

を考えると、この環における $ X$ のクラス(剰余類) $ a$$ f(a)=0$ をみたし、 $ R$$ k$$ f=0$ の解 $ a$ を付け加えて作った環であると言って良い。

つぎに、そのようにして作ったいろいろな環の 比較を行う必要がある。

例えば二次方程式

$\displaystyle x^2+x+1=0
$

の解は

% latex2html id marker 822
$\displaystyle \frac{-1\pm \sqrt{-3}}{2}
$

で与えられる。これは

$\displaystyle k[X]/(X^2+X+1)k[X]
$

$\displaystyle k[X]/(X^2+3)k[X]
$

の間に関係があることを意味している。

問題 1.1   $ \alpha$ $ \mbox{${\mathbb{Q}}$}$ 上の方程式 $ X^5-X+1=0$ の解であるとするとき
  1. $ \alpha^{10}$$ \alpha$ の 4次以下の $ \mbox{${\mathbb{Q}}$}$ 係数の多項式で表しなさい。
  2. $ \alpha^{15}$$ \alpha$ の 4次以下の $ \mbox{${\mathbb{Q}}$}$ 係数の多項式で表しなさい。
  3. $ (\alpha^3+\alpha+1)(\alpha^4+\alpha^2+1)$$ \alpha$ の 4次以下の $ \mbox{${\mathbb{Q}}$}$ 係数の多項式で表しなさい。



2010-10-01