2019/12/06

拡大次数の積の定理

エミール・アルティン『ガロア理論入門』第2章第1節。

以前、拡大体、部分体、添加体、そして拡大次数について見ました。今回はその続きで、拡大次数の積の定理について見てみます。

『ガロア理論入門』には、拡大次数の積の定理という名では載っておらず、単に定理6として証明とともに記載されています。
定理6. K,B,EK,B,EKBEKBE のような3つの体とするとき、次の関係がなりたつ。
(E/K)=(B/K)(E/B)(E/K)=(B/K)(E/B)
(E/K)(E/K) というのは、EEKK 上の拡大次数でした。定理6では、KBEKBE のとき、《 EEKK 上の拡大次数》は、《 BBKK 上の拡大次数》と《 EEBB 上の拡大次数》の積になることをいっています。

「拡大次数の積の定理」という名前は、結城浩『数学ガール/ガロア理論』に載っていたのですが、それによると、この定理は「塔定理」や「連鎖律」とも呼ばれることもあるようです。

さて、この定理の証明ですが、ゆっくり丁寧に読まないと理解できませんでした。これから本に載っていた証明を解説するようなかたちで書いていきますが、冗長なところ、また逆に言葉足らずなところもあるかと思います。その点ご了承ください。
証明 α1,α2,,αrα1,α2,,αrBB 上線型独立な EE の要素とし、γ1,γ2,,γsγ1,γ2,,γsKK 上線形独立な BB の要素とする。すると i=1,2,,si=1,2,,sj=1,2,,rj=1,2,,r としたときの積 γiαjK 上線形独立な E の要素となる。その理由をみるために aijγiαj=0 としてみよう。すると j(iaijγi)αjB からの係数をもつ αj の線形和であり、 αjB 上線形独立であるから、 aijγi=0 が任意の j についてなりたつ。ところが γiK 上線形独立であるから、すべての i,j について aij=0 がわかる。
いま証明したいことは、(E/K)=(B/K)(E/B) 、つまり《 EK 上の拡大次数》は、《 BK 上の拡大次数》と《 EB 上の拡大次数》の積になるということです。拡大次数はベクトル空間とみなしたときの次元であり、次元は線型独立の要素数であるため、《 B 上線形独立な E の要素》を α1,α2,,αr とひとまずおこうということです。同様に γ1,γ2,,γs を《 K 上線形独立な B の要素》としています。すると αjγi の積 γiαjK 上線形独立な E の要素となる、というのが前半部分で、後半はその理由です。

γiαjK 上線形独立な E の要素となることを確認するために、 aijγiαj=0 という方程式を考えます。 に慣れていないので、aijγiαj を明示的に書くと次のようになります(というか、証明の内容を読むとこうなるだろう、と書いています)。
aijγiαj=j(iaijγi)αj=rj=1(si=1aijγi)αj=(si=1ai1γi)α1+(si=1ai2γi)α2++(si=1airγi)αr
いま aijγiαj=0 を考えていますので、
(si=1ai1γi)α1+(si=1ai2γi)α2++(si=1airγi)αr=0
です。

α1,α2,,αrB 上線型独立な E の要素ですので、それぞれの係数 aijγi について、 aijγi=0 が任意の j でなりたちます。さらに、
si=1aijγi=a1jγ1+a2jγ2++asjγs=0
で、γ1,γ2,,γsK 上線形独立な B の要素ですので、それぞれの係数 aij について、aij=0 となることがわかります。

すると、最初の式 aijγiαj=0 は、 aij(γiαj)=0 のように考えると、γiαj のすべての係数について 0 ということになり、γiαjK 上線形独立な E の要素となります。

γiαjK 上線形独立な E の要素となることがわかったところで、次にいきましょう。
さて K 上線形独立な γiαjrs 個あるので、任意の r(E/B) と 任意の s(B/K) に対して次数 (E/K)rs であることが示されたことになる。よって
(E/K)(B/K)(E/B)
ここで右辺の2数のうちの1つが無限大ならば、これで定理が示されたことになる。
拡大次数が無限大ということは、次元が無限大、つまり線形独立な要素が無限にあるということになります。もし(B/K)(E/B) が無限大ならば、 K 上線形独立な γiαj も無限にあるということになり、(E/K)>(B/K)(E/B) はなりたたず、(E/K)=(B/K)(E/B) となります。

最後、 (E/B)(B/K) がどちらも有限である場合を確認して証明終了です。
(E/B)(B/K) がいずれも有限で、たとえば rs であるときは、αjγi をそれぞれベクトル空間 EB の生成系にとる。このとき K 上の線形独立な γiαjEK 上の1つの生成系であることを示せばよい。まず、E の任意の要素 αB からの係数を用いて αj の線形和に表わされる。よって α=βjαj となる。さらに B の要素 βjK からの係数を用いて γi で線形に表わされる。すなわち
βj=aijγi,j=1,2,,r
となる。よって α=aijγiαj であり、 γiαjEK 上の生成系であることがわかる。
(証明終り)
(E/B)(B/K) がそれぞれ rs とすると、ベクトル空間 EB の次元は r,s となり、 αjγi はベクトル空間 EB の生成系となります。このとき K 上の線形独立な γiαjEK 上の1つの生成系であれば、K 上のベクトル空間 E の次元は rs となり、 (E/K)=(B/K)(E/B) がなりたちます。

0 件のコメント:

コメントを投稿

ブログ アーカイブ