[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
382(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/10(水) 00:32:06.26 ID:liBiuo2u(1/14) AAS
>>379
ノイキルヒ「代数的整数論」を読んでいるけど
§11 局所化、局所環
§14 関数体 もいいね
第一章を読むだけでも値打ちある（＾＾
383: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/10(水) 00:38:58.76 ID:liBiuo2u(2/14) AAS
>>382
ノイキルヒは、分り易くよく書けているね
https://ja.wikipedia.org/wiki/%E7%92%B0%E3%81%AE%E3%82%B9%E3%83%9A%E3%82%AF%E3%83%88%E3%83%AB
環のスペクトル
抽象代数学と代数幾何学において，可換環 R のスペクトル Spec(R) とは，R のすべての素イデアルからなる集合である．通常ザリスキー位相と構造層をともに考え，それにより Spec(R) は局所環付き空間である．この形の局所環付き空間はアフィンスキームと呼ばれる．
目次
1 ザリスキー位相
2 層とスキーム
3 関手として
4 関連項目
層とスキーム
ザリスキー位相を持った空間 X = Spec(R) が与えられると，その構造層 OX が開集合 Df 上 Γ(Df, OX) を R の f における局所化 Rf とすることで定義される．これは B 層（英語版）を定義し，したがって層を定義することを示すことができる．より詳しくは，開集合 Df たちはザリスキー位相の基底であるので，任意の開集合 U に対し，
関手として
圏論のことばを用いて Spec が関手であることを見ることは有用である．任意の環準同型 f: R → S は連続写像 Spec(f): Spec(S) → Spec(R) を誘導する（なぜなら S の任意の素イデアルの引き戻しは R の素イデアルなので）．このようにして，Spec は可換環の圏から位相空間の圏への反変関手と見ることができる．
386(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/10(水) 07:31:20.28 ID:liBiuo2u(4/14) AAS
>>382 追加
§3 イデアルを読んだが、”極大イデアル”の定義が出てこない
そういう目で見ると、当然ながら、この本はある程度大学レベルの代数の基礎は仮定しているんだねｗ（＾＾
現状でも十分厚い本だから、分りきったことは省くという考えか（＾＾；
当然だね
https://ja.wikipedia.org/wiki/%E6%A5%B5%E5%A4%A7%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB
極大イデアル
環 R の極大左イデアル（きょくだいひだりいである、英: maximal left ideal）とは、R 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。
すなわち、左イデアル I を真に含む左イデアルが R しかないときに I を R の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される[1]。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。
目次
1 性質
2 例
3 極大部分加群
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.061s