Download free for 30 days
Sign in
Upload
Language (EN)
Support
Business
Mobile
Social Media
Marketing
Technology
Art & Photos
Career
Design
Education
Presentations & Public Speaking
Government & Nonprofit
Healthcare
Internet
Law
Leadership & Management
Automotive
Engineering
Software
Recruiting & HR
Retail
Sales
Services
Science
Small Business & Entrepreneurship
Food
Environment
Economy & Finance
Data & Analytics
Investor Relations
Sports
Spiritual
News & Politics
Travel
Self Improvement
Real Estate
Entertainment & Humor
Health & Medicine
Devices & Hardware
Lifestyle
Change Language
Language
English
Español
Português
Français
Deutsche
Cancel
Save
EN
Uploaded by
HanpenRobot
PDF, PPTX
1,446 views
イデアルの定義と性質
イデアルが単元を含めば,自明なイデアルになることの証明です
Education
◦
Read more
0
Save
Share
Embed
Embed presentation
Download
Download as PDF, PPTX
1
/ 8
2
/ 8
3
/ 8
4
/ 8
5
/ 8
6
/ 8
7
/ 8
8
/ 8
More Related Content
PDF
準素イデアルと素因子
by
HanpenRobot
PDF
グレブナー基底輪読会 #1 ―準備体操の巻―
by
Yutaka Nagahata
PDF
技術者が知るべき Gröbner 基底
by
Hiromi Ishii
PDF
2014年度秋学期 応用数学(解析) 第5部・測度論ダイジェスト / 第15回 ルベーグ積分 (2015. 1. 22)
by
Akira Asano
PDF
数学プログラムを Haskell で書くべき 6 の理由
by
Hiromi Ishii
PDF
集合の直積に関するメモ 𝐴×𝐵={(𝑎,𝑏) | 𝑎∈𝐴, 𝑏∈𝐵}, 𝑝_1 ((𝑎,𝑏))=𝑎,𝑝_2 ((𝑎,𝑏))=𝑏
by
HanpenRobot
PDF
圏論メモ_対角関手.pdf 任意の圏𝑪の任意の対象は 圏𝟏からの関手であり、そして対象間の射は自然変換とみなせることの説明
by
HanpenRobot
PDF
fermat's little theorem and …
by
HanpenRobot
準素イデアルと素因子
by
HanpenRobot
グレブナー基底輪読会 #1 ―準備体操の巻―
by
Yutaka Nagahata
技術者が知るべき Gröbner 基底
by
Hiromi Ishii
2014年度秋学期 応用数学(解析) 第5部・測度論ダイジェスト / 第15回 ルベーグ積分 (2015. 1. 22)
by
Akira Asano
数学プログラムを Haskell で書くべき 6 の理由
by
Hiromi Ishii
集合の直積に関するメモ 𝐴×𝐵={(𝑎,𝑏) | 𝑎∈𝐴, 𝑏∈𝐵}, 𝑝_1 ((𝑎,𝑏))=𝑎,𝑝_2 ((𝑎,𝑏))=𝑏
by
HanpenRobot
圏論メモ_対角関手.pdf 任意の圏𝑪の任意の対象は 圏𝟏からの関手であり、そして対象間の射は自然変換とみなせることの説明
by
HanpenRobot
fermat's little theorem and …
by
HanpenRobot
More from HanpenRobot
PDF
Campbell hasudorff formula
by
HanpenRobot
PDF
構造定数が随伴表現になることの証明
by
HanpenRobot
PPTX
Log complex
by
HanpenRobot
PDF
代数幾何memo_2020March30_1337
by
HanpenRobot
PDF
金利スワップのメモ
by
HanpenRobot
PDF
Conditional expectation projection 2018 feb 18
by
HanpenRobot
PDF
集合の上極限,下極限
by
HanpenRobot
PDF
確率微分方程式の基礎
by
HanpenRobot
PDF
Noether環上の有限生成加群の有限表示
by
HanpenRobot
PDF
微分演算子と多項式の剰余環の関係 2016 october 12
by
HanpenRobot
PDF
位相空間の開集合の成す圏 2016 august 30
by
HanpenRobot
PDF
Fourier transform on real-valued function over symmetric group
by
HanpenRobot
PDF
置換族の一様分布
by
HanpenRobot
PDF
Duality of laplace transform
by
HanpenRobot
PDF
Fourier analysis on symmetric group
by
HanpenRobot
PDF
Conjugate cyclic permutation
by
HanpenRobot
PDF
ベイズ識別 一般化逆行列
by
HanpenRobot
PDF
電子光波Memo
by
HanpenRobot
PDF
Minimize quadratic form
by
HanpenRobot
PDF
Finite set complex function
by
HanpenRobot
Campbell hasudorff formula
by
HanpenRobot
構造定数が随伴表現になることの証明
by
HanpenRobot
Log complex
by
HanpenRobot
代数幾何memo_2020March30_1337
by
HanpenRobot
金利スワップのメモ
by
HanpenRobot
Conditional expectation projection 2018 feb 18
by
HanpenRobot
集合の上極限,下極限
by
HanpenRobot
確率微分方程式の基礎
by
HanpenRobot
Noether環上の有限生成加群の有限表示
by
HanpenRobot
微分演算子と多項式の剰余環の関係 2016 october 12
by
HanpenRobot
位相空間の開集合の成す圏 2016 august 30
by
HanpenRobot
Fourier transform on real-valued function over symmetric group
by
HanpenRobot
置換族の一様分布
by
HanpenRobot
Duality of laplace transform
by
HanpenRobot
Fourier analysis on symmetric group
by
HanpenRobot
Conjugate cyclic permutation
by
HanpenRobot
ベイズ識別 一般化逆行列
by
HanpenRobot
電子光波Memo
by
HanpenRobot
Minimize quadratic form
by
HanpenRobot
Finite set complex function
by
HanpenRobot
イデアルの定義と性質
1.
イデアルの定義と性質 Hanpen Robot
2.
今日のテーマ 「属性の上書き」 注意:「属性の上書き」という言葉は 僕が勝手に作った言葉です 普通の教科書には書いてありません!
3.
イデアルの定義 • 環Rの特殊な部分集合Jのこと. (𝐽
⊂ 𝑅) • 次の(1),(2)を満たす時, Jは環Rのイデアルである. • (1) 𝑥, 𝑦 ∈ 𝐽 ⇒ 𝑥 + 𝑦 ∈ 𝐽 • (2) 𝑥 ∈ 𝐽 𝑎𝑛𝑑 𝑟 ∈ 𝑅 ⇒ 𝑟𝑥 ∈ 𝐽 ←属性の上書き • (1)の意味: Jでは足し算ができる • (2)の意味: Jの要素と掛け算すると,強制的に属性 がJにかわる
4.
かっこいいイデアルの表現 •Jが環Rのイデアル ⇔ 𝑅𝐽
⊂ 𝐽 •ただし、 RJ = 𝑟𝑥 𝑟 ∈ 𝑅, 𝑥 ∈ 𝐽}とする • 𝑅𝐽 ⊂ 𝐽はイデアルの「属性の上書き」の性質をよ く表現している
5.
命題a: もしイデアルJが1 ∈
𝐽 ならば 𝐽 = 𝑅 • イデアル𝐽が環Rの単位元を含むと,環𝑅になる. • 環R自身は自明なイデアルと呼ぶ • 命題aは背理法を使うときに使用される. • 命題aの使用方法 • 𝐽が自明ではないイデアルと仮定する. • いろいろ計算する ⇒ 1 ∈ 𝐽が導かれたら, 𝐽 = R • 仮定に矛盾! ∴Jはイデアルではない!
6.
命題aの証明 • 証明すべきこと: Jがイデアル
𝑎𝑛𝑑 1 ∈ 𝐽 ⇒ 𝐽 = 𝑅 • 𝐽はイデアルなので, 𝑥 ∈ 𝐽 𝑎𝑛𝑑 𝑟 ∈ 𝑅 ⇒ 𝑟𝑥 ∈ 𝐽が成り立つ • ここで,𝑥 = 1としてみる. すると・・・ • 1∈ 𝐽 𝑎𝑛𝑑 𝑟 ∈ 𝑅 ⇒ 𝑟 = 𝑟 ∙ 1 ∈ 𝐽 • 「属性の上書き」から𝑟 ∈ 𝑅 ⇒ 𝑟 ∈ 𝐽,すなわち,R ⊂ 𝐽が導ける! • イデアルの定義からJ ⊂ 𝑅は明らか • ∴ 𝐽 = 𝑅 証明終了
7.
命題b: イデアルJが𝑢 ∈
𝐽 (∃𝑢−1 ∈ 𝑅) ならば 𝐽 = 𝑅 • 命題bの意味: もしイデアルJが単元を含めば, 𝐽 = 𝑅 • 単元: 割り算ができる元 • 命題bの証明: 𝑥 ∈ 𝐽 𝑎𝑛𝑑 𝑟 ∈ 𝑅 ⇒ 𝑟𝑥 ∈ 𝐽で,𝑥 = 𝑢, 𝑟 = 𝑢−1 と する. • すると, u ∈ 𝐽 𝑎𝑛𝑑 𝑢−1 ∈ 𝑅 ⇒ 𝑢 ∙ 𝑢−1 = 1 ∈ 𝐽 • よって,命題aから 𝐽 = 𝑅 • 証明終了!
8.
終
Download