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
200
局所環と非単元 Local ring
環Rが局所環 ⇔ Rの非単元がイデアルになる
この命題の証明をしました
Hanpen_Robot
August 13, 2014
Tweet
Share
Other Decks in Education
See All in Education
「ロータリーって何?」と訊かれたら:国際ロータリー 2720地区 2023-2024年度 公共イメージ部門 副委員長・ 熊本南ロータリークラブ・ 株式会社ヒデコーポレーション 代表 大津 英敬 氏
2720japanoke
0
560
AI教育の未来『おもしろい』を作れる人材の育て方 #東京AI祭
o_ob
1
350
LinkedIn
matleenalaakso
0
780
HCL Notes 14.0 「スタイルの変更」で「3 設定の確認」を深掘り
harunakano
0
1.9k
経験に複利を効かせろ!ふりかえり研修2024
pokotyamu
21
7.5k
Gesture-based Interaction - Lecture 8 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.2k
HyRead2324
cbtlibrary
0
120
第33回 JAWS-UG札幌 クラウド女子会コラボ 勉強会
nagisa53
2
350
保育とふりかえりをコネクト! / connect childcare and retrospectives!
psj59129
1
150
@ngrx/signals
yannickbaron
0
150
Tips for the Presentation - Lecture 2 - Advanced Topics in Big Data (4023256FNR)
signer
PRO
0
130
Design Guidelines and Principles - Lecture 7 - Information Visualisation (4019538FNR)
signer
PRO
0
1.7k
Featured
See All Featured
Designing for Performance
lara
601
67k
Raft: Consensus for Rubyists
vanstee
132
6.3k
Thoughts on Productivity
jonyablonski
57
3.8k
Optimizing for Happiness
mojombo
370
69k
How To Stay Up To Date on Web Technology
chriscoyier
782
250k
Infographics Made Easy
chrislema
237
18k
Navigating Team Friction
lara
177
13k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
356
22k
How to name files
jennybc
64
93k
Clear Off the Table
cherdarchuk
83
310k
BBQ
matthewcrist
80
8.8k
What's new in Ruby 2.0
geeforr
337
31k
Transcript
局所環と非単元の集合 Hanpen Robot
今日のテーマ 以下の命題の証明をします! 環Rが局所環 ⇔ ∖ ∗がイデアル
*記号の定義* : 環Rの極大イデアルの集合 ∗: 環Rの単元の集合 ∴ ∖ ∗ は環Rの非単元の集合となる!
そもそも局所環とは? 1コしか極大イデアルがない環のこと 「環Rが局所環である」を数式で書くと, !∃ ∈ , ≠ となる. !∃ は「唯一存在する」って意味です
環Rが局所環 ⇔ ∖ ∗がイデアル (⇒)の証明: ∈ , ≠ と仮定する. Step1
⊂ ∖ ∗を示す. ∈ ∗ ⇒ ∉ (∵ ≠ ) ∈ ⇒ ∉ ∗ (対偶命題) ∈ ⇒ ∈ ∖ ∗ ∴ ⊂ ∖ ∗
Step2 ∖ ∗ ⊂ を示す. ∈ ∖ ∗ ⇒ ⊂
(∵ ≠ ) そして,明らかに ∈ つまり, ∈ ∖ ∗ ⇒ ∈ ⊂ ∈ ∖ ∗ ⇒ ∈ ∴ ∖ ∗ ⊂ ※なお, = {rx | ∈ }で によって生成されたイデアルを意味している
<結論> ∖ ∗ = ∈ ∖ ∗は極大イデアルと等しい ゆえに, ∖ ∗はイデアルである!
(⇐)の証明: ∖ ∗がイデアルと仮定する. をの任意のイデアルとする. はイデアルなので, ∈ ∗ ⇒ ∉ ∈
⇒ ∉ ∗(対偶命題) ∈ ⇒ ∈ ∖ ∗ ⊂ ∖ ∗ ∴ ∖ ∗は唯一の極大イデアル (∵ は任意のイデアル) 証明終了
環Rが局所環 ⇔ ∖ ∗がイデアル この命題を使えば、環が局所環か判定出来る!
終