23/02/04 19:19:07.24 FDHzEhQG.net
>>443
Aを環とする。pがIdealでa, b∉p⇒ab∉pの時, pをAの素Idealという。m⊂AがIdealで、Iがmを含むAの真のIdealならばI=m
という条件が成り立つ時、mをAの極大Idealという
自然な準同型π:A→A/p
a∉p⇔π(a)≠0
x, y∈{(A/p－\{0}⇒xy∉(A/p)\{0}
なのでA/pは整域である
23/02/04 19:19:07.24 FDHzEhQG.net
>>443
Aを環とする。pがIdealでa, b∉p⇒ab∉pの時, pをAの素Idealという。m⊂AがIdealで、Iがmを含むAの真のIdealならばI=m
という条件が成り立つ時、mをAの極大Idealという
自然な準同型π:A→A/p
a∉p⇔π(a)≠0
x, y∈{(A/p－\{0}⇒xy∉(A/p)\{0}
なのでA/pは整域である