[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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 極大部分加群
448(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/12(金) 20:50:07.94 ID:aUo1NtT0(6/12) AAS
>>386
”グロタンディークは、・・生成点（英語版）(generic point)と言う考え方を導入した”か（＾＾
https://ja.wikipedia.org/wiki/%E3%82%B6%E3%83%AA%E3%82%B9%E3%82%AD%E3%83%BC%E4%BD%8D%E7%9B%B8
ザリスキー位相
(抜粋)
代数幾何学と可換環論において、ザリスキ位相は代数多様体に定義される位相であり、最初はオスカー・ザリスキによって導入された。ザリスキ位相は可換環の素イデアル全体の集合に対しても定義され、その環のスペクトルと呼ばれる。
ザリスキ位相によって、基礎体が位相体でないときでさえ、代数多様体の研究に位相空間論の道具を使うことができるようになる。このような手法はスキーム論の基本的な考えの1つであり、多様体 (manifold) が局所座標系（実アファイン空間の開部分集合）を貼り合わせて構成されるのと同じように、一般の代数多様体はアファイン多様体を貼り合わせて構成される。
グロタンディークのスキーム論のもう1つの基本的な考えは、極大イデアルに対応する普通の点のみならず、すべての（既約）代数多様体、これは素イデアルに対応する、をも点として考えることである。
目次
1 多様体のザリスキ位相
2 現代の定義
2.1 性質
2.2 例
グロタンディエクの Spec を定義した革新的な点は、極大イデアルを全ての素イデアルに置き換えたことであった。極大イデアルが環のスペクトルの中では閉集合を定義とすることができことの単純な一般化であることとして、この定式化では自然である。
性質
トポロジーの古典的描像と新しい描像の最も劇的な変化は、点がもはや閉じている必要はないということである。定義を拡張することで、グロタンディークは、閉包がそれ自体よりも大きい（同じではなく）生成点（英語版）(generic point)と言う考え方を導入した。
例
・体 k のスペクトル Spec k は、一つの元からなる位相空間である。
・整数?のスペクトル Spec ? は、素数 p に対応する極大イデアル (p) ⊂ ?を閉点（英語版）[要リンク修正](closed point) として持ち、零イデアル (0) を閉でない生成点（英語版）(generic point)（すなわち、閉包は全空間となる）として持つ。従って、Spec ? の閉集合全体は、ちょうど有限個の閉点の合併と全体空間からなる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s