Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
局所環と非単元 Local ring
Search
Hanpen_Robot
August 13, 2014
Education
0
270
局所環と非単元 Local ring
環Rが局所環 ⇔ Rの非単元がイデアルになる
この命題の証明をしました
Hanpen_Robot
August 13, 2014
Tweet
Share
Other Decks in Education
See All in Education
The Art of Note Taking
kanaya
1
140
Dashboards - Lecture 11 - Information Visualisation (4019538FNR)
signer
PRO
1
2.1k
2025年度春学期 統計学 第1回 イントロダクション (2025. 4. 10)
akiraasano
PRO
0
180
検索/ディスプレイ/SNS
takenawa
0
6.6k
生成AIとの上手な付き合い方【公開版】/ How to Get Along Well with Generative AI (Public Version)
handlename
0
490
JPCERTから始まる草の根活動~セキュリティ文化醸成のためのアクション~
masakiokuda
0
190
モンテカルロ法(3) 発展的アルゴリズム / Simulation 04
kaityo256
PRO
7
1.3k
今も熱いもの!魂を揺さぶる戦士の儀式:マオリ族のハカ
shubox
0
210
社外コミュニティと「学び」を考える
alchemy1115
2
170
Virtual and Augmented Reality - Lecture 8 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.7k
『会社を知ってもらう』から『安心して活躍してもらう』までの プロセスとフロー
sasakendayo
0
230
予習動画
takenawa
0
7.1k
Featured
See All Featured
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
48
2.9k
Stop Working from a Prison Cell
hatefulcrawdad
271
21k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.6k
Bash Introduction
62gerente
613
210k
Visualization
eitanlees
146
16k
Facilitating Awesome Meetings
lara
54
6.4k
Rebuilding a faster, lazier Slack
samanthasiow
82
9.1k
It's Worth the Effort
3n
185
28k
Build The Right Thing And Hit Your Dates
maggiecrowley
36
2.8k
Fireside Chat
paigeccino
37
3.5k
Designing Experiences People Love
moore
142
24k
Balancing Empowerment & Direction
lara
1
430
Transcript
局所環と非単元の集合 Hanpen Robot
今日のテーマ 以下の命題の証明をします! 環Rが局所環 ⇔ ∖ ∗がイデアル
*記号の定義* : 環Rの極大イデアルの集合 ∗: 環Rの単元の集合 ∴ ∖ ∗ は環Rの非単元の集合となる!
そもそも局所環とは? 1コしか極大イデアルがない環のこと 「環Rが局所環である」を数式で書くと, !∃ ∈ , ≠ となる. !∃ は「唯一存在する」って意味です
環Rが局所環 ⇔ ∖ ∗がイデアル (⇒)の証明: ∈ , ≠ と仮定する. Step1
⊂ ∖ ∗を示す. ∈ ∗ ⇒ ∉ (∵ ≠ ) ∈ ⇒ ∉ ∗ (対偶命題) ∈ ⇒ ∈ ∖ ∗ ∴ ⊂ ∖ ∗
Step2 ∖ ∗ ⊂ を示す. ∈ ∖ ∗ ⇒ ⊂
(∵ ≠ ) そして,明らかに ∈ つまり, ∈ ∖ ∗ ⇒ ∈ ⊂ ∈ ∖ ∗ ⇒ ∈ ∴ ∖ ∗ ⊂ ※なお, = {rx | ∈ }で によって生成されたイデアルを意味している
<結論> ∖ ∗ = ∈ ∖ ∗は極大イデアルと等しい ゆえに, ∖ ∗はイデアルである!
(⇐)の証明: ∖ ∗がイデアルと仮定する. をの任意のイデアルとする. はイデアルなので, ∈ ∗ ⇒ ∉ ∈
⇒ ∉ ∗(対偶命題) ∈ ⇒ ∈ ∖ ∗ ⊂ ∖ ∗ ∴ ∖ ∗は唯一の極大イデアル (∵ は任意のイデアル) 証明終了
環Rが局所環 ⇔ ∖ ∗がイデアル この命題を使えば、環が局所環か判定出来る!
終