모듈 이론에서의 국소화 응용