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
ビジネスモデル理解
takenawa
0
6.6k
Tutorial: Foundations of Blind Source Separation and Its Advances in Spatial Self-Supervised Learning
yoshipon
1
120
アントレプレナーシップ教育 ~ 自分で自分の幸せを決めるために ~
yoshizaki
0
120
マネジメント「される側」 こそ覚悟を決めろ
nao_randd
10
5.4k
SkimaTalk Introduction for Students
skimatalk
0
390
20250625_なんでもCopilot 一年の振り返り
ponponmikankan
0
230
SkimaTalk Teacher Guidelines Summary
skimatalk
0
800k
モンテカルロ法(3) 発展的アルゴリズム / Simulation 04
kaityo256
PRO
7
1.3k
Data Physicalisation - Lecture 9 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
450
Case Studies and Course Review - Lecture 12 - Information Visualisation (4019538FNR)
signer
PRO
1
2k
20250611_なんでもCopilot1年続いたぞ~
ponponmikankan
0
100
技術勉強会 〜 OAuth & OIDC 入門編 / 20250528 OAuth and OIDC
oidfj
5
1.3k
Featured
See All Featured
Designing for Performance
lara
610
69k
Become a Pro
speakerdeck
PRO
29
5.4k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.5k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
Fantastic passwords and where to find them - at NoRuKo
philnash
51
3.3k
The Straight Up "How To Draw Better" Workshop
denniskardys
234
140k
Automating Front-end Workflow
addyosmani
1370
200k
Bash Introduction
62gerente
613
210k
Raft: Consensus for Rubyists
vanstee
140
7k
The Power of CSS Pseudo Elements
geoffreycrofte
77
5.9k
Code Review Best Practice
trishagee
69
18k
Product Roadmaps are Hard
iamctodd
PRO
54
11k
Transcript
局所環と非単元の集合 Hanpen Robot
今日のテーマ 以下の命題の証明をします! 環Rが局所環 ⇔ ∖ ∗がイデアル
*記号の定義* : 環Rの極大イデアルの集合 ∗: 環Rの単元の集合 ∴ ∖ ∗ は環Rの非単元の集合となる!
そもそも局所環とは? 1コしか極大イデアルがない環のこと 「環Rが局所環である」を数式で書くと, !∃ ∈ , ≠ となる. !∃ は「唯一存在する」って意味です
環Rが局所環 ⇔ ∖ ∗がイデアル (⇒)の証明: ∈ , ≠ と仮定する. Step1
⊂ ∖ ∗を示す. ∈ ∗ ⇒ ∉ (∵ ≠ ) ∈ ⇒ ∉ ∗ (対偶命題) ∈ ⇒ ∈ ∖ ∗ ∴ ⊂ ∖ ∗
Step2 ∖ ∗ ⊂ を示す. ∈ ∖ ∗ ⇒ ⊂
(∵ ≠ ) そして,明らかに ∈ つまり, ∈ ∖ ∗ ⇒ ∈ ⊂ ∈ ∖ ∗ ⇒ ∈ ∴ ∖ ∗ ⊂ ※なお, = {rx | ∈ }で によって生成されたイデアルを意味している
<結論> ∖ ∗ = ∈ ∖ ∗は極大イデアルと等しい ゆえに, ∖ ∗はイデアルである!
(⇐)の証明: ∖ ∗がイデアルと仮定する. をの任意のイデアルとする. はイデアルなので, ∈ ∗ ⇒ ∉ ∈
⇒ ∉ ∗(対偶命題) ∈ ⇒ ∈ ∖ ∗ ⊂ ∖ ∗ ∴ ∖ ∗は唯一の極大イデアル (∵ は任意のイデアル) 証明終了
環Rが局所環 ⇔ ∖ ∗がイデアル この命題を使えば、環が局所環か判定出来る!
終