（・∀・）ｶｶﾝｶﾝ!! 可換環論スレ ｶｶﾝｶﾝ!!（・∀・）
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2005/03/24(木) 10:43:18（・∀・）ｶｶﾝｶﾝ！
http://science2.2ch.net/test/read.cgi/math/1056550107/
0002１３２人目の素数さん
2005/03/24(木) 11:29:320003１３２人目の素数さん
2005/03/24(木) 20:24:080004１３２人目の素数さん
2005/03/24(木) 20:45:550005BlackLightOfStar ◆ifsBJ/KedU
2005/03/24(木) 21:21:000006１３２人目の素数さん
2005/03/24(木) 22:30:420007１３２人目の素数さん
2005/03/25(金) 00:09:11お元気なのかなぁ。
0008１３２人目の素数さん
2005/03/25(金) 11:42:53genki rashii..
0009１３２人目の素数さん
2005/03/25(金) 12:24:12どうもありがとう。
0010１３２人目の素数さん
2005/03/25(金) 21:02:420011１３２人目の素数さん
2005/03/25(金) 22:30:420012１３２人目の素数さん
2005/03/25(金) 22:32:330013１３２人目の素数さん
2005/03/25(金) 23:52:11いつになったら出版されるんでしょうね．
待ち遠しいのですが…．
0014未入学さん ◆mBqNt7eO8Q
2005/03/26(土) 01:06:370015１３２人目の素数さん
2005/03/26(土) 01:23:480016１３２人目の素数さん
2005/03/26(土) 09:52:37Shiro Goto, Hans Bjorn Foxby, Kei-ichi Watanabe,
Juergen Herzog, Lucho Avramov....
0017１３２人目の素数さん
2005/03/26(土) 09:55:490018１３２人目の素数さん
2005/03/26(土) 14:15:420019１３２人目の素数さん
2005/03/26(土) 14:49:08「赤シャツ。大きな字。大きな声」の某氏を入れてないところは
評価しよう。
0020１３２人目の素数さん
2005/03/27(日) 00:50:36>>18
そんなに怖いんだ…ってか，泣かされる位になると研究者になれる？
0021１３２人目の素数さん
2005/03/27(日) 15:06:21評価しよう。
Dare?
0022１３２人目の素数さん
2005/03/27(日) 18:06:51http://science3.2ch.net/test/read.cgi/math/1111320908/
0023１３２人目の素数さん
2005/03/28(月) 06:03:020024１３２人目の素数さん
2005/03/29(火) 23:39:16やっぱりもうとっくの昔に可換の時代は終わってしまったのかな
0025１３２人目の素数さん
2005/03/30(水) 10:29:32in mixed characteristic,
Hilbert-Kunz multiplicity.
0026１３２人目の素数さん
2005/03/30(水) 10:31:38Prob:Show that whether Hilbert-Kunz multiplicity is always rational, or not.
Prob:Show that the Rees algebra of a regular local ring of positive characteristic
is finitely generated.
0027１３２人目の素数さん
2005/03/30(水) 11:16:540028１３２人目の素数さん
2005/03/30(水) 12:47:580029１３２人目の素数さん
2005/03/30(水) 13:00:250030BlackLightOfStar ◆ifsBJ/KedU
2005/03/30(水) 13:21:340031１３２人目の素数さん
2005/03/30(水) 14:07:000032１３２人目の素数さん
2005/03/31(木) 12:11:26日比氏のことかと思われ。
（垢ポスにつく為の売名行為としておこなっていた、と
某研究者は言ってた）
0033１３２人目の素数さん
2005/03/31(木) 14:13:190034皆の衆もいいか。恥を忍べよ。
2005/03/31(木) 15:57:34＞「赤シャツ。大きな字。大きな声」
＞垢ポスにつく為の売名行為
ええ、そんな手もあったのかwww
で、日比って？こいつか？（顔がほしいなぁ）
http://www.dma.jim.osaka-u.ac.jp/kg-portal/aspI/RX0011D.asp?UNO=10235&page=&Flg=1
分野の選択もいかにもだな。
垢ポスのためには何でもするということか。
見上げたもんだ！！
皆の衆もいいか。
崩れたりするくらいなら、日々（＝日比）恥を忍べよ。
0035１３２人目の素数さん
2005/03/31(木) 16:16:00＞代数幾何スレのほうでやればいい
じゃまだろ。
0036１３２人目の素数さん
2005/03/31(木) 19:00:59オモロイ
0037１３２人目の素数さん
2005/03/31(木) 20:18:38>じゃまだろ。
確かにそっちでは難しすぎる話題かもな
0038１３２人目の素数さん
2005/03/31(木) 20:23:27恐れ入りますた。
0039１３２人目の素数さん
2005/03/31(木) 20:29:290040１３２人目の素数さん
2005/03/31(木) 20:29:52004138
2005/03/31(木) 20:44:43恐れ入ったのはこれら。
Big Cohen-Macaulay algebra, homological conjectures in mixed
characteristic, Hilbert-Kunz multiplicity.
Prob:Show that whether Hilbert-Kunz multiplicity is always rational,
or not.
Prob:Show that the Rees algebra of a regular local ring of positive
characteristic is finitely generated.
Gorenstein dimension
Tight closure
凄い！専門性が高い！いや、高すぎるぅ〜〜。
邪魔にならないところで、勝手にやってなさい。
0042１３２人目の素数さん
皇紀2665/04/01(金) 00:33:08○藤先生の門下生か？
0043１３２人目の素数さん
皇紀2665/04/01(金) 00:42:080044１３２人目の素数さん
皇紀2665/04/01(金) 00:50:570045１３２人目の素数さん
皇紀2665/04/01(金) 00:54:090046１３２人目の素数さん
皇紀2665/04/01(金) 08:46:590047１３２人目の素数さん
皇紀2665/04/01(金) 09:16:12可換環??
0048落ち着きなさい
皇紀2665/04/01(金) 09:26:57＞可換環コンプ
そんな人いないでしょう？
算盤コンプだの応用数学コンプがいないのと同じ理由で。
0049１３２人目の素数さん
皇紀2665/04/01(金) 10:59:220050１３２人目の素数さん
皇紀2665/04/01(金) 12:05:16釣り専門のスレだったのか。
ところで、可換環にも崩れっているのか？
いないとは思うが、もしいれば、釣り堀でバイトできていいな。
0051１３２人目の素数さん
皇紀2665/04/01(金) 12:14:460052１３２人目の素数さん
皇紀2665/04/01(金) 12:25:45崩れの絶対数は少ないぞ。可換環の博士自体が少ないからｗｗ
0053１３２人目の素数さん
皇紀2665/04/01(金) 14:24:25後藤先生のお墨付きをもらえれば、
日本はおろか，世界に通用する数学者と公認されるはず。
0054１３２人目の素数さん
皇紀2665/04/01(金) 14:44:150055１３２人目の素数さん
皇紀2665/04/01(金) 14:50:29明大の後藤四郎師！
（「松村英之氏は、スマートな可換環論の教科書書いて
名を馳せたが、永田先生のLRで十分！」という発言が
有ったとか無かったとか）
0056１３２人目の素数さん
皇紀2665/04/01(金) 14:59:00書いてますね。
0057１３２人目の素数さん
皇紀2665/04/01(金) 15:58:310058１３２人目の素数さん
皇紀2665/04/01(金) 16:32:22永田雅宣＞後藤四郎＞松村英之
ということでつか？
0059１３２人目の素数さん
皇紀2665/04/01(金) 16:39:580060１３２人目の素数さん
皇紀2665/04/01(金) 18:54:120061１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 00:23:09「可換環がわかる」をどのレベルにおいてるのかによるけど、
零点定理を知らずに数学やっている人はたくさんいるね
0062１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 00:27:19どっちもいない？
0063１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 00:30:010064１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 01:21:14ここに詳しく書いてあるよ。
http://news18.2ch.net/test/read.cgi/news7/1112107584/l15
0065BlackLightOfStar ◆ifsBJ/KedU
81/64/49/36/25/16/09/04/02(土) 07:52:170066１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 08:35:45ｃｏｈｅｎの完備局所環の構造定理
ｓｅｒｒによる正則局所環の特徴づけ
の三つくらいは専門家なら知っとけ
と書いてあるな。
0067１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 08:59:40serrって人は知らないなあ。
Serre？
0068１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 09:00:120069１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 09:03:12If both S and the fiber of a local map R \to S are complete intersection,
then R is also complete intersection.
0070１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 11:17:18and get them some seasoning.
0071１３２人目の素数さん
81/64/49/36/25/16/09/04/02(土) 13:55:41by asking bunch of definitions and notations outside
of Matsumura's book.
0072721
2005/04/03(日) 23:48:250073１３２人目の素数さん
2005/04/06(水) 09:54:3270 ：１３２人目の素数さん ：81/64/49/36/25/16/09/04/02(土) 11:17:18
It's good to get the All American gals in a Japanese ring
and get them some seasoning.
71 ：１３２人目の素数さん ：81/64/49/36/25/16/09/04/02(土) 13:55:41
It'd be just easy to pester anyone visiting here
by asking bunch of definitions and notations outside
of Matsumura's book.
0074１３２人目の素数さん
2005/04/06(水) 14:09:10TEXAS RATTLE SNAKE!!!!!
0075BlackLightOfStar ◆ifsBJ/KedU
2005/04/06(水) 14:10:490076推定少女ファン
2005/04/06(水) 16:01:27なんかよくいく喫茶店と同じ名前でもあるんだけど
0077１３２人目の素数さん
2005/04/06(水) 16:35:41BlackJack Babaa
0078１３２人目の素数さん
2005/04/06(水) 16:55:360079BlackLightOfStar ◆NAhRXZEGks
2005/04/06(水) 16:58:06邪道、外道、非道、ウジ虫、害虫、ガン細胞、ウィルス、ばい菌、疫病神、 病原体、汚染源、公害、ダイオキシン、有毒物質廃棄物、発ガン物質、猛毒、毒物、
ダニ、ゴキブリ、シラミ、ノミ、毛虫、蠅、掃き溜め、汚物、 糞、ゲロ、ほら吹き、基地害、デタラメ、穀潰し、ろくでなし、夏厨、ヤクザ者、社会の敵、犯罪者、反乱者、前科者、
インチキ、エロ、痴漢、ゴミ虫、毒虫、便所コオロギ、詐欺師、ペテン師、危険分子、痴呆、白痴、 悪霊、怨霊、死神、貧乏神、奇天烈、変人、
毒ガス、サリン、糞豚、豚野郎、畜生、鬼畜、悪鬼、邪気、邪鬼、クレイジー、 ファッキン、サノバビッチ、小便、便所の落書き、不要物、障害物、
邪魔者、不良品、カビ、腐ったミカン、腐乱、腐臭、落伍者、犯人、ならず者、チンカス、膿、垢、フケ、化膿菌、放射能、放射線、異端者、妄想、邪宗、異教徒、
恥垢、陰毛、ケダモノ、ボッコ、ろくでなし、ヒ素、青酸、監獄、獄門、さらし首、打ち首、戦犯、絞首刑、斬首、乞食、浮浪者、ルンペン、不良品、規格外、欠陥品、不要物、
埃、塵埃、インチキ、居直り、盗人、盗賊、残酷、冷酷、薄情者、クソガキ、ファッキン、有害物質、 発ガン物質、誇大妄想狂、アホンダラ、怠け者無能、無脳、
脳軟化症、思考停止、人格障害、極道息子、見栄っ張り、不良、イカレ、狼藉者、放蕩息子、道楽息子、迷惑、厄介者、異端者、タリバン、オサマ・ビン・ラディン、テロリスト 、
チェチェン、嘘つき、不正、叩き上げ、ケチ、裏切り者、ムネヲ、抵抗勢力、悪性新生物、原爆を落とした奴、アルカイダ、宮崎勤、吉岡（旧姓：宅間）守、朝鮮将校、乞食、
知覚的障害者、邪教祖、DQN、覚せい剤、エイズウイルス、SARS、テロリスト、荒らし部隊、アーレフ（旧：オウム真理教）、精神年齢3歳、3審は必要なし、
金正日、上新庄、放射性廃棄物、割れたコップ、血歯死者、廣嶋死者、パナウェーブ研究所、
あの1１歳の少女以下の知能、国民の資格なし、白血病の原因、ハイブリッドカーの排気ガス、IQ10！
そして、この板に書き込む権利も価値もないクズ
0080BlackLightOfStar ◆ifsBJ/KedU
2005/04/06(水) 17:08:100081１３２人目の素数さん
2005/04/14(木) 08:51:220082１３２人目の素数さん
2005/04/15(金) 07:25:320083１３２人目の素数さん
2005/04/15(金) 17:02:100084１３２人目の素数さん
2005/04/15(金) 19:30:22中山のlemmaは東屋さんが証明したと、上野さんの「代数幾何１？２？」に書いていた。
ということは中山は悪人か？
0085１３２人目の素数さん
2005/04/15(金) 19:41:050086１３２人目の素数さん
2005/04/15(金) 19:47:50「中山のLemma」と命名した香具師がDONQだっただけでは？
0087１３２人目の素数さん
2005/04/15(金) 20:14:00詳しいことは上野さんに聞いてくれ。
0088１３２人目の素数さん
2005/04/15(金) 22:53:09正しくない
0089１３２人目の素数さん
2005/04/16(土) 00:28:53DONQ????????????????????????????????????????????????????????????????????????????????????????????????????????
0090１３２人目の素数さん
2005/04/16(土) 14:56:39Nakayama conjecture, Azumaya algebra, Krull ring,
Krull height theorem, Krull intersection theorem,
Krull Akizuki theorem, Krull Schmidt theorem.
0091１３２人目の素数さん
2005/04/16(土) 21:38:53ｶｶﾝｶﾝをば飲ませたい♪
0092１３２人目の素数さん
2005/04/17(日) 19:12:370093１３２人目の素数さん
2005/04/17(日) 19:33:00可換環とはある位相空間上の関数のなす環とみなせる。可換環の性質はこの空間の
性質を具現しているとみなせる。そしてこの空間のトポロジー的性質を調べる
道具としてホモロジー代数がある。群のコホモロジー、リー環のコホモロジー
も同様である。つまり、群もリー環もある種の位相空間を代表している。
0094１３２人目の素数さん
2005/04/18(月) 19:22:110095１３２人目の素数さん
2005/04/20(水) 07:56:390096１３２人目の素数さん
2005/04/20(水) 14:34:18die wahrend des Krieges in der ganzen Welt studiert war.
Kann Jedermann sich hieran an den Name des Persones erinnern? Das ist zwar eine der wichtigen Entdeckungen in der Geschichite in naturwissenschaflicher Weise. Jedenfalls hat es auf der Grunde des Krieges abgesagt,und
zur Zeit, es gibt keine Dokumente um dieses Ereignis.
0097１３２人目の素数さん
2005/04/21(木) 00:03:500098１３２人目の素数さん
2005/05/06(金) 10:51:420099１３２人目の素数さん
2005/05/06(金) 16:37:080100ﾑ￥ﾃcﾃmﾃVﾃJ
2005/05/06(金) 18:58:110101１３２人目の素数さん
2005/05/06(金) 21:37:540102１３２人目の素数さん
2005/05/07(土) 17:39:010103１３２人目の素数さん
2005/05/07(土) 17:42:120104１３２人目の素数さん
2005/05/09(月) 16:02:22E.Artinの代数幾何の講義録を読む、是ヨロシ！
0105１３２人目の素数さん
2005/05/09(月) 16:10:42付値環はspecializationとplaceという概念から入るのが自然。
0106１３２人目の素数さん
2005/05/09(月) 19:26:440107１３２人目の素数さん
2005/05/11(水) 00:07:23乗法逆元
がいまいちよく分かりません
誰か具体的な例を見せてくれませんか？
0108１３２人目の素数さん
2005/05/11(水) 09:38:46教科書嫁
0109１３２人目の素数さん
2005/05/16(月) 05:39:140110１３２人目の素数さん
2005/05/17(火) 07:02:210111１３２人目の素数さん
2005/05/17(火) 15:00:450112数学オタ浪人
2005/05/17(火) 20:17:390113１３２人目の素数さん
2005/05/18(水) 11:48:14でも絶版でしょ！？
0114１３２人目の素数さん
2005/05/18(水) 12:06:30思案の結果が>>113か？
0115１１３
2005/05/18(水) 12:22:260116１３２人目の素数さん
2005/05/18(水) 15:48:16助けてくれますか？
何をいまさらやってんのﾌﾟwですかの？
0117１３２人目の素数さん
2005/05/18(水) 23:35:00すでに読んだから気が向いたら
0118１３２人目の素数さん
2005/05/19(木) 01:40:59ｽｺﾞｲなー､買ったらよろしくおながいしやす
0119ノイキルヒ
2005/05/19(木) 11:00:43ii?
0120１３２人目の素数さん
2005/05/19(木) 19:02:470121１３２人目の素数さん
2005/05/19(木) 22:18:09教授はな、わかるだろって無理やりわかったことにしてくるし
高邁なる言葉遊びの状態。こういうのがわかるようになるのは
代数幾何をやればいいわけ?
0122１３２人目の素数さん
2005/05/19(木) 22:19:510123高木麗子
2005/05/19(木) 22:23:57不思議･･･。
0124１３２人目の素数さん
2005/05/19(木) 23:51:44永田「可換環論」紀伊国屋
を読むといい。
0125１３２人目の素数さん
2005/05/20(金) 11:24:28付値−付値環−座（place) の関係を理解すればよい！
（俺はE.Artinの代数幾何の講義録[New York Univ. から出ていた奴]
で学んだ。）
0126１３２人目の素数さん
2005/05/30(月) 12:29:20∧,,∧
(´・ω・｀) ようこそ、チャーハンハウスへ。
/ ｏ━ヽニニフ
しー-Ｊ
このスープはサービスだから、まず飲んで落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔もって言うしね、謝って許してもらおうとも思っていない。
でも、このスレタイを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
殺伐とした世の中で、そういう気持ちを忘れないで欲しい、そう思って
このスレを立てたんだ。
じゃあ、注文を聞こうか。
0127１３２人目の素数さん
2005/05/30(月) 12:35:01もし、真剣に研究者を目指して、20代のすべてを研究に捧げ、それなりの成果をあげた
にも関わらず、７．のような状態に陥ったとしても、決して希望を捨てないで欲しい。
統計を取ったことはないが、このような状況での自殺者が結構いるのではないかと思う。
この状況は、1990年前後の受験戦争よりも、はるかに厳しい生きるか死ぬかの戦争で
ある。しかし、「勝ち負け」にこだわりすぎて、本当に死なないで欲しい。
（2004年12月14日の日記より）
http://www.geocities.jp/arachan4553/Report/Ph.D.htm
0128１３２人目の素数さん
2005/05/30(月) 12:35:29結婚相手は選り取り見取りの状況である。なぜなら、現在20代の女性の結婚願望が高まって
いる上、外国人（中国人、フィリピン人等）の美女達は、このような日本人男性と結婚した
がっているからである。40代や50代でも、20代の美女と結婚することは珍しくない。ITの
普及等で出会いの機会が拡大した現在、30代半ば以降の独身男性の中には、このような状況を
楽しんでいる輩が少なくない。（2005年1月8日の日記）
http://www.geocities.jp/arachan4553/Report/Ph.D.htm
財団法人の研究所に就職した同期のD君だけどね。
今日の日記に書いた女性を手込めにして楽しんで
いる輩も、実はD君を念頭に置いている。
2005年1月8日 (土) 01時36分28秒
http://geocities.yahoo.co.jp/gb/sign_view?member=arachan4553
0129１３２人目の素数さん
2005/06/02(木) 16:36:230130禿藁
2005/06/02(木) 21:30:56http://science3.2ch.net/test/read.cgi/math/1117714255
0131１３２人目の素数さん
2005/06/02(木) 22:17:33本見ても定義から容易に解るとか書いてるしorz
それにしても、Atiyah & Macdonaldってなんであんなに高いんでしょうね
0132１３２人目の素数さん
2005/06/02(木) 23:42:33あるある
0133１３２人目の素数さん
2005/06/03(金) 07:58:28No need to assume Noetherianity.
Look at Hochster's online lecture note!!
0134１３２人目の素数さん
2005/06/03(金) 13:27:04Thanks
0135１３２人目の素数さん
2005/06/03(金) 20:30:19よく分からんが、付値のことは館ひろしに聞け。
0136１３２人目の素数さん
2005/06/03(金) 20:52:41Please teach me the URL.
0137１３２人目の素数さん
2005/06/04(土) 13:38:57Go to University of Michigan
http://www.math.lsa.umich.edu/~hochster.
Also you can construct a non-Noetherian hensel ring
as a direct limit of power series ring by adjoining all p^{e}-th
root of variables since complete rings are Henselian.
0138１３２人目の素数さん
2005/06/05(日) 15:24:08∧,,∧
(´・ω・｀) ようこそ、チャーハンハウスへ。
/ ｏ━ヽニニフ
しー-Ｊ
このスープはサービスだから、まず飲んで落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔もって言うしね、謝って許してもらおうとも思っていない。
でも、このスレタイを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
殺伐とした世の中で、そういう気持ちを忘れないで欲しい、そう思って
このスレを立てたんだ。
じゃあ、注文を聞こうか。
0139１３２人目の素数さん
2005/06/05(日) 16:05:530140１３２人目の素数さん
2005/06/06(月) 09:39:06リーマン面Ｒ上の点ｐと代数関数ｆをとる。ｐがｆの極のとき
f(p) = ∞ と定義すれば、ｆを変化させてＫのplaceが得られる。
ここでＫはＲの代数関数体。これがplaceの最も原始的な例。
placeという言葉もここから来ている。
一方、ｆのｐにおける零点または極の位数をとれば、Ｋの
離散付値が得られる。つまり、この場合、placeと離散付値
は実質同じもの（つまり点ｐ）とみなせる。
0141１３２人目の素数さん
2005/06/11(土) 16:09:00Bをring、AをBのsubringとする。B・BをA上のテンソルとする。bをBの元とする。
このとき、b・１＝１・ｂとなるとすると、bはAの元か？
但し、・はテンソル席の意味
0142１３２人目の素数さん
2005/06/11(土) 17:56:300143１３２人目の素数さん
2005/06/11(土) 18:42:26(1/2)・１＝(1/2)・（1/2＋1/2）＝(1/2)・（1/2）＋（1/2）・（1/2）＝(1/2)・１＝（1/2＋1/2）・(1/2)＝１・（1/2）
0144１３２人目の素数さん
2005/06/11(土) 18:43:500145１３２人目の素数さん
2005/06/11(土) 19:32:090146１３２人目の素数さん
2005/06/11(土) 19:50:14１４３の補足：、（1/2）・１がZの元でないことは次のようにして分かった。
QはZの局所化だから、Z上flat。
よって、inclusion Z（Q に、 Qを（Z上）テンソル積して、
Q（ Q・Q なるinnclusionが得られる。
よって、Z（Q（Q・Q
よって、写像 Z−＞ Q・Q は単射である。
これより、（1/2）・１がZの元でないことが分かる。
0147１３２人目の素数さん
2005/06/11(土) 19:54:090148１３２人目の素数さん
2005/06/11(土) 20:39:570149１３２人目の素数さん
2005/06/11(土) 20:42:04だから、>>142の説明で完全というこになる
0150１３２人目の素数さん
2005/06/14(火) 12:28:450151Tohoku･EGA翻訳進行中！
2005/06/15(水) 17:22:50http://science3.2ch.net/test/read.cgi/math/1117523095/50
0152１３２人目の素数さん
2005/06/16(木) 11:35:170153１３２人目の素数さん
2005/07/02(土) 07:54:190154100
2005/07/27(水) 22:44:51アルティンの講義禄って具体的にはどれなんですか？
アマゾンで検索してもわからない。。。。。。。。。。。。。。。。。。。。
0155１３２人目の素数さん
2005/08/04(木) 07:42:290156１３２人目の素数さん
2005/08/11(木) 19:08:52かくゎんくゎん
と発音する
0157１３２人目の素数さん
2005/08/12(金) 01:08:570158１３２人目の素数さん
2005/08/12(金) 02:32:36整域かどうかすら分かってません．
初歩的で済みません．
0159１３２人目の素数さん
2005/08/12(金) 05:00:180160１３２人目の素数さん
2005/08/13(土) 13:26:37加法群として R に同型
環としては勿論零因子がある。
0162１３２人目の素数さん
2005/08/15(月) 11:41:50>>158
加法群として R に同型
環としては勿論零因子がある。
161 ：gaga ◆P2bEA4mHeU ：2005/08/13(土) 13:54:42
>>159
解析空間の芽(V,x)で、V−{x}が特異点を含まないものをいう。
30 KB [ ２ちゃんねるが使っている 完全帯域保証 レンタルサーバー ]
新着レス
0163１３２人目の素数さん
2005/08/17(水) 15:43:46アホ
0164１３２人目の素数さん
2005/08/18(木) 02:24:31なにを勉強すればいいのかわかりません
0165１３２人目の素数さん
2005/08/19(金) 20:39:06とりあえずネーター環を勉強する
0166104
2005/08/22(月) 15:06:39New York University から出版されていた
"Courant Institute of Mathematical Sciences " という
講義録のシリーズの一巻で
E.Artin: Elements of Algebraic Geometry
という物です。
数学教室の図書室で探してみては如何でしょうか？
0167１３２人目の素数さん
2005/08/25(木) 05:07:46マジわけワカメ。
0168１３２人目の素数さん
2005/08/25(木) 08:05:010169１３２人目の素数さん
2005/08/25(木) 11:18:52代数幾何の一部だから。
0170１３２人目の素数さん
2005/08/26(金) 09:04:240171１３２人目の素数さん
2005/08/26(金) 15:31:31圏論をやれ（ますますわけ分からなくなっても知らんがｗ）
米田の補題とか普遍元とか
0172１３２人目の素数さん
2005/09/09(金) 00:13:100173１３２人目の素数さん
2005/10/08(土) 12:19:030174１３２人目の素数さん
2005/10/22(土) 21:29:450175１３２人目の素数さん
2005/10/23(日) 14:11:350176１３２人目の素数さん
2005/10/24(月) 16:50:440177１３２人目の素数さん
2005/11/03(木) 22:02:450178１３２人目の素数さん
2005/11/18(金) 11:03:430179121
2005/11/24(木) 23:08:49付値論やリーマン面についての参考書を教えていただけないでしょうか。。。。。
可換体論は挫折、166の
New York University から出版されていた
"Courant Institute of Mathematical Sciences " という
講義録のシリーズの一巻で
E.Artin: Elements of Algebraic Geometry
という物はにゅうしゅしました。
0180121
2005/11/25(金) 19:37:26アフィン空間に既約な代数的集合（代数多様体）が定められる。
そこから座標環が導かれ、それを商拡大すると関数体がえられる（ヤヤはしょってるけど）。
この関数体ってのは要するにもとの代数多様体上の有理関数（多項式関数の比で表される）の全体ってことで
いいんですかね？
0181121
2005/11/25(金) 19:38:55これがまだどういうことなのかわかんない。
でもなんか元気出てきた。
0182１３２人目の素数さん
2005/11/25(金) 19:58:15PhoenixシリーズでBlissの名著”Algebraic Functions”が
復刊された。
0183121
2005/11/28(月) 23:46:56これ読んだらなんかいいこと有る？
http://www.amazon.co.jp/exec/obidos/ASIN/0201510103/ref=lm_lb_4/250-8186015-3793040#product-details
0184140
2005/11/29(火) 09:47:10付値論はZariski-SamuelのCommutative Algebraの２巻目がいいです。
Bourbakiの可換代数も根気さえあればお勧めです。
リーマン面については岩沢が有名ですが、あれは難しい。
だけど目を通す価値はあります。
実を言うとリーマン面のよい本というのは私も知らない。
0185１３２人目の素数さん
2005/11/29(火) 09:51:38かなあ。わたしが学生の時はこれを薦められた。他でもこれを挙げる
人多いから定番なんだと思う。
0186121
2005/11/29(火) 16:24:45アフィン空間に既約な代数的集合（代数多様体）が定められる。
そこから座標環が導かれ、それを商拡大すると関数体がえられる（ヤヤはしょってるけど）。
この関数体ってのは要するにもとの代数多様体上の有理関数（多項式関数の比で表される）の全体ってこと
この解釈はいいんですかね？まだその関数の集まりが代数的集合とどうかんけいあるかわかんないけど。
0187１３２人目の素数さん
2005/11/29(火) 16:37:220188140
2005/11/29(火) 17:02:06大きくわけて乗法付値と加法付値
乗法付値にはアルキメデス付値と非アルキメデス付値。
加法付値には、階数というものがあって、階数１の付値が
乗法付値の非アルキメデス付値と実質同じもの。
非アルキメデス付値には、離散付値とそうでないものがある。
この分類の各種の付値に特有の理論(というと大げさだが)
がある。
0189１３２人目の素数さん
2005/11/29(火) 18:08:54及川広太郎のリーマン面と
倉持善次郎のリーマン面。
リーマン面プロパーでがんばった数学者のものに
目を通しておくことは
代数幾何をやるにしても考え方の幅を広げる上で
大変有益でしょう。
0190１３２人目の素数さん
2005/11/29(火) 18:57:270191１３２人目の素数さん
2005/11/30(水) 12:02:49決まりきったレールを走るのが好きな
計算屋さんだけのものではありません。
0192１３２人目の素数さん
2005/11/30(水) 18:58:58どれが一番特別な環ですか。
0193１３２人目の素数さん
2005/12/01(木) 00:54:170194１３２人目の素数さん
2005/12/01(木) 07:36:44正則→Gorenstein→Cohen-Macaulayだよ。
CMはそれ程でもないけど、Gorenstainはかなり特別な環だと思う。
もっとも基準があるわけでもなく、なんとなくだが。
0195１３２人目の素数さん
2005/12/02(金) 04:33:420196１３２人目の素数さん
2005/12/02(金) 13:40:030197１３２人目の素数さん
2005/12/02(金) 14:07:330198１３２人目の素数さん
2005/12/02(金) 15:12:33kore iino??
0199１３２人目の素数さん
2005/12/03(土) 20:22:42kore iiyo??
0200１３２人目の素数さん
2005/12/05(月) 12:47:090201１３２人目の素数さん
2005/12/05(月) 14:09:02200 cm, 115kg.
Black Jack mulligan
200 cm, 140kg..
0202１３２人目の素数さん
2005/12/13(火) 11:09:35200 cm, 115kg.
Black Jack mulligan
200 cm, 140kg..
37 KB [ ２ちゃんねるが使っている 完全帯域保証 レンタルサーバー ]
0203１３２人目の素数さん
2005/12/13(火) 11:12:410204１３２人目の素数さん
2005/12/13(火) 12:20:22宇宙ヤバイ。
まず広い。もう広いなんてもんじゃない。超広い。
広いとかっても
「東京ドーム20個ぶんくらい？」
とか、もう、そういうレベルじゃない。
何しろ無限。スゲェ！なんか単位とか無いの。何坪とか何?fとかを超越してる。無限だし超広い。
しかも膨張してるらしい。ヤバイよ、膨張だよ。
だって普通は地球とか膨張しないじゃん。だって自分の部屋の廊下がだんだん伸びてったら困るじゃん。トイレとか超遠いとか困るっしょ。
通学路が伸びて、一年のときは徒歩10分だったのに、三年のときは自転車で二時間とか泣くっしょ。
だから地球とか膨張しない。話のわかるヤツだ。
けど宇宙はヤバイ。そんなの気にしない。膨張しまくり。最も遠くから到達する光とか観測してもよくわかんないくらい遠い。ヤバすぎ。
無限っていたけど、もしかしたら有限かもしんない。でも有限って事にすると
「じゃあ、宇宙の端の外側ってナニよ？」
って事になるし、それは誰もわからない。ヤバイ。誰にも分からないなんて凄すぎる。
あと超寒い。約1ケルビン。摂氏で言うと−272℃。ヤバイ。寒すぎ。バナナで釘打つ暇もなく死ぬ。怖い。
それに超何も無い。超ガラガラ。それに超のんびり。億年とか平気で出てくる。億年て。小学生でも言わねぇよ、最近。
なんつっても宇宙は馬力が凄い。無限とか平気だし。
うちらなんて無限とかたかだか積分計算で出てきただけで上手く扱えないから有限にしたり、fと置いてみたり、演算子使ったりするのに、
宇宙は全然平気。無限を無限のまま扱ってる。凄い。ヤバイ。
とにかく貴様ら、宇宙のヤバさをもっと知るべきだと思います。
そんなヤバイ宇宙に出て行ったハッブルとか超偉い。もっとがんばれ。超がんばれ。□
0205１３２人目の素数さん
2005/12/13(火) 20:03:03なんてどっかにあったか？
0206１３２人目の素数さん
2005/12/13(火) 20:23:38来年はイタリアに行くみたい。
マジでInventも就職厳しいみたいだね。
0207１３２人目の素数さん
2005/12/25(日) 17:26:00渡辺先生くらいしか知らん。
0208１３２人目の素数さん
2005/12/26(月) 01:04:24■ネーター環の定義：
R のどんなイデアルの無限列 I1 ⊂ I2 ⊂ ・・・ ⊂ In においても ∃n ∈ N, In = In+1 = ・・・ となる.
■一方、どのような環においても、任意のイデアルに対して、それを含む極大イデアルが存在する。
であれば、全ての環がネーター環である、ような気がするのですが？
どう考えたらいいのでしょうか？
0209１３２人目の素数さん
2005/12/26(月) 02:20:01証明してみよ
0210１３２人目の素数さん
2005/12/26(月) 02:37:53ということは、あなたにとっては
「どのような環においても、任意のイデアルに対して、それを含む極大イデアルが存在する。
しかし『全ての環がネーター環である』わけではない。」事が自明なのですね。。。。
うらやましい。。。
0211１３２人目の素数さん
2005/12/26(月) 04:08:49Rの何と言うの？
可換化環か？ 可換化環か？ 可換化環か？
0212１３２人目の素数さん
2005/12/26(月) 07:00:450213208投稿者
2005/12/26(月) 07:39:54おそらく、極大イデアルがわかっていないのだと思います。
可算個の変数 Ｘi （i=1,2,3,....）に対して、
体ｋ上の多項式環ｋ[Ｘi]はネーター環ではない。
なぜなら、
ｋ[Ｘ1] ⊂ ｋ[Ｘ1,X2] ⊂ ・・・ ⊂ ｋ[Ｘ1,…,Xn] ⊂ ・・・
というイデアル無限列がとれるから。
では、例えば
ｋ[Ｘ1,X2] を含む極大イデアルって、どういうモノがあるんでしょうか？
ｋ[Ｘ1,X2,X3,…,Xn](少なくとも変数を3つ含む多項式環)が「ｋ[Ｘ1,X2] を含む極大イデアル」に該当しないのは理解できるのですが。
0214１３２人目の素数さん
2005/12/26(月) 09:32:07>ｋ[Ｘ1] ⊂ ｋ[Ｘ1,X2] ⊂ ・・・ ⊂ ｋ[Ｘ1,…,Xn] ⊂ ・・・
>というイデアル無限列がとれるから。
k[Ｘ1,…,Xn] はｋ[Ｘi]の部分環だけどイデアルではない。
君は極大イデアルがわかっていないだけでなく、そもそもイデアル
がわかってないと思われ。
0215208投稿者
2005/12/26(月) 12:42:49失礼いたしました。
a ∈ K[Xi], x ∈ k[X1,…,Xn]
で、ax ∈ k[X1,…,Xn]、とは限らない、
∴k[X1,…,Xn]はイデアルではない、
ということですね。
では、K[Xi]の無限列にはどのようなものがあるのでしょうか？
0216１３２人目の素数さん
2005/12/27(火) 14:24:22208 に敢然と対抗すれ
(x_1 )
⊂
(x_1, x_2)
⊂
(x_1, x_2, x_3)⊂
(x_1, x_2, x_3, x_4)
⊂..........................
0217１３２人目の素数さん
2005/12/27(火) 16:18:22一般の順序集合 E で次の2つの条件が同値にならない（なるとは限らない）ことをまず
理解したほうがいいと思う。
(A) E の元からなるどんな可算列 a_1≦a_2≦・・・ においても、∃n ∈ N, a_n = a_n+1 = ・・・ となる。
(B) ∀a∈E ∃m≧a m は E の極大元
(A) ⇒ (B) は示せるが、(B) ⇒ (A) は必ずしもいえない。例はいくらでもある。
0218１３２人目の素数さん
2005/12/27(火) 16:21:47（ 人＿＿＿＿） ３０歳でフィールズ賞も下らないと分かった。
|ミ/ ー◎-◎-） ３３歳で下らない建部賞を贈られた。
（６ (_ _) ） ３６歳でアカポスを諦めた。
＿_| ∴ ノ ３ ﾉ ３９歳で自分自身を諦めた。
（＿_/＼＿＿＿＿_ノ だから愚痴はかみ殺してた。
/ （ )) ))） 「アカポスはコネ」が口癖。
[]＿__.| ｜ラブひな命 ヽ 自分を相手にしない公募は糞以下だと気づてたから。
｜[] .|＿|＿＿>>1＿＿＿） 言えば僻みになるから負け惜しみになるからダサいから、
＼_（＿_）三三三[□]三） ずっとかみ殺してた。
／（＿）＼:::::::::::::::::::::::| でも２ちゃんで言ったら最高に笑えた。
｜Sofmap｜:::::::::/:::::::/ 「川北君に嫉妬したInvent崩れが、女児を刺す！ｗ」
（＿＿＿＿_）;;;;;/;;;;;;;/
（＿＿＿[）＿[） 本当に心の底から笑えた…。
0219208投稿者
2005/12/28(水) 03:12:30ご指摘痛み入ります。
Ｘi （i=1,2,3,....）で生成されるイデアルを
(Ｘj) ≡ ＸjK[Ｘi]と書くと、おっしゃる通りですね。
恥ずかしい限りです。
＞217
ご指摘いただいた点について、確かにわかっていないと感じています。
ご指摘ありがとうございます。
(x_1 )
⊂
(x_1, x_2)
⊂
(x_1, x_2, x_3)⊂
(x_1, x_2, x_3, x_4)
⊂..........................
(x_1 ) を含む極大イデアルは存在し、それは上記系列に現れた
イデアルとは別物である。
よって非ネーター環の存在と極大イデアルの存在とは矛盾しないことが
納得できました。
皆さん、ありがとうございました。
そこで再度質問させていただきたいのですが、
例えば、上記の
(x_1 ) を含む極大イデアル
は具体的に構成できるのでしょうか？
0220１３２人目の素数さん
2005/12/28(水) 12:06:03ｋ[x_1, x_2, ...]/m が k （体）と同型になるような非常に簡単なイデアルmがその例に
なってるから自分で考えてみるといい。
ちなみに、
ｋ[x_1, x_2, ...]/(x_1) は ｋ[x_2, x_3, ...] と標準的に同型
ｋ[x_1, x_2, ...]/(x_1, x_2) は ｋ[x_3 x_4, ...] と標準的に同型
・・・以下同様
となることは分かる？
0221208投稿者
2005/12/29(木) 02:04:57＞ｋ[x_1, x_2, ...]/(x_1) は ｋ[x_2, x_3, ...] と標準的に同型
＞ｋ[x_1, x_2, ...]/(x_1, x_2) は ｋ[x_3 x_4, ...] と標準的に同型
＞・・・以下同様
＞となることは分かる？
わかります。
まず、
ｋ[x_i]/(x_1,...,x_n) は ｋ[x_n+1, x_n+2, ...] と同型、
を示す。
全準同形 f：ｋ[x_i] → ｋ[x_n+1, x_n+2, ...]、f はｋ[x_i]の元にx_1=...=x_n=0を
代入する写像、を考える。
明らかに、Ker f = ΣＸ_iK[Ｘ_i] (nまで)= (x_1,...,x_n)だから、準同形定理により、
ｋ[x_i]/(x_1,...,x_n) は ｋ[x_n+1, x_n+2, ...] と同型 q.e.d
よって、
ｋ[x_i]/(x_1,...)は ｋと同型
したがって、(x_1,...)は極大イデアル！！
なるほど、すると非ネーター環の場合、
極大イデアルを避けてイデアル増大列が構成できる、というわけですね。
4年来の謎がやっと解けました！！！！
ありがとうございました。
0222１３２人目の素数さん
2005/12/29(木) 14:05:03http://science4.2ch.net/test/read.cgi/math/1135765594
0223１３２人目の素数さん
2006/01/02(月) 04:50:460224１３２人目の素数さん
2006/01/08(日) 16:44:48止めれこの馬鹿
0225１３２人目の素数さん
2006/01/10(火) 10:05:480226１３２人目の素数さん
2006/01/10(火) 11:36:19amari bakani suruno..
0227１３２人目の素数さん
2006/01/12(木) 07:05:330228１３２人目の素数さん
2006/01/12(木) 07:27:12>>http://science4.2ch.net/test/read.cgi/math/1089292579/93
0229１３２人目の素数さん
2006/01/14(土) 01:15:05どの本にも定義が載っていません
ご存知の方は教えて下さい
0230１３２人目の素数さん
2006/01/15(日) 09:01:26ググっちまったじゃねーか
0231１３２人目の素数さん
2006/01/15(日) 12:24:10ぐぐったら意味書いとけよ
俺もぐぐっちまったじゃねぇか
0232age
2006/01/22(日) 19:22:28なぁんだ前スレもすぐ終わりか
0233１３２人目の素数さん
2006/01/22(日) 23:01:39おいらもぐぐちまったｗｗ
0234１３２人目の素数さん
2006/01/23(月) 04:47:230235１３２人目の素数さん
2006/02/02(木) 01:09:110236１３２人目の素数さん
2006/02/02(木) 01:14:350237１３２人目の素数さん
2006/02/02(木) 01:57:36あの本は、教科書って言うか問題集みたいなもんだからなー。訳が３７６ページもあるってことは
全部の回答載せるんだろうし。なんだかなー。
0238１３２人目の素数さん
2006/02/02(木) 03:39:070239１３２人目の素数さん
2006/02/02(木) 09:30:00http://www.kyoritsu-pub.co.jp/shinkan/shin0602_11.html だね。もともと140ページくらいだから70ページ増。
ところで新妻って群・環・体入門しかしらないんだけど、訳者としてはどうなの？
0240１３２人目の素数さん
2006/02/02(木) 14:00:31あれ？２１２ページだった。
その１ページ前には３７６ページって書いてあったけど、よく考えりゃそんなわけ無いわなw
なんか、新妻さんは「代数学の基本定理」っていうなんか微妙なテーマの本の翻訳やったらしい。訳歴はそれだけだ。
俺には新妻さんの小遣い稼ぎにしか見えないな。
っていうか最近、ハーツホーンとかマクレーンとか今回のマクドナルドとか名著の翻訳ブームなのか？
0241１３２人目の素数さん
2006/02/02(木) 15:38:11新妻さんは、やはり共立から「代数方程式のガロア理論」
という訳本を出している。
訳が酷くなければ、洋書として買うよりもかなり安いから
買ってもいいかなと思っている。
0242１３２人目の素数さん
2006/02/03(金) 03:56:35これは単に小遣い稼ぎとも言えないんじゃないかなあ
寧ろ何の変哲も無い微積とか線型代数の教科書とかの出版こそ
小遣い稼ぎと言われて然るべきかと
0243１３２人目の素数さん
2006/02/03(金) 12:38:53良いと思うけど
0244１３２人目の素数さん
2006/02/04(土) 09:38:40大事なとこは大体A & Mを参照、とか書いてあって意味ねーっていう
0245１３２人目の素数さん
2006/02/05(日) 15:38:140246１３２人目の素数さん
2006/02/07(火) 00:56:10ttp://www.superstringtheory.com/people/atiyah.html
0247１３２人目の素数さん
2006/02/07(火) 16:43:360248１３２人目の素数さん
2006/02/27(月) 07:37:430249１３２人目の素数さん
2006/02/27(月) 09:41:39p-adic integers, power series ring (one variable) over a field.
0250１３２人目の素数さん
2006/02/27(月) 10:55:04Serreのlocal fieldsとBourbakiくらいか。
完備局所環の構造定理に関係あるんだが。
0251１３２人目の素数さん
2006/02/27(月) 14:39:29藤崎氏のGALOIS本にも、少々触れていますよ。
0252１３２人目の素数さん
2006/02/27(月) 19:34:060253253
2006/02/27(月) 21:34:15■ このスレッドは過去ログ倉庫に格納されています