BがAの整拡大であれば、SをAの積閉集合とするとき、S^-1BはS^-1A上整拡大となる
特にS=A¥pとしてこれは積閉集合なので、S^-1BはA_pの整拡大
B_p=S^-1Bとする

というのはあった