加群の局所化
定義から、加群の局所化は完全関手であること、言い換えると(テンソル積で読み替えて)SR が R 上の平坦加群であることが分かる。この事実は、特に開集合 Spec(SR) の Spec(R) の中への包含(環のスペクトルを参照)は平坦射であると言うことで、代数幾何学で平坦性を使うのに基本的である。