命題(整代数の局所化)
A を環、B を A 上整な代数とする。
S を A の積閉集合(>>63)とする。
B_S は A_S 上整である。

証明
B_S = B(x)A_S である(>>85)。
よって、これは >>513 の特別な場合である。
証明終