>>92
ℚはℤの商体、S=ℤ\{0}による局所化
n変数有理関数体
局所化→X=0の近傍で定義された関数の集合
pS⁻¹A∈𝕐、