- ベストアンサー
非可換有限体
非可換有限体の例を作ろうとして、最近苦労しているのですが、どなたかご存知ないですか？ 4元数体上F2を考えたら、 (1+i)^2=0 したがって、1=i（？） とかなっちゃうし・・・ 4元数体上F3を考えればよいのでしょうか？ 日本語の参考文献をご紹介ください。
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
例を自分で考えようとするのは良いですね。 でも有限体は全て可換であることは証明されていますよ。 証明は「体とガロア理論」のｐ８７にあります。
関連するQ&A
- 有限体の元の追加した体もある条件で有限体の証明
体Kの上の代数拡大体の元ａ(1)、---、ａ(n-1)、ａ（n）について、ａ(1)、---、ａ(n-1) がＫの上に分離的であれば，Ｋ（ａ(1)、---、ａ(n-1)、ａ（n））はＫの単純拡大であるという定理の証明にあたり、まずＫが有限体であれば，Ｋ（ａ(1)、---、ａ(n-1)、ａ（n））も有限体であるとありますがこれはどう説明できますか。Ｋが有限体ならＫ（ａ）も有限体がいえればいいと思いますが。
- ベストアンサー
- 数学・算数
- 有限体上で代数多様体の無限遠点の解の求め方
久賀道郎氏の数セミの記事を読んでいるのですが、有限体上で代数多様体の無限遠点での解の求め方を教えていただけませんでしょうか。例えば、 (1)x有限体F_7上で x＾4-20x^3+56x^2-44x-y^2=0 の無限遠点の解は2個と書いていますが、どう求めるのでしょうか？射影的にして、x＾4-20x^3z+56x^2z＾2-44xz^3-y^2z^2=0で、z＝0が無限遠点になると思うのですが、(x＝0,y=1),(x=0,y=2), など6個解があるように思うのですが？ (2)有限体F_7上で x＾3+y^3=2 の無限遠点の数は１個と書いていますが、2個のように思うにですが。 (3)有限体F_7上で y^2+y=x^3+x^2 点の数は１個と書いていますが,もっと有りそうに思うのですが。
- 締切済み
- 数学・算数
- 代数系、体について。
代数系の「体」についてです。有限体とかの体です。 体は演算「＋」と「＊」について可換である群を成し、積について分配律がなりたっているものです。 そこで、体Ｆについて、a∈Ｆで、和の零元を0_F とし、積の単位元を1_Fとします。 1. a*0_F = 0*a_F = 0_F を証明せよ。 2. (-a)*b = a*(-b) = -(a*b) を証明せよ。(-bはbの加法に関する逆元) という問題があるのですが、 ************* 自分なりの回答 ************* 1) a = a*1_F =a * (1_F + 0_F) = a + a*0_F a∈Ｆであるから、和の逆元a'が存在し、この両辺にこれを加算すると a + a' = a + a*0_F + a' 0 = a*0_F 2) a*(-b) + a*b = a(-b + b) =a * 0_F = 0_F (∵(1)) この両辺にa*bの加法の逆元-(a*b)を加算し、 a*(-b) + a*b -(a*b) = 0_F -(a*b) a*(-b) = -(a*b) (-a)*bについても同様 ******************************** こんな風な感じでいいのでしょうか？回答がないため、あっているのか心配です。
- ベストアンサー
- 数学・算数
- 代数 有限体の問題について
有限体GF(q)（q＝p^n:素数べき）について ｆ(ｘ)＾２＝ｆ(ｘ＾２) が成り立つことを示せ 証明 f(ｘ)＝a0+a1x+a2x^2+…+an-1x^n-1+x^n とおく ｆ(ｘ)＾２＝{a0+a1x+a2x^2+…+an-1x^n-1+x^n}＾２ ＝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)の元) 一方、 ｆ(ｘ^２)＝a0+a1 x^2+a2 (x^2)^2+…+an-1 (x^2)^n-1+ (x^2)^n よって、ｆ(ｘ)＾２＝ｆ(ｘ＾２)⇔ai＝ai^2⇔aiはGH(p)の元 という証明なんですが、「ai＝ai^2⇔aiはGH(p)の元」の理由がわかりません。 どんたか教えてくれませんか。できれば参考本もアドバイスもらえるとうれしいです。
- 締切済み
- 数学・算数
- 単に多様体の定義とは?
位相多様体や代数多様体や微分多様体など色々な多様体がありますが 単に多様体の定義は?と聞かれれば 「座標系に依存せず、四則演算の自由にできる代数的構造を備えた集合」だと思います。 Aが多様体 ⇔(def) ∃+,・:A×A→Aで (i) +について可換群をなす。 (ii) ∀a,b,c∈A,(ab)c=a(bc) (iii) a(b+c)=ab+ac,(b+c)a=ba+ca (iv) (単位元の存在)∃e∈A＼z;∀a∈A,ea=ae=a (zは零元) (v) (・に関しての逆元の存在)∀a∈A,∃b∈A;ab=ba=e (vi) (・に関して可換)∀a,b∈A,ab=ba で(i),(ii),…,(vi)のみだとただ単に可換体の定義ですよね。 この他に"座標系に依存せず"の条件を追加すればいいのですね。 "座標系に依存せず"の条件を上記(i),(ii),…,(vi)のように数式で表現するとどのようになりますでしょうか?
- 締切済み
- 数学・算数
- イギリスの自治体について
日本の市町村合併の動きについて、ゼミで研究しております。 現在、あるべき自治体規模を考えるにあたり、諸外国の現状分析をしているのですが、 特にイギリスの自治体について、参考文献が見つからず困っております。 イギリスについて詳しい方、教えてください。 または参考になりそうな文献やホームページをご存知の方は教えてください。 よろしくお願いいたします。
- ベストアンサー
- 経済学・経営学
- 代数を可換図式によって定義する方法について
体K上のベクトル空間Rに、何らかの積を定義して、Rが環になるときに、RをK上の代数と言うと思いますが、それらを可換図式を上手く使って定義する仕方がよくわかりません。 このように書くと、大変抽象的な質問になってしまいますが、具体的には、環Rと写像μ：Rテンソル積R→R と写像η：K→Rを持ってきたときに、一般的な可換図式を用いた定義の中で、 (1)テンソル積が何故出てくるのか？ (2)スカラー積における単位元の定義についても図式で説明されることがあるが、その部分がよくわからない。 (3)写像ηが何を意味しているのかよくわからない。(上では、きちんとηが定義されていないので、そもそもこれは質問になっていないのかもしれませんが。。) このような事柄について、簡単な解説・コメントなど、または、わかりやすく解説したHPなどがあれば、教えて頂ければ有り難いです。
- ベストアンサー
- 数学・算数
- ０は有限ですか？
こんばんは。 なんかこういうこと書いた本はきっとあると思うんですが、 そんなのも教えてもらいたくて質問させてください。 ただ残念ながら僕の理解程度は高校数学程度なので、易しい説明を探してます。でも、本でもネットでも、なかなかそれはありません。 ０．９９９・・・＝１，等の証明を見てて、思ったんですが、 0は数字でしょうか？ あるいは、0は、有限ですか？ もし、0が有限でないなら、0と無限は、有限でない物として、 同じカテゴリーに入りませんか？ もしそうなら、0は、ある極限として、無限と同じように定義されてるのでしょうか？ 自分の直観を、ズーと追跡してたんですが、どうもこの辺りで、訳が分からなくなります。 もし0が、実体のある数字なら、無限に小さいという極限と、有限の数字が同じ物、ということになり・・・。無限＝有限？ みたいな？ というよりそもそも何を聞きたいのか自分でピントが合ってないのですが、なんか上のようなことを書いてある物はあるでしょうか？ 無限小の定義や、何とか解析やら、見るのは見たのですが、・・・、ということで、学力の範囲を出ました。 といって自力で考えた範囲では、上のところが関の山、となっています。 とっても素人向けに、この辺りのを優し～く教えて欲しい、あるいは、優しい参考文献があれば教えて欲しいです。 あるいは背伸びすれば、大学一年で習うくらいの数学は理解できるかもしれないので、その範囲くらいまでで何かあれば・・ ちなみにブルーバックスの、無限関係の本はいくつか読んだのですが、ん～～、上の話に直接関係ある内容ではなかったです。 超準解析？ わかりません。これは死ぬまで理解できない気がしますが もしかしてもしかして、何とか解析、とやらを理解できないと、本当のところはわかりませんか？ ウィキペディアの上の説明のページを読んでたらえげつなく難しいのですが、はしょって結論だけ聞きたいというのはだめでしょうか？ 疑問はとてもシンプルなんですが・・・ ０．９９９・・・＝１、もそうですが、この手の話は論理的に証明というよりは、自分の直観を満足させられるか？ の問題のような気もしますが、わかりません。 この式の場合なら、極限＝一つの有限な数字、という等式ですし、この主張は、僕は直感的には理解できないですねー。困った・・ 何というか、０と、極限のイメージが、ごちゃごちゃになってる気もするのですが、どちらかというと、０の概念を中心に、イメージを組み立てたく考えてたのですが・・・orz
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。さっそく調べてみます。