23/03/22 21:32:30.84 GGMqV7nr.net
>>604,607,610,593
>>614,615,625,628,629
a∈pとする。∃n>0、aⁿ=0、
S=aⁿ、S⁻Aにおいて1≠0、
(0)≠S⁻Aより極大Ideal Pが存在する
Pは素Idealなのでp=P∩Aも素Ideal、p∩S=∅、
a∈pなのでa∈p∩Sとなり矛盾
23/03/22 21:32:30.84 GGMqV7nr.net
>>604,607,610,593
>>614,615,625,628,629
a∈pとする。∃n>0、aⁿ=0、
S=aⁿ、S⁻Aにおいて1≠0、
(0)≠S⁻Aより極大Ideal Pが存在する
Pは素Idealなのでp=P∩Aも素Ideal、p∩S=∅、
a∈pなのでa∈p∩Sとなり矛盾