[過去ログ]
純粋・応用数学(含むガロア理論)3 (1002レス)
純粋・応用数学(含むガロア理論)3 http://rio2016.5ch.net/test/read.cgi/math/1595166668/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
644: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/24(月) 07:17:32.11 ID:+oiN9Lqm >>643 つづき https://www.irohabook.com/maximal-ideal Irohabook 極大イデアルの定義と性質(可換環) Aのイデアルmは 1.mがAでない 2.mより真に大きい自明でないイデアルが存在しない を満たすとき、極大イデアルであるという。 ツォルンの補題と極大イデアルの存在 可換環においてイデアルの集合(イデアルは集合だから集合の集合ということになる)は、包含関係によって順序をなす。 順序集合において成り立つツォルンの補題から、すべての自明でない可換環(零でない可換環)は極大イデアルをもつ。 ツォルンの補題→極大イデアルの存在 極大イデアルで割った商環 可換環をイデアルで割ると可換環になる。可換環を極大イデアルで割ると可換環になるが、同時に体になる。これはイデアルの包含関係が商に受けつがれることと、体に自明でないイデアルが存在しないことからわかる。 極大イデアルで割る→剰余環は体 極大イデアルは素イデアルである そこに含まれる元を二つの積に分解したとき、分解後の元がすべてそこに含まれるようなイデアルを素イデアルという。極大イデアルは素イデアルである。 可換環を素イデアルで割ると整域になるが、体は整域であるから、極大イデアルは素イデアルになる。 可換環関連記事 1.整域の整閉性は局所化で保存する 2.すべての環は極大イデアルをもつ 3.ネーター環の定義と性質 4.素イデアルの定義と性質(可換環) 5.極大イデアルの定義と性質(可換環) 6.素イデアルの定義と可換環の次元の話 つづく http://rio2016.5ch.net/test/read.cgi/math/1595166668/644
645: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/24(月) 07:18:50.32 ID:+oiN9Lqm >>644 つづき (参考:下記も分り易い、”関数環の場合に,ある一点で0となるもの全体が極大イデアルとなって,その点を指示するので,一般的な抽象論で,理想上の点を考えるのに使う”) https://kotobank.jp/word/%E6%A5%B5%E5%A4%A7%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB-53262 コトバンク 極大イデアル(読み)きょくだいイデアル(英語表記)maximal ideal ブリタニカ国際大百科事典 小項目事典の解説 環 R のイデアル J が極大であるとは,次の2条件を満足するようなイデアル J' ,すなわち,(1) J を真部分集合として含むような J' ,(2) R と異なる J' ,が存在しない場合である。このとき J を R の極大イデアルという。関数環の場合に,ある一点で0となるもの全体が極大イデアルとなって,その点を指示するので,一般的な抽象論で,理想上の点を考えるのに使う。 https://www.slideshare.net/HanpenRobot/ss-43045930 代数幾何02 極大イデアルとは点である HanpenRobot Hanpen Robotの代数幾何の,素朴な疑問を解決しようのコーナー! https://tetobourbaki.はてなぶろぐ.com/entry/2019/03/01/203500 記号の世界 20190301 なぜ素イデアルを点と見るのか数学 代数幾何について最近ちょっとしっくりきたのでまとめておきます. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1595166668/645
647: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/24(月) 07:27:10.26 ID:+oiN9Lqm >>643-645 補足 イデアル 代数学の抽象的な定義をぶつけられて、「なにそれ?」となる人もいるかも 上記に示した具体的な使い道や、イデアルの生まれた由来(下記)などを、腹に入れておくと、理解しやすいかも 代数学の抽象的な定義をぶつけられて、「なにそれ?」で、立ち止まってしまわないことだな いまどき、ちょっと調べれば分かることも多い https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB_(%E7%92%B0%E8%AB%96) イデアル (環論) 歴史 19世紀のドイツの数学者であるクンマーはフェルマーの最終定理を証明しようと研究していた。その中で彼は、代数的整数に関しては有理整数の場合のような素因数分解の一意性が必ずしも成り立たないという問題に直面した。 理想的な分解を与える因子を理想(複素)数 (ideale complexe Zahl ) あるいは理想因子 (ideal Primfactor) と名付けて、理想数の理論を築いた。 クンマーの理想数の理論は非常に形式的で、とても難解なものであった。後になってデデキントは理想数の理論を整理することによってイデアルを考案した。 http://rio2016.5ch.net/test/read.cgi/math/1595166668/647
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s