以前、拡大体、部分体、添加体、そして拡大次数について見ました。今回はその続きで、拡大次数の積の定理について見てみます。
『ガロア理論入門』には、拡大次数の積の定理という名では載っておらず、単に定理6として証明とともに記載されています。
定理6. K,B,EK,B,E を K⊂B⊂EK⊂B⊂E のような3つの体とするとき、次の関係がなりたつ。(E/K)(E/K) というのは、EE の KK 上の拡大次数でした。定理6では、K⊂B⊂EK⊂B⊂E のとき、《 EE の KK 上の拡大次数》は、《 BB の KK 上の拡大次数》と《 EE の BB 上の拡大次数》の積になることをいっています。
(E/K)=(B/K)(E/B)(E/K)=(B/K)(E/B)
「拡大次数の積の定理」という名前は、結城浩『数学ガール/ガロア理論』に載っていたのですが、それによると、この定理は「塔定理」や「連鎖律」とも呼ばれることもあるようです。
さて、この定理の証明ですが、ゆっくり丁寧に読まないと理解できませんでした。これから本に載っていた証明を解説するようなかたちで書いていきますが、冗長なところ、また逆に言葉足らずなところもあるかと思います。その点ご了承ください。
証明 α1,α2,⋯,αrα1,α2,⋯,αr を BB 上線型独立な EE の要素とし、γ1,γ2,⋯,γsγ1,γ2,⋯,γs を KK 上線形独立な BB の要素とする。すると i=1,2,⋯,si=1,2,⋯,s ; j=1,2,⋯,rj=1,2,⋯,r としたときの積 γiαj は K 上線形独立な E の要素となる。その理由をみるために ∑aijγiαj=0 としてみよう。すると ∑j(∑iaijγi)αj は B からの係数をもつ αj の線形和であり、 αj は B 上線形独立であるから、 ∑aijγi=0 が任意の j についてなりたつ。ところが γi は K 上線形独立であるから、すべての i,j について aij=0 がわかる。いま証明したいことは、(E/K)=(B/K)(E/B) 、つまり《 E の K 上の拡大次数》は、《 B の K 上の拡大次数》と《 E の B 上の拡大次数》の積になるということです。拡大次数はベクトル空間とみなしたときの次元であり、次元は線型独立の要素数であるため、《 B 上線形独立な E の要素》を α1,α2,⋯,αr とひとまずおこうということです。同様に γ1,γ2,⋯,γs を《 K 上線形独立な B の要素》としています。すると αj と γi の積 γiαj が K 上線形独立な E の要素となる、というのが前半部分で、後半はその理由です。
γiαj が K 上線形独立な E の要素となることを確認するために、 ∑aijγiαj=0 という方程式を考えます。∑ に慣れていないので、∑aijγiαj を明示的に書くと次のようになります(というか、証明の内容を読むとこうなるだろう、と書いています)。
∑aijγiαj=∑j(∑iaijγi)αj=r∑j=1(s∑i=1aijγi)αj=(s∑i=1ai1γi)α1+(s∑i=1ai2γi)α2+⋯+(s∑i=1airγi)αr
いま ∑aijγiαj=0 を考えていますので、(s∑i=1ai1γi)α1+(s∑i=1ai2γi)α2+⋯+(s∑i=1airγi)αr=0
です。α1,α2,⋯,αr は B 上線型独立な E の要素ですので、それぞれの係数 ∑aijγi について、 ∑aijγi=0 が任意の j でなりたちます。さらに、
s∑i=1aijγi=a1jγ1+a2jγ2+⋯+asjγs=0
で、γ1,γ2,⋯,γs は K 上線形独立な B の要素ですので、それぞれの係数 aij について、aij=0 となることがわかります。すると、最初の式 ∑aijγiαj=0 は、 ∑aij(γiαj)=0 のように考えると、γiαj のすべての係数について 0 ということになり、γiαj は K 上線形独立な E の要素となります。
γiαj が K 上線形独立な E の要素となることがわかったところで、次にいきましょう。
さて K 上線形独立な γiαj が rs 個あるので、任意の r≦(E/B) と 任意の s≦(B/K) に対して次数 (E/K)≧rs であることが示されたことになる。よって拡大次数が無限大ということは、次元が無限大、つまり線形独立な要素が無限にあるということになります。もし(B/K) か (E/B) が無限大ならば、 K 上線形独立な γiαj も無限にあるということになり、(E/K)>(B/K)(E/B) はなりたたず、(E/K)=(B/K)(E/B) となります。
(E/K)≧(B/K)(E/B)ここで右辺の2数のうちの1つが無限大ならば、これで定理が示されたことになる。
最後、 (E/B) と (B/K) がどちらも有限である場合を確認して証明終了です。
(E/B) と (B/K) がいずれも有限で、たとえば r と s であるときは、αj と γi をそれぞれベクトル空間 E と B の生成系にとる。このとき K 上の線形独立な γiαj が E の K 上の1つの生成系であることを示せばよい。まず、E の任意の要素 α は B からの係数を用いて αj の線形和に表わされる。よって α=∑βjαj となる。さらに B の要素 βj は K からの係数を用いて γi で線形に表わされる。すなわち(E/B) と (B/K) がそれぞれ r と s とすると、ベクトル空間 E と B の次元は r,s となり、 αj と γi はベクトル空間 E と B の生成系となります。このとき K 上の線形独立な γiαj が E の K 上の1つの生成系であれば、K 上のベクトル空間 E の次元は rs となり、 (E/K)=(B/K)(E/B) がなりたちます。
βj=∑aijγi,j=1,2,⋯,rとなる。よって α=∑aijγiαj であり、 γiαj は E の K 上の生成系であることがわかる。
(証明終り)
0 件のコメント:
コメントを投稿