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
OpenSourceSummitJapanを運営してみた話
kujiraitakahiro
0
730
今も熱いもの!魂を揺さぶる戦士の儀式:マオリ族のハカ
shubox
0
210
SARA Annual Report 2024-25
sara2023
1
180
Pydantic(AI)とJSONの詳細解説
mickey_kubo
0
140
Info Session MSc Computer Science & MSc Applied Informatics
signer
PRO
0
190
2025年度春学期 統計学 第5回 分布をまとめるー記述統計量(平均・分散など) (2025. 5. 8)
akiraasano
PRO
0
140
Pythonパッケージ管理 [uv] 完全入門
mickey_kubo
20
16k
20250625_なんでもCopilot 一年の振り返り
ponponmikankan
0
260
2025年度春学期 統計学 第6回 データの関係を知る(1)ー相関関係 (2025. 5. 15)
akiraasano
PRO
0
110
予習動画
takenawa
0
8.6k
モンテカルロ法(3) 発展的アルゴリズム / Simulation 04
kaityo256
PRO
7
1.3k
推しのコミュニティはなんぼあってもいい / Let's join a lot of communities.
kaga
2
1.8k
Featured
See All Featured
Embracing the Ebb and Flow
colly
86
4.8k
Navigating Team Friction
lara
187
15k
Site-Speed That Sticks
csswizardry
10
700
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
Testing 201, or: Great Expectations
jmmastey
43
7.6k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
The Art of Programming - Codeland 2020
erikaheidi
54
13k
The Cult of Friendly URLs
andyhume
79
6.5k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
Thoughts on Productivity
jonyablonski
69
4.7k
What's in a price? How to price your products and services
michaelherold
246
12k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Transcript
局所環と非単元の集合 Hanpen Robot
今日のテーマ 以下の命題の証明をします! 環Rが局所環 ⇔ ∖ ∗がイデアル
*記号の定義* : 環Rの極大イデアルの集合 ∗: 環Rの単元の集合 ∴ ∖ ∗ は環Rの非単元の集合となる!
そもそも局所環とは? 1コしか極大イデアルがない環のこと 「環Rが局所環である」を数式で書くと, !∃ ∈ , ≠ となる. !∃ は「唯一存在する」って意味です
環Rが局所環 ⇔ ∖ ∗がイデアル (⇒)の証明: ∈ , ≠ と仮定する. Step1
⊂ ∖ ∗を示す. ∈ ∗ ⇒ ∉ (∵ ≠ ) ∈ ⇒ ∉ ∗ (対偶命題) ∈ ⇒ ∈ ∖ ∗ ∴ ⊂ ∖ ∗
Step2 ∖ ∗ ⊂ を示す. ∈ ∖ ∗ ⇒ ⊂
(∵ ≠ ) そして,明らかに ∈ つまり, ∈ ∖ ∗ ⇒ ∈ ⊂ ∈ ∖ ∗ ⇒ ∈ ∴ ∖ ∗ ⊂ ※なお, = {rx | ∈ }で によって生成されたイデアルを意味している
<結論> ∖ ∗ = ∈ ∖ ∗は極大イデアルと等しい ゆえに, ∖ ∗はイデアルである!
(⇐)の証明: ∖ ∗がイデアルと仮定する. をの任意のイデアルとする. はイデアルなので, ∈ ∗ ⇒ ∉ ∈
⇒ ∉ ∗(対偶命題) ∈ ⇒ ∈ ∖ ∗ ⊂ ∖ ∗ ∴ ∖ ∗は唯一の極大イデアル (∵ は任意のイデアル) 証明終了
環Rが局所環 ⇔ ∖ ∗がイデアル この命題を使えば、環が局所環か判定出来る!
終