モジュール論における局所化の応用