M → M_S は完全関手である。
つまり、A-加群の完全列 0 → N → M → L → 0 があると
0 → N_S → M_S → L_S → 0 も完全である。