アティマクに
環Bの部分環Aの素イデアルpに対して
(A_pではなく)B_pの記述があったのですが
これはどう定義されてるんでしょうか？
B\pは積閉になるとは限らない気がしました