環モジュールの定義、演算、および基本的な性質