環上の交換環に関するモジュールの定義と基本的な性質