23/03/22 13:01:00.49 GGMqV7nr.net
>>541,554,555,577,588
>>590,593,610
A[1/f]は局所化、全商環の中で1/fで生成された環、
pが素Ideal⇔ A\pが乗法について閉じている
1∉p∧0∈pより1∈S∧0∉SとなるのでSは乗法的集合である
23/03/22 13:01:00.49 GGMqV7nr.net
>>541,554,555,577,588
>>590,593,610
A[1/f]は局所化、全商環の中で1/fで生成された環、
pが素Ideal⇔ A\pが乗法について閉じている
1∉p∧0∈pより1∈S∧0∉SとなるのでSは乗法的集合である