詳細は環の局所化を参照。