現代数学の系譜11 ガロア理論を読む14 [転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む14 [転載禁止]©2ch.net (562ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

450: 現代数学の系譜11 ガロア理論を読む [] 2015/08/08(土) 10:51:05.08 ID:JPtSuWhm

>>440-441

http://www.amazon.co.jp/dp/4535786755
ユニークな好著 馬頭観音 投稿日 2013/1/3

私は多変数複素解析を研究しているが、１変数の代数幾何（コンパクトリーマン面の理論）は大体であるが知っているし、大いに使っている。
だからこの本を読んで事始めをしたのではなく、独学でやった。

代数幾何といえば、まず物は（多変数）多項式で（簡単のためと私はそれ以外考えないということで、係数は複素数体、変数は複素変数にしておく）、
その共通ゼロ点で表される代数的集合（Ａ）、その上の（多項式または有理関数）環（Ｂ）、（Ａ）と（Ａ’）の間の多項式（準）同型写像（Ｃ）などを考え、（Ａ）（Ｂ）（Ｃ）の関係を述べることが大体のこの本でいう事始めになっている。

私は射影空間を使えるようになるには大分年数がかかった。アホだからですが。

この本で主として使う道具は私などの学生時代（４５年前）は３回生で習う抽象代数学の環、イデアル、剰余環、体、（準）同型写像などである。
特にイデアルが重要な役割を果たす。私は講義は初めの数回しか出ていないが、やたらと抽象的で、具体例でいうと整数環の素イデアルが何者かすら分からなかった。
（それはアホだからしょうがないかも。昔はそういうのは自分で考えろ、ということで教えない先生も多かったように思う。）
要するに１個の素数で生成される（単項）イデアルであり、代数的集合でゼロになる多項式はイデアルを成すが、それが素イデアルということは、代数的集合が既約（幾つかの成分に分解しない。
素数も幾つかの素因数に分解しないように）ということである。この本のようにそう言われれば良く分かるが、講義でもちょっとぐらいは触れてしかるべきと今は思うが、私が講義に出なくなってから教えていたのかも。
しかし代数学とは本当に抽象的なもんだなぁ?、イメージがわかない、わからん！！と間違った固定観念を持ってしまった。
　　
ということで私は研究の息抜きに６日でさっと読んだが、この本が読者として想定している、抽象代数学を勉強したがイマイチピンと来ない、代数幾何を知りたいがどうも取っつきにくい学生さんにはユニークな好著と思うので、一読をおすすめする。

http://wc2014.5ch.net/test/read.cgi/math/1434753250/450

454: 現代数学の系譜11 ガロア理論を読む [] 2015/08/08(土) 11:19:19.18 ID:JPtSuWhm

検索でヒットしたので
http://www.amazon.co.jp/gp/product/4163902805?redirect=true&ref_=s9_newr_co_d76_g14_i6
数学の大統一に挑む 単行本 ? 2015/7/13 エドワード・フレンケル (著), 青木 薫 (翻訳)

商品の説明

xのn乗 + yのn乗 = zのn乗

上の方程式でnが3以上の自然数の場合、これを満たす解はない。
私はこれについての真に驚くべき証明を知っているが、ここには余白が少なすぎて記せない。

17世紀の学者フェルマーが書き残したこの一見簡単そうな「フェルマーの予想」を証明するために360年にわたって様々な数学者が苦悩した。

360年後にイギリスのワイルズがこれを証明するが、その証明の方法は、谷村・志村予想というまったく別の数学の予想を証明すれば、フェルマーの最終定理を証明することになるというものだった。

私たちのなじみの深いいわゆる方程式や幾何学とはまったく別の数学が数学の世界にはあり、それは、「ブレード群」「調和解析」「ガロア群」「リーマン面」「量子物理学」などそれぞれ別の体系を樹立している。
しかし、「モジュラー」という奇妙な数学の一予想を証明することが、「フェルマーの予想」を証明することになるように、異なる数学の間の架け橋を見つけようとする一群の数学者がいた。

それがフランスの数学者によって始められたラングランス・プログラムである。

この本は、80年代から今日まで、このラングランス・プログラムをひっぱってきたロシア生まれの数学者が、その美しい数学の架け橋を、とびきり魅力的な語り口で自分の人生の物語と重ね合わせながら、書いたノンフィクションである。

内容（「BOOK」データベースより）
憧れのモスクワ大学の力学数学部の試験に全問正解したにもかかわらず父親がユダヤ人であるために不合格。
それでも少年は諦めず、数学を学び続けた。「ブレイド群」「リーマン面」「ガロア群」「カッツ・ムーディー代数」「層」「圏」…、まったく違ってみえる様々な数学の領域。
しかし、そこには不思議なつながりがあった。やがて少年は数学者として、異なる数学の領域に架け橋をかける「ラングランズ・プログラム」に参加。それを量子物理学にまで拡張することに挑戦する。
ソ連に生まれた数学者の自伝がそのまま、数学の壮大なプロジェクトを叙述する。

http://wc2014.5ch.net/test/read.cgi/math/1434753250/454

465: 現代数学の系譜11 ガロア理論を読む [] 2015/08/08(土) 18:58:37.93 ID:JPtSuWhm

>>464 適当に抜粋
2.8 ガロアの定理２（方程式の可解性）

定義
K を体, f(X) = a0X^n + a1X^n?1 + ・ ・ ・ + an (a0 ≠ 0) をK 係数の多項式とし, Q(a1/a0, ・ ・ ・ , an/a0) 上のf(X) の最小分解体をL とする.
L がQ(a1/a0, ・ ・ ・ , an/a0) 上べき根によって構成されるとき, 方程式f(X) = 0はべき根によって解ける, または代数的に解ける, という.

定義
f(X) = a0X^n + a1X^n?1 + ・ ・ ・ + an をK = Q(a1, ・ ・ ・ , an) 係数の多項式とし, L をK 上のf(X) の最小分解体とする.
このとき, Gal(L/K) を方程式f(X) = 0 のガロア群, または, 多項式f(X) のガロア群という.

補題35 K を体, f(X) ∈ K[X] とする. M をK の拡大体とするとき, GalM(f)はGalK(f) の部分群に同型である.
証明
L をf のK 上の最小分解体とする. L の分解をf(X) = a(X ?α1) ・ ・ ・ (X ? αn) とすると, L = K(α1, ・ ・ ・ , αn) である.
したがってLM =M(α1, ・ ・ ・ , αn) である. これはLM がf(X) のM 上の最小分解体であることを示す.
すなわちLM はM のガロア拡大である. よって, Gal(LM/M) = GalM(f).
ガロア群G = Gal(LM/K) = GalM(f) の元のL への制限を考えることにより, これはもちろんK の元を固定するので,
準同型写像φ : G → Gal(LM/M) ∋σ → σ|L ∈ Gal(L/K) が得られる.

GalM(f) = Gal(LM/K) ≡ H = Gal(L/L ∩M) ⊂ GalK(f) となる. （証明終）

補題36 K を体, L をK の拡大体, L1, L2 をL とK の中間体とする. L1, L2がK の有限次アーベル拡大であれば, L1L2 もK の有限次アーベル拡大である.
証明
L1L2 がK のガロア拡大であることは, 補題35 の証明の中で述べた.

定理37 （ガロアの定理２） K を体とし, f(X) ∈ K[X] とする.
方程式f(X) = 0 が代数的に解ける. ⇔ f(X) のガロア群が可解群である.
証明
f(X) = X^n + c1X^n?1 + ・ ・ ・ + cn = (X ? α1) ・ ・ ・ (X ? αn) とし,
Q(c1, ・ ・ ・ , cn) を改めてK とおき, L = K(α1, ・ ・ ・ , αn) とおくと,
f(X) = 0 が代数的に解けるとは, L がK 上べき根によって構成されることで,
このとき方程式f(X) のガロア群Gal(L/K) について, ’L がK 上べき根によって構成される. ⇔Gal(L/K) が可解群である.’

http://wc2014.5ch.net/test/read.cgi/math/1434753250/465

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.035s