- 1 名前：１３２人目の素数さん mailto:sage [03/02/21 07:18]
- 代数に関する話題全般のスレッドです。
宿題の丸投げは止めましょう。
前スレ
代数学総合スレッド
science.2ch.net/test/read.cgi/math/1011536232/l50
- 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 捏造すんな。
- 831 名前：１３２人目の素数さん mailto:sage [04/10/11 15:53:09]
- >>829-830
自作自演するなよ
スカトロ板に帰れ！
- 832 名前：FeaturesOfTheGod ◆UdoWOLrsDM [04/10/11 17:33:09]
- Re:>831 お前連投規制も知らないのか？それにスカトロ板って何処だよ？
- 833 名前：１３２人目の素数さん [04/10/16 15:32:41]
- 742
- 834 名前：１３２人目の素数さん mailto:sage [04/10/16 15:35:39]
- >>832
スカトロ板・・・・・・・・・それはお前の頭の中にある。
- 835 名前：１３２人目の素数さん [04/10/19 04:36:30]
- キューバへ行け
- 836 名前：１３２人目の素数さん [04/10/24 16:22:55]
- 412
- 837 名前：１３２人目の素数さん mailto:sage [04/10/24 16:37:25]
- >>836
急場しのぎはよせ
- 838 名前：１３２人目の素数さん [04/10/25 19:59:45]
- ...,､ - ､∞
,､ ' ヾ 、;;;;;;; 丶,､ -､
／;;;;;;;;;;; οヽ ヽ;;;;＼＼:::::ゝ
∞ヽ/;;;;; i i ;;;; ヽ;;;;;;; __.ヽ ヽ::::ヽ
ヽ:::::l i.ο l;;; ﾄ ヽ ヽ .___..ヽο丶::ゝ
r:::::ｲ/ l:::.| i ヽ ＼ ＼/ﾉﾉﾊ;;; ヽ
l:/ /l l. l;;;;; i ヽ'"´__ヽ_ヽﾘ }. ', ',
'l. i ト l;;; ﾚ'__ '"i#::::iﾞ〉l^ヾ |.i. l
. l l lミ l ／r'++::ヽ 'n‐／.} / i l l ／￣￣￣￣￣￣￣
l l l.ヾlヽ ヾ:‐° , !'" ♭i i/ i＜ このスレ相変わらず
iﾊ l (.´ヽ _ .／ ◎ ,' ,' ' | 馬鹿ばかりだわねぇ・
|l. l ♭ ''丶 .. __ イ ∫ ＼＿＿＿＿＿＿＿
ヾ! ◎ l. //├ｧ ､
∫ ／ﾉ! ◆ / ｀ ‐- 、
◎ ／ ヾ_ ◎/ ≪≪ ,,;'' /:i
/King命;｀ ∬/ ,,;'''／:.:.i＼
というほど馬鹿じゃないわ。アホ
- 839 名前：１３２人目の素数さん [04/10/28 23:34:00]
- 射 精 加 群
- 840 名前：１３２人目の素数さん mailto:sage [04/10/28 23:34:23]
- ﾌﾝ！ﾊｯ！！ ｼｺｼｺ！！！ ﾄﾞﾋﾟｭｰｰｰｰ
- 841 名前：１３２人目の素数さん [04/10/29 00:12:00]
- 乳射加群
- 842 名前：１３２人目の素数さん [04/10/29 01:09:10]
- ﾋﾟｭﾋﾟｭｰｰｰｰｰｰｰｰ
- 843 名前：１３２人目の素数さん [04/10/29 01:15:40]
- あっちは大砲一門だけ
こっちのほうが上だな
- 844 名前：１３２人目の素数さん mailto:sage [04/10/31 00:19:50]
- 管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
（省略されました・・全てを読むにはここを押してください）
￣￣
- 845 名前：１３２人目の素数さん mailto:sage [04/11/05 04:59:49]
- 448
- 846 名前：１３２人目の素数さん [04/11/05 17:16:55]
- まだ900にもいかんじゃないか
- 847 名前：a [04/11/08 03:51:09]
- 質問です。
「整閉整域Ｒの積閉集合Ｓとしてその局所化Ｒ_sも整閉となる」
どうやって示したら良いでしょうか。
- 848 名前：１３２人目の素数さん [04/11/08 06:44:15]
- >>847
Rを整閉整域Ｒ、SをRの積閉集合Ｓ、KをR、Rsの商体とする。
r∈Kとモニック多項式P(x)∈Rs[x]でP(r)=0であるものがとれたと仮定する。
するとa∈SをaP∈R[x]となるようにとれる。つまりPのすべての係数がa倍すると
Rの元になるようにa∈Sをとれる。(Pの係数の分母にあらわれるSの元の積をaと
すればよい。) degP=nとしてQ(x)=a^nP(x/a)とおくと容易にQ(x)はR係数のモニック多項式
になる。実際Qの最高次の係数は1であり、ソレ以外はすべてPの係数にaを1回以上かけた
ものになる。さらにQ(ar)=0である。よってRが整閉整域であるのでar∈Rである。
a∈Sゆえr∈Rs。以上によりRsは整閉整域。
- 849 名前：a [04/11/08 13:15:12]
- >>848さん
私もそのように考えたのですが
最後の行で ＵＦＤでもないのに 「r∈Ｋ a∈Ｓ ar∈Ｒ ⇒ r∈Ｒｓ」
は言えないと思うのですが…
- 850 名前：１３２人目の素数さん [04/11/08 21:11:20]
- 言えると思いますが何か
- 851 名前：a [04/11/09 01:09:20]
- （ ´_ゝ`）ふーん
- 852 名前：１３２人目の素数さん mailto:sage [04/11/09 05:24:39]
- >>849
整域の局所化だぞ？R⊂Rs⊂K と見れるんだぞ？
局所化について勉強しなおしたら？
- 853 名前：１３２人目の素数さん [04/11/09 05:26:53]
- >>849
大体UFDという条件を持ち出す理由がわからん
UFDであるとして、どうやって示すんだ？
- 854 名前：a mailto:sage [04/11/09 09:51:44]
- スマソ、俺の思い違いでいた（笑）
- 855 名前：１３２人目の素数さん [04/11/11 18:15:17]
- （ ´_ゝ`）ふーん
- 856 名前：あるケミストさん mailto:age [04/11/12 17:59:28]
- vanderwerden もってたらartin のガロア理論買う必要なしかな？
|
 |
