記事ソース/累開冪拡大体とガロア群の関係
メニュー現在 8 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/累開冪拡大体とガロア群の関係†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容=============================================================
累開冪拡大とガロア群の関係
=============================================================
方程式の可解性を考える準備は、いよいよ大詰めです。累開冪拡大体の列と、ガロア群の関係を明らかにします。この記事の最初で、後の議論のために *ラグランジェのリゾルベント* と言われる量を導入します。後半で、ガロアの定理の証明に決定的に大事になる定理を証明します。（この定理は、ガロアの定理のための補題というよりは、それ自体でとても重要な定理だと思います。）気合を入れていきましょう。
ラグランジェのリゾルベント
=============================================================
まず、ラグランジェのリゾルベントと言われる量を導入します。ラグランジェのリゾルベントとは、 $n$ 次方程式 $f(x)=x^{n}+a_{1}x^{n-1}+...+a_{n-1}x+a_{n}=0$ に対し、その解 $\theta_{0}, \theta_{1},...,\theta_{n-1}$ と、 $1$ の $n$ 乗根の一つ $\zeta $ を、次のように順番に掛け合わせて足し合わせた量です。
<tex>
L (\zeta , \theta _{i}) = \theta_{0} + \zeta \theta _{1} + \zeta ^{2} \theta _{2} + ... + \zeta ^{n-1} \theta _{n-1} \tag{1}
</tex>
式 $(1)$ を念頭に、 $f(x)$ を体 $F$ 上の代数方程式だとし、拡大体 $E=F(\theta)$ を考えます。いま、 *ガロア群が巡回群* $\cal G \it (E/F)=\{ 1 , \phi , \phi ^{2} ,..., \phi ^{n-1} \} $ だとすると（ **この仮定が重要！** ）、解 $\theta_{0}, \theta_{1},...,\theta_{n-1}$ は $\theta_{0}, \phi \theta_{0}, \phi ^{2} \theta _{0},..., \phi ^{n-1} \theta_{0}$ のように、 $\theta _{0}$ と $\phi$ だけを使って書き換えることができます。（ただし、順番も同順とは限りません。）簡単のため、 $F$ は $1$ の $n$ 乗根 $1,\zeta , \zeta ^{2},...,\zeta ^{n-1}$ を含み、 $\theta _{0}$ を単に $\theta$ と書くことにすれば、式 $(1)$ を次のように書き換えることができます。
<tex>
L (\zeta ^{k} ,\theta ) & = \theta + \zeta ^{k} (\phi \theta )+ \zeta ^{2k}( \phi ^{2} \theta ) + ... + \zeta ^{(n-1)k} (\phi ^{n-1 } \theta ) \\
& = \sum _{m=0}^{n-1}
\zeta ^{km} (\phi ^{m} \theta )
\tag{2}
</tex>
後で、この形でラグランジェのリゾルベントを利用します。また、ここでは仮に、 $1$ の $n$ 乗根 $1, \zeta , \zeta ^{2},...,\zeta ^{n-1}$ は、 $F$ に含まれるとしておきます。（このため、 $|\cal G \it (E/F)|=n$ と考えます。）式 $(2)$ で両辺の総和を取ってみます。
<tex>
\sum _{k=0} ^{n-1} L(\zeta ^{k},\theta) &=
\sum _{k=0} ^{n-1}
\sum _{m=0}^{n-1}
\zeta ^{km} (\phi ^{m} \theta ) \\
& =
\sum _{m=0}^{n-1}
\left(
\sum _{k=0} ^{n-1} (\zeta ^{m})^{k}
\right)
(\phi ^{m}\theta) \tag{3}
</tex>
式 $(3)$ の右辺の括弧部分は、 $1 + \zeta ^{m} + \zeta ^ {mk} + ...$ のように等比級数の和ですから、公式通りに $\frac{1-(\zeta ^{m})^{k}}{1-\zeta ^{m}}$ のように表現できますが、これは $m \equiv 0 \ \ {\rm mod.} n$ の場合に $1+1+...+1 =n$ となり、それ以外の場合には $0$ になります。
<tex>
\sum _{k=0} ^{n-1} (\zeta ^{m})^{k} &= 1 + \zeta ^{m} + \zeta ^ {mk} + ...
+ \zeta ^{m(k-1)} \\
&= \begin{cases}
n \ \ \ \ \ \ \ \ \ \ \ \ \ \ (m \equiv 0 \ {\rm mod.} n) &
\cr \frac{1-(\zeta ^{m})^{k}}{1-\zeta ^{m}}=0 \ \ \ \ (otherwise)
\end{cases}
</tex>
そこで、式 $(3)$ の $\Sigma$ で生き残るのは、 $m=0$ の場合だけなので、 $\phi ^{0}=1$ を考えると、式 $(3)$ は次のように変形できます。
<tex>
\sum _{k=0} ^{n-1} L(\zeta ^{k},\theta) &=
\sum _{k=0} ^{n-1}
\sum _{m=0}^{n-1}
\zeta ^{km} (\phi ^{m} \theta ) = n\theta
</tex>
式 $(3)$ より、 $f(x)=0$ の解 $\theta$ を次のように表現することが出来ます。これが、ラグランジェのリゾルベントを使った方程式の解の表現で、このようにして方程式の解を表す方法を *ラグランジェの方法* と呼びます。
<tex>
\theta = \frac{1}{n} \sum _{k=0}^{n-1} L(\zeta ^{k},\theta) \tag{4}
</tex>
.. [*] これは、ラグランジェ( $\text{Joseph-Louis Lagrange (1736-1813)}$ )が提案した方程式の解法で、ラグランジェの方法と呼ばれています。ここまでの議論は、ガロア群が巡回群である、という仮定に基づいていますが（もう一度確認してみて下さい）、これがもし巡回群でないと、式 $(4)$ によって簡単に方程式の解を示すことは出来ません。つまり、ガロア群が巡回群かどうか、というのがこの方法のポイントになってきます。ラグランジェは、まだ群論さえなかった時代に、既に巡回群に似た概念に到達し、それが方程式の可解性の要点であることを見抜いていました。ガロアも、まずラグランジェの著作を読み、ガロア群が巡回群になることと方程式の可解性の関係に気づき、そこから数日間のうちにガロア理論を完成させたと言います。ラグランジェの業績あってのガロア理論と言えそうです。
もう一つ、重要な関係式を導いておきます。式 $(2)$ の両辺に $\zeta ^{-k}$ を掛けてみます。
<tex>
\zeta ^{-k}L (\zeta ^{k} ,\theta ) & = \zeta ^{-k} \theta + \phi \theta + \zeta ^{k} \phi ^{2} \theta + ... + \zeta ^{k(n-2)} \phi ^{n-1 } \theta \tag{5}
</tex>
右辺第一項を、 $\phi ^{n}\theta =\theta$ , $\zeta ^{kn}=1$ であることを使って、少し強引ですが $\zeta ^{-k}\theta =\zeta ^{k(n-1)} ( \phi ^{n} \theta )$ と変形すれば、式 $(5)$ を次のように変形できます。（二行目から三行目は、単に順番を見やすいように並べ替えただけです。）
<tex>
\zeta ^{-k}L (\zeta ^{k} ,\theta ) & = \zeta ^{-k} \theta + \phi \theta + \zeta ^{k} \phi ^{2} \theta + ... + \zeta ^{k(n-2)} \phi ^{n-1 } \theta \\
&= \zeta ^{k(n-1)} ( \phi ^{n} \theta ) + \phi \theta + \zeta ^{k} \phi ^{2} \theta + ... + \zeta ^{k(n-2)} \phi ^{n-1 } \theta \\
&= \phi \theta + \zeta ^{k} \phi ^{2} \theta + ... + \zeta ^{k(n-2)} \phi ^{n-1 } \theta + \zeta ^{k(n-1)} ( \phi ^{n} \theta ) \\
&= L(\zeta ^{k}, \phi \theta ) \tag{6}
</tex>
よって、次の関係式が得られました。
<tex>
L(\zeta ^{k}, \phi \theta )= \zeta ^{-k}L (\zeta ^{k} ,\theta ) \tag{6}
</tex>
また、 $\phi$ が $\zeta$ を不動に保つことを考えると、 $\phi L(\zeta ^{k} , \theta )=L(\zeta ^{k} , \phi \theta )$ が言えますから、式 $(6)$ とまとめて、次の関係を得ます。
<tex>
\phi L(\zeta ^{k} , \theta )= L(\zeta ^{k} , \phi \theta )= \zeta ^{-k}L (\zeta ^{k} ,\theta ) \tag{7}
</tex>
さらに、 $\zeta ^{-kn}=1$ を使って、式 $(7)$ から次式を導くことが出来ます。
<tex>
(L(\zeta ^{k},\theta))^{n} &= \zeta ^{-kn} (L(\zeta ^{k},\theta))^{n} \\
&= ( \zeta ^{-k} L(\zeta ^{k},\theta))^{n} \\
&= (L(\zeta ^{k} , \phi \theta ))^{n} \\
&= (\phi L(\zeta ^{k} , \theta ))^{n} \\
&= \phi L(\zeta ^{k} , \theta ) \cdot \phi L(\zeta ^{k} , \theta ) \cdots \phi L(\zeta ^{k} , \theta ) \\
&= \phi (L(\zeta ^{k} , \theta ))^{n} \tag{8}
</tex>
最後のところでは、 $\phi$ が準同型写像であること、つまり一般に $\phi (AB)=\phi (A)\phi (B)$ を満たすことを利用しています。式 $(8)$ の最初と最後を比べて見れば、 $\phi$ が $(L(\zeta ^{k},\theta))^{n}$ を不動に保つということが分かります。
<tex>
\phi (L(\zeta ^{k} , \theta ))^{n} = (L(\zeta ^{k} , \theta ))^{n} \tag{9}
</tex>
ラグランジェのリゾルベントの導入が長くなりましたが、ここまでの議論を使って、次に大事な定理を証明します。
定理
====================================================================
.. admonition:: theorem
体 $F$ のガロア拡大 $E$ を考えます。もしガロア群 $\cal G \it (E/F)$ が可換群（または巡回群）ならば、 $E$ は $F$ の開冪拡大だと言えます。
この定理は非常に重要で、これによって開冪拡大の列とガロア群の列が関係づけられます。有限巡回群は可解群だと言えましたので（すでに こちら_ で証明しました）、 定理の可解群という部分を有限巡回群と読み換えても良いです。可解群という言葉に触れずに巡回群だけで説明してある教科書もあり、どちらでも良いと思います。
以下は、この定理の証明です。
特殊な場合
---------------------------------------------------------------
まず、 $|\cal G \it (E/F)|=n$ として、 $1$ の $n$ 乗根 $1,\zeta , \zeta^2 , ...,\zeta^{n-1}$ を $F$ が含む特殊な場合を考えます。
式 $(9)$ より、 $(L(\zeta ^{k} , \theta ))^{n}$ の形で表わされる数（ $k=1,2,...,n-i$ の $n$ 個あるので、 $\alpha _{k}=(L(\zeta ^{k} , \theta ))^{n}$ と名づけておきます）は、 $\phi \in \cal G \it (E/F)$ によって不動に保たれます。同じ議論が $\cal G \it (E/F)$ の他の元にも成り立ちますから、結局、 $\alpha _{k}$ は $F$ の元であるということが分かります。いま、 $F_{i}$ 上の方程式 $x^{n}-\alpha _{i}$ による分離拡大体を $F_{i+1}$ と定義することで、累開冪拡大体の列を考えることができます。
<tex>
F=F_{0} \subset F_{1} \subset ... \subset F_{n} \tag{10}
</tex>
こ方程式 $x^{n}-\alpha _{i}=0$ の解ということは、 $\alpha _{i}$ の $n$ 乗根を全て含むことになりますが、 $F_{n}$ は全ての $\alpha _{k}=(L(\zeta ^{k} , \theta ))^{n}$ の $n$ 乗根を漏れなく含むことになりますので、結局、ラグランジェのリゾルベントの各項を全て含むことが示せます。これより、次の関係が言えます。
<tex>
E = F(\theta ) \subset F_{n} \tag{11}
</tex>
<tex>
\theta = \frac{1}{n} \sum _{k=0}^{n-1} L(\zeta ^{k},\theta) \in F_{n} \tag{12}
</tex>
これより、 $E$ は $F$ の累開冪拡大であることが示されました。■
一般の場合
----------------------------------------------------------------
まず特殊な場合として、 $1$ の $n$ 乗根が全て $F$ に含まれる場合について、定理を示しましたが、定理は $1$ の $n$ 乗根が $F$ に含まれない場合に対しても拡張することが出来ます。
まず $E$ は、 $\theta$ を解とする $F$ 上の方程式 $f(x)$ の最小分解体になっており、ガロア拡大であることを確認しましょう。（最小分解体は、常にガロア拡大でした。）これに対し、 $F$ 上の方程式 $g(x)=(x^{n}-1)f(x)$ と、 $g$ の最小分解体 $F(\zeta , \theta )$ を考えてみます。これもガロア拡大です。このとき、 $F(\zeta , \theta)$ は $F(\theta )$ のガロア拡大でもある、ということも言え、 $\cal G \it (F(\zeta , \theta)/F(\zeta )) \rightarrow \cal G \it (E/F)$ なる準同型写像を決めることが出来ます。このような準同型写像を $H$ とすると、 $H$ の作用する被写像元を、 $E$ に制限することが出来ます。これを $H(\psi )= \psi |E$ のように書きます。（ $\psi$ は $H$ が作用するのですから、少なくとも $\cal G \it (F(\zeta , \theta)/F(\zeta ))$ の元で、つまり $F(\zeta , \theta )$ の自己同型写像です。 $E$ を $F(\zeta , \theta)$ の部分体と考えることが出来ますから、 $\psi$ として $E$ に制限されたものを考えることは可能なわけです。）さらに、この $\psi$ として、一対一写像のものを決めることも出来ますから、も $\cal G \it (F(\zeta , \theta)/F(\zeta ))$ と ${\rm Im} H$ に同型写像を決めることが出来ます。 ${\rm Im} H$ は $\cal G \it (E/F)$ の部分群なので巡回群ですので、これより $\cal G \it (F(\zeta , \theta)/F(\zeta ))$ も巡回群だと言うことが出来ます。また、 $|\cal G \it (F(\zeta , \theta)/F(\zeta ))|=m$ （ $m$ は $|\cal G \it (E/F)|=n$ を割り切る適当な整数）と置くことが出来ます。結局、『 $\cal G \it (F(\zeta , \theta)/F(\zeta ))$ は位数 $m$ の巡回群である』ことが分かり、 さらに $F(\zeta )$ は $1$ の $m$ 乗根 $\{ 1, \zeta ^{n/m}, \zeta ^{2n/m},...,\zeta ^{(m-1)n/m} \} $ を全て含むのですから、ここから先は前セクションで証明した『特殊な場合』の証明に帰着させることが出来ます。すなわち、 $\cal G \it \zeta , \theta)$ は $\cal G \it (\zeta )$ の累開冪拡大であり、 $F(\zeta)$ が $F$ の累開冪拡大であることを考えれば、 $F(\zeta , \theta ) \subset F_{n}$ という、前セクションと同じ結論を得ることが出来ます。■
.. _こちら: http://www12.plala.or.jp/ksp/algebra/SolvableGroupsApp/
.. _`1のn乗根`: http://www12.plala.or.jp/ksp/algebra/1sNthRoot/
@@author:Joh@@
@@accept: 2007-03-03@@
@@category: 代数学@@
@@id: SuccessiveExtentionGalois@@
|
