代数学総合スレッド Part2

1 名前：１３２人目の素数さん mailto:sage [03/02/21 07:18] 代数に関する話題全般のスレッドです。 宿題の丸投げは止めましょう。 前スレ 代数学総合スレッド science.2ch.net/test/read.cgi/math/1011536232/l50 730 名前：１３２人目の素数さん [04/07/01 18:17] 代数的整数論の本というと、通常代数体の全整数環しか扱わない物が多いが、 ザギヤの整数論入門はその部分環(整閉でない)も扱っている。 これについて、もっと詳しく書いた本など知らないか？ 731 名前：１３２人目の素数さん mailto:sage [04/07/01 20:01] >>730 東大数学教室セミナリーノートの多元環論だか ゼータ関数だかの本に割と詳しく載ってるよ。 732 名前：１３２人目の素数さん [04/07/01 20:46] >>731 ＞東大数学教室セミナリーノートの多元環論 って、あの印刷の薄いヤツか？ ゼータ関数の本では知らない。 733 名前：１３２人目の素数さん [04/07/01 21:11] このスレッドどんなスレッド？ 非可換環の話題がないし、 ホップ代数・量子群・無限群・微分ガロア理論等々の話題もない。DGA も。 整数論と代数幾何のスレみたい。 734 名前：１３２人目の素数さん mailto:sage [04/07/01 21:17] 少なくとも、代数に関する全ての話題を必死になって網羅するのが 目的のスレッドではないはずだ。 735 名前：１３２人目の素数さん [04/07/03 18:34] 必死になって網羅したい 736 名前：１３２人目の素数さん mailto:sage [04/07/03 19:57] スレ立てるまでもない○○の話題を扱うのが○○総合スレという奴ですよ 737 名前：１３２人目の素数さん [04/07/04 03:17] >>736 では。 マイケル・アルチンの奥さんの名前がナイチンゲール 738 名前：１３２人目の素数さん [04/07/04 20:12] 環Ｒが部分環Ｓ上整であるときＰがＳの素イデアル⇒Ｐの上にあるようなＲの素イデアルは必ず存在する。 の証明がわかりません。できれば詳しく教えてください。 739 名前：１３２人目の素数さん [04/07/04 20:45] >>738 どこがわからないの？ 740 名前：１３２人目の素数さん [04/07/05 10:44] >>738 証明が分らないのか。真偽が分らないのか？ 741 名前：１３２人目の素数さん [04/07/05 12:14] >>738 DS 1737．代数学の定理の証明について 名前：ゆう 日付：2004年7月4日(日) 16時53分 環Ｒが部分環Ｓ上整であるときＰがＳの素イデアル⇒Ｐの上にあるようなＲの素イデアルは必ず存在する。 の証明がわかりません。できれば詳しく教えてください。 (大学２年) 742 名前：１３２人目の素数さん [04/07/05 12:18] test 743 名前：１３２人目の素数さん [04/07/05 19:16] >>582 ＞集合の濃度なんて数学にはあまり役にたたない。 ＞深く考える必要ないよ。スルーしたほうがいい。 大いに関係がある。高々可算な可換環上の加群の圏の導来圏では 表現定理が成立するが、可算条件をはずすと成立しない。 Brown-Adams 型の表現定理は最近の代数幾何に有効に用いられている。 744 名前：１３２人目の素数さん mailto:sage [04/07/05 19:29] >>743 ふ〜む、なるほど。面白そうな結果だね。 Mordell-Lang予想がmodel theoryから証明されたようなことも あったし、先入観はイクナイね。 745 名前：582 [04/07/05 19:41] >>743 そりゃ可算で成り立つが非可算で成り立たない現象なんて いくらでもあるだろう。俺(>>582)はそういうことを問題に しているわけではない。集合論における濃度の理論に 深入りしても得るところが少ないと言ってるだけ。 得るところが皆無とは言ってない。 746 名前：１３２人目の素数さん [04/07/05 19:56] >>754 深入りする必要はないが常識ぐらい知っとけ。 747 名前：１３２人目の素数さん mailto:sage [04/07/05 19:56] ＞結局、基礎論に行くことになって、 ＞本来の数学とはあまり縁がなくなるんだ って>>585で言ってるけど、>>744でも言ったようにMordell-Lang予想 っていう、純粋な代数幾何の問題がmodel theoryという基礎論の テクニックを使って証明されるというセンセーショナルな出来事があった。 人によっていろいろな考え方があると思うが、おれは細かいことでも 気になることがあったら徹底的に考え、調べるべきだと思う。 集合論だから、基礎論だから深入りせずにスルーしようという態度では 限られたものの見方しかできない。 748 名前：１３２人目の素数さん [04/07/05 19:59] Ax-Kochen の結果もモデル理論を使っている。 749 名前：747 mailto:sage [04/07/05 20:09] せっかくだから文献挙げとくね。 LNM1696, Bouscaren(Ed.), Model Theory and Algebraic Geometry, Springer 750 名前：１３２人目の素数さん [04/07/05 20:21] >>748 ついでに Ax - Kochen の定理も。 これは p 進整数環の m 元 n 次同時形式は、m ＞ n^2 の時、必ず自明でない零点を有するだろうという予想を否定的に解いた物(ここまでは他の人がやった)。しかも例外的な素数 p は有限個なる事までいった。 Serre の数論講義に書いてある。 751 名前：１３２人目の素数さん [04/07/05 20:23] >>745 自分が興味がない物は知ろうともしないし知りたくもないという典型。 752 名前：１３２人目の素数さん [04/07/05 21:10] >>747-748 そこらへんの結果にモデル理論はどの位本質的に働いてるの？ また、Mordell-Lang予想の方は、（モデル理論的でない）代数体上の証明が、 「関数体上の証明＋モデル理論」 という形に簡略化されたと聞いているけど、それは本当に「簡略化」なの？ 質問のニュアンス、分かってくれるかな？ 753 名前：582 [04/07/05 21:23] >>746 誰も常識を知らなくていいなんて言ってないだろ。 754 名前：582 [04/07/05 21:31] model theoryは基礎論というより圏論に近いんじゃないか？ それはともかく、濃度の理論を突き詰めたいなら そうすればいい。別に止めはしない。俺は真っ平御免だがｗ 755 名前：１３２人目の素数さん mailto:sage [04/07/05 21:34] >>752 ＞そこらへんの結果にモデル理論はどの位本質的に働いてるの？ 難しい質問だなー(；´Д`) 同じような数学的枠組みで働いているって感じかな？ ただ体裁をととのえただけってのとは違うよ。 756 名前：１３２人目の素数さん mailto:sage [04/07/05 21:37] >>754 ＞model theoryは基礎論というより圏論に近いんじゃないか？ ああそうだね。確かに感覚的にはそんな印象がある。 それだけの見識を持ってるのに・・・ まー人それぞれだね。みんなが同じことをやるのは不毛だからね。 757 名前：１３２人目の素数さん [04/07/05 21:39] >>751 それがまずいか？ 758 名前：１３２人目の素数さん mailto:sage [04/07/05 23:38] >>754 > model theoryは基礎論というより圏論に近いんじゃないか？ model theory を代数に応用するときに、無限個のものを有限個に落とす議論が 頻繁に出てくるけれど、それは logic の基本定理である完全性定理。 Mordell-Lang 予想への応用が可能になった背景には、与えられた理論のモデルの 分類にかかわる膨大な仕事があるわけで、その端緒となったのが「与えられた理論 が、ある非可算濃度においてモデルが一個しかないならば、任意の非可算濃度にお いてモデルが一個しかない」という Morley の定理。 759 名前：１３２人目の素数さん [04/07/06 07:42] model theoryは基礎論から出てきたものなのか？ 760 名前：582 [04/07/06 07:52] 仮に基礎論のある理論が代数幾何に応用されたとしても、 代数幾何の研究をする前に基礎論を勉強をしたほうがいいと いうことにはならない。それは迂遠すぎる。 俺は基礎論を否定しているわけではない。基礎論には 価値があるだろうし、やりたい人はやればいい。 ただ、ここは代数のスレだということを忘れないように。 761 名前：１３２人目の素数さん mailto:sage [04/07/06 09:36] >>582は例のｵｻｰﾝなのか？ 762 名前：１３２人目の素数さん [04/07/06 19:19] 小平邦彦は forcing を勉強したが良く理解出来なかったと本に書いていた。 しかし、 infinite forcing は多くの場面で重要。 763 名前：１３２人目の素数さん [04/07/06 19:44] 広辞苑の第五版をもっている人は「小平邦彦」を引いてみてください。 「戦後の頭脳流出第一号」なんていうチョット否定的な（？）記述があります。 764 名前：１３２人目の素数さん [04/07/06 21:58] >>761 通りすがりだけど、２ｃｈで誰が誰かなんてどうでもいいだろ。 くだらねえ。 765 名前：１３２人目の素数さん [04/07/06 22:02] >>764 お前のレスが寒すぎ・・・ 766 名前：１３２人目の素数さん mailto:sage [04/07/06 22:30] ＞763 勿体ない流出と騒がれたほど優秀だった、と云うことなんだけど。 その騒ぎの裏には学者の待遇改善要求が在った。 当時の学界環境は、才能に活力を与えるものが不十分だったから流出したんでしょう。 一時的に招かれて行ってみたら、愉快な仲間がいっぱいできて帰るのが遅くなった。 767 名前：１３２人目の素数さん [04/07/06 22:36] >>765 どう寒いのか説明してみろ。 768 名前：１３２人目の素数さん mailto:sage [04/07/06 22:57] >>767 はじめてペラチヲしてもらった時に全身を走るゾクッとした、あの寒気みたいな感じ 769 名前：１３２人目の素数さん [04/07/06 23:11] >>768 もういいからレスすんな。オナニーでもしてろ。 770 名前：１３２人目の素数さん [04/07/06 23:12] >>767は２ｃｈ初心者　雰囲気を理解していない者のレスって初々しくていいね 771 名前：１３２人目の素数さん mailto:sage [04/07/07 00:04] >>769 通りすがりのｵｻｰﾝ、こんばんわ。 772 名前：１３２人目の素数さん mailto:sage [04/07/07 08:44] >>760 なぜ代数幾何の専門家ではない者が大きな未解決問題を解くことができたのか、 そのあたりの分析をしてもらえますか。 773 名前：１３２人目の素数さん mailto:sage [04/07/07 09:04] できる人はできる。 できない人はできない。 774 名前：１３２人目の素数さん mailto:sage [04/07/07 09:56] >>760 ＞仮に基礎論のある理論が代数幾何に応用されたとしても、 ＞代数幾何の研究をする前に基礎論を勉強をしたほうがいいと ＞いうことにはならない 基礎論を勉強した方がいい、ではなく、基礎論だからって避けない方がいい、 って言ってるんだと思います。>>547-578は。 775 名前：１３２人目の素数さん mailto:sage [04/07/07 09:59] レス番間違えた(´･ω･`) >>747-748ですた。 776 名前：１３２人目の素数さん mailto:sage [04/07/20 04:12] そういやモデル理論をつかて代数幾何の問題とけたよ〜みたいなことかいてある 本本屋にならんでた。あれなんてタイトルだっけ？買う気にはならなかったんだけど 興味でてきた。 777 名前：１３２人目の素数さん [04/07/20 04:12] 興味あげ 778 名前：１３２人目の素数さん [04/07/21 17:14] 少し古いが Robinson の Model Theory and Algebra が 内容が多岐にわたり面白い。 779 名前：１３２人目の素数さん [04/07/21 21:14] >>774 しょうがねえなあ。代数幾何だけで手一杯だろ、普通は。 避けるもなにも、そんなものやってるヒマはないって。 小平みたいに引退してからなら別だけど。 780 名前：１３２人目の素数さん [04/07/21 22:09] >>779 何を勉強するかよりも価値ある結果がでるかどうかだと思う。 強い信念を持つなら挑戦するのもいいだろ。 781 名前：１３２人目の素数さん [04/07/22 07:22] >>780 だから、基礎論をやりたい奴はやりなさいと言ってるだろ。 基礎論が学問として駄目だなんてこれぽっちも言ってない。 782 名前：１３２人目の素数さん mailto:sage [04/07/22 09:41] >>779 ＞しょうがねえなあ。代数幾何だけで手一杯だろ、普通は。 趣味で数学を勉強している方だったんですね。 783 名前：１３２人目の素数さん mailto:sage [04/07/22 09:50] 趣味じゃない人は全ての分野を完璧に極めています。 784 名前：１３２人目の素数さん [04/07/22 12:55] >>783完璧とは言えないまでも精通している。 そこが数学者と数学屋の違いだな。 785 名前：１３２人目の素数さん mailto:sage [04/07/22 13:40] 精通していない分野があると数学屋にはなれない。 786 名前：１３２人目の素数さん [04/07/22 21:32] >>782 駄目だ、こりゃ。 787 名前：１３２人目の素数さん mailto:sage [04/07/22 22:58] 理科大生達の喧嘩ですか？ 788 名前：１３２人目の素数さん [04/07/25 10:35] >>778 Model Theory and Metamathematics of Algebra 789 名前：１３２人目の素数さん [04/07/26 23:28] 理科大性ではありません。 790 名前：１３２人目の素数さん [04/08/03 13:23] 128 791 名前：１３２人目の素数さん [04/08/03 14:19] バカ大生です。 792 名前：１３２人目の素数さん mailto:sage [04/08/03 15:23] 今日から仙台で代数学シンポジウムが開催。 793 名前：１３２人目の素数さん [04/08/03 15:39] >>792 シンポジウム・研究会のスレへ 794 名前：１３２人目の素数さん [04/08/03 19:49] 代数学総合スレッド cheese.2ch.net/math/kako/1011/10115/1011536232.html 795 名前：１３２人目の素数さん [04/08/12 10:27] 818 796 名前：１３２人目の素数さん [04/08/16 13:16] ここも馬鹿と馬鹿のやじりあい。 A.Robinson でも嫁 797 名前：１３２人目の素数さん [04/08/17 17:17] ああ、 進んでない。 798 名前：１３２人目の素数さん [04/08/19 12:40] FeaturesOfTheGod ◆ は、馬鹿の見本 FeaturesOfTheGod ◆ は、馬鹿の見本 FeaturesOfTheGod ◆ は、馬鹿の見本 FeaturesOfTheGod ◆ は、馬鹿の見本 799 名前：１３２人目の素数さん [04/08/21 22:22] なんか言えよ FeaturesOfTheGod 800 名前：UltraMagic ◆NzF73DOPHc [04/08/21 22:26] Re:>799 三次元ユークリッド空間内の3次曲面の分類をするか、 私に美女12人を十五分間貸してくれ。 801 名前：１３２人目の素数さん [04/08/21 22:28] 北朝鮮の美女軍団が無いと出来ないのか? 802 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/08/21 22:35] Re:>801 いや、なんか言えよとかいわれるとさあ…。 803 名前：１３２人目の素数さん [04/08/21 23:53] お前も北か 804 名前：１３２人目の素数さん [04/08/28 18:35] 784 805 名前：あげ [04/08/30 20:51] stabilizer って日本語で何て言うんですか？ orbit は「軌道」だそうですが。 806 名前：１３２人目の素数さん mailto:sage [04/08/30 21:18] 安定板 807 名前：１３２人目の素数さん [04/08/30 21:21] >>805 安定化・・、固定（化）・・ 808 名前：１３２人目の素数さん [04/09/05 17:36] >>805 もめ事解決屋 809 名前：１３２人目の素数さん [04/09/06 18:45] >>800 15分で12発やるのか？？？ 810 名前：１３２人目の素数さん [04/09/08 22:20] 答えろ UltraMagic ◆NzF73DOPHc 811 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/09/08 22:33] Re:>810 十五分で何ができよう？ 812 名前：１３２人目の素数さん [04/09/08 22:34] Q様はシスプリかセングラにはまった痛い過去がある。 間違いない。 813 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/09/08 22:40] Re:>812 お前は何を言っているのか？ 814 名前：１３２人目の素数さん mailto:sage [04/09/08 23:16] FeaturesOfTheGod ◆UdoWOLrsDMウザイよ。消えてくれ。 815 名前：１３２人目の素数さん [04/09/09 13:10] FeaturesOfTheGod ◆ が出てくると全てｱﾌｫスレになるな 816 名前：１３２人目の素数さん [04/09/15 13:02:38] 468 817 名前：１３２人目の素数さん mailto:sage [04/09/15 13:33:26] FeaturesOfTheGod ◆ が出てくると全てｱﾌｫスレになるな 818 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/09/15 15:44:29] Re:>817 アフォスレにしてるのはお前だ。 819 名前：１３２人目の素数さん mailto:sage [04/09/16 03:41:17] KingOfKingMathematician ◆H06dC8bpwA はｳｻﾞｲので削除 820 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/09/16 08:21:43] Re:>819 粘着必死だな。 821 名前：１３２人目の素数さん mailto:sage [04/09/19 18:19:55] あげるなよ 822 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/09/19 20:12:22] Re:>821 今頃文句言うなんて、何のつもりだ？ 823 名前：１３２人目の素数さん mailto:sage [04/09/19 21:42:40] Kingはいつもア 824 名前：１３２人目の素数さん [04/09/25 13:03:23] 413 825 名前：１３２人目の素数さん [04/09/25 13:53:34] ﾌｫ 826 名前：１３２人目の素数さん [04/09/30 07:18:16] 336 827 名前：１３２人目の素数さん [04/10/05 17:55:29] 410 828 名前：１３２人目の素数さん [04/10/11 01:23:06] 367 829 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 830 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/10/11 14:37:49] Re:>829 捏造すんな。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef