- ベストアンサー
有限体の元の追加した体もある条件で有限体の証明
- みんなの回答 (7)
- 専門家の回答
質問者が選んだベストアンサー
完全な勘違いがあったのでもう一度書きます。 体Kの上の代数拡大体の元をaとし aがKに含まれずaのK係数最小多項式をf(x)でi次とすると K(a)={c(0)+c(1)・a+・・・+c(i-1)・a^(i-1))|c(0),・・・,c(i-1)∈K} です。 というのはmがi以上だとx^mをf(x)で割った余りをg(x)(i次未満)としたときa^m=g(a)(i次未満)となることと、 h(x)=c(0)+c(1)・x+・・・+c(i-1)・x^(i-1)としたとき h(x)=0(すなわちh(a)=0)でなければ h(x)とf(x)は互いに素だから (f(x)が約数を持てば最小多項式の仮定に反する。) α(x)・h(x)+β(x)・f(x)=1となるK係数多項式α(x)とβ(x)が存在するので α(a)・h(a)+β(a)・f(a)=α(a)・h(a)=1となり c(0)+c(1)・a+・・・+c(i-1)・a^(i-1))の逆元はα(a)となるからです。 あとはやはり数学的帰納法でしょうね?
その他の回答 (6)
- jmh
- ベストアンサー率23% (71/304)
> aは有限体Kの代数拡大体の元であるのに… > 説明不足でした。#5は「有限体の元の追加した体もある条件で有限体の証明」「Kが有限体ならK(a)も有限体がいえれば…」へのアドバイスでした。
お礼
jmhさん参加ご苦労様でした。
- keyguy
- ベストアンサー率28% (135/469)
aが超越的だと: aは有限体Kの代数拡大体の元であるのに超越数で有り得るのでしょうか?
- jmh
- ベストアンサー率23% (71/304)
ある条件…。 aが超越的だとK(a)は無限ですよね。だから「aはK上アレ」が必要。逆にアレなら、aの冪のK線型結合(←変な言い方)は有限個しかないと言えませんか。
- keyguy
- ベストアンサー率28% (135/469)
書き漏らしがありました。 単純に K(a(1),・・・,a(n))={c(0)+c(1)・a(1)+・・・+c(n)・a(n)|c(0),・・・,c(n)∈K} です。 Kの位数≦K(a(1),・・・,a(n))の位数≦Kの位数^(n+1) です。 霧がないので間違いがあってももう直さないので悪しからず。
- keyguy
- ベストアンサー率28% (135/469)
失礼しました。 単純に K(a(1),・・・,a(n))={c(1)・a(1)+・・・+c(n)・a(n)|c(1),・・・,c(n)∈K} です。 Kの位数≦K(a(1),・・・,a(n))の位数≦Kの位数^n です。 1つづつなどといったまどろっこしい事をしてもいいが話は単純です。
- keyguy
- ベストアンサー率28% (135/469)
a(1)がKに含まれないならば K(a(1))={α・a(1)+β|α∈K,β∈K} です。 あとはKをK(a(1),・・・,a(n))へ1つづつ体拡大していく数学的帰納法。
お礼
どうもありがとうございました。 なお記号の意味ですが、a(1)は a1の1が小さい添字を意味します。
関連するQ&A
- 代数学(体論)の問題なのですが。
(1)EがKの有限拡大ならば、EはKの代数拡大である。 (2)EがKの拡大体で、a1,a2,・・・an∈E がK上で代数的ならば、 K(a1,a2,・・・an)はKの有限拡大である。 (3) (2)よりK(a1,a2,・・・an)=K[a1,a2,・・・an]である。 上の三つの証明なんですけど、自分ではなんとなく理解できているんですけど、人に説明するときにうまくできそうにありません。 証明過程なども教えていただければありがたいです。
- 締切済み
- 数学・算数
- ガロアの基本定理の前のところ:2
ガロアの基本定理の前のところ 以下は,永田「可換体論」の一部ですが、 定理2.7.3. ある可換体の部分体K、L.K’について、K⊆L∩K’とする。 (イ)略 (ロ)LがKの有限次分離的拡大体で、K’がKの正規拡大体であれば、K’(L)はK’の有限次分離的拡大体で、[K’(L):K’]=[L:(K’∩L)] 証明 (ロ)Lを生成する元aのK’∩L上の最少多項式をf(x)とし、f(x)の根をa1、------、ar(r=degf)とする。K’(a)=K’(L)、K’(L)はK’のガロア拡大である。 f(x)がK’上で Π(x-ai)を因子にもったとする。(a=a1、s≦r)。 i=1~s その係数c1、---、csをとる。ci∈K’. 他方ciは、a1、------、asの整式で表されるからK上分離的。 ゆえにK’に含まれるK’∩Lの有限次ガロア拡大体K'''でc1、- - -、csを含むものがある。 以下は省略しますが、上記のゆえに以下説明くださればありがたいのですが。
- ベストアンサー
- 数学・算数
- ガロアの基本定理の前のところ
以下は,永田「可換体論」の一部ですが、 定理2.7.3. ある可換体の部分体K、L.K’について、K⊆L∩K’とする。 (イ)略 (ロ)LがKの有限次分離的拡大体で、K’がKの正規拡大体であれば、K’(L)はK’の有限次分離的拡大体で、[K’(L):K’]=[L:(K’∩L)] 証明 (ロ)Lを生成する元aのK’∩L上の最少多項式をf(x)とし、f(x)の根をa1、------、ar(r=degf)とする。K’(a)=K’(L)、K’(L)はK’のガロア拡大である。 f(x)がK’上で Π(x-ai)を因子にもったとする。(a=a1、s≦r)。 i=1~s その係数c1、---、csをとる。ci∈K’. 他方ciは、a1、------、asの整式で表されるからK上分離的。#### ゆえにK’に含まれるK’∩Lの有限次ガロア拡大体K”でc1、---、csを含むものがある。 以下は省略しますが、上記の####部分についてなぜK上分離的か説明くださればありがたいのですが。
- ベストアンサー
- 数学・算数
- 代数 有限体の問題について
有限体GF(q)(q=p^n:素数べき)について f(x)^2=f(x^2) が成り立つことを示せ 証明 f(x)=a0+a1x+a2x^2+…+an-1x^n-1+x^n とおく f(x)^2={a0+a1x+a2x^2+…+an-1x^n-1+x^n}^2 =a0^2+a1^2 x^2+(a2)^2 (x^2)^2+…+(x^n)^2 (∵(a+b)^p=a^p+b^p ,a.bはGH(q)の元) 一方、 f(x^2)=a0+a1 x^2+a2 (x^2)^2+…+an-1 (x^2)^n-1+ (x^2)^n よって、f(x)^2=f(x^2)⇔ai=ai^2⇔aiはGH(p)の元 という証明なんですが、「ai=ai^2⇔aiはGH(p)の元」の理由がわかりません。 どんたか教えてくれませんか。できれば参考本もアドバイスもらえるとうれしいです。
- 締切済み
- 数学・算数
- 証明なんですが・・・
Σ(k=1 から n) nCk2^k=3^n-1を証明せよという問題なんですが・・・ 二項定理を使って頑張ってみたのですが、考えがいたらず証明できませんでした。 どなたかやり方だけでもいいので教えていただけると助かります。
- ベストアンサー
- 数学・算数
- カロア理論入門の定理3の証明(19ページ)
今日は! ガロア理論入門(寺田文彦 訳)の19ページの定理3について質問します。 ================================================= 定理3 体K上の要素のn個の組全体が作る行(あるいは列)ベクトル空間K^(n)は、K上の次元nの ベクトル空間である。 証明 n個の要素(いわゆる単位ベクトル) e1=(1,0,...,0) e1=(1,0,...,0) ........ e1=(1,0,...,0) は線形独立であり、K^(n)を生成する。いずれも(a1,a2,...an)=Σaieiからわかることである。 ================================================= Q1) 最後の『いずれも(a1,a2,...an)=Σaieiからわかることである』の意味が不明ですので 具体的に説明して頂けないでしょうか? Q2) この証明は、定理3の補足であり、証明ではないと思いますが、如何でしょうか? もし、証明ならば初心者にも理解し易い様に説明して頂けないでしょうか? 恐れ入りますが、どうか宜しくお願いします。
- ベストアンサー
- 数学・算数
- {9^(n+1)-8n-9}/64になる証明
{9^(n+1)-8n-9} (n=正の整数) という数字が64で割れることを二項定理を使って証明したいのですが、分かりません。 自分でやってみたところ、 (1+8)^n=…… ↓ 9^n-8n-1=64k ↓ 9^(n+1)-8n*9-9=64k*9 というところまで、できましたが次何すればいいのかわかりません。 回答お願いします。
- ベストアンサー
- 数学・算数
お礼
そうでした。こう展開してしまえば、少なくとも有限の場合/有限の場合で有限体となることはほとんど自明とわかります。 どうもありがとうございました