とする.このときは-加群を成す. (説明) は-加群の部分加群であるから () () という性質をもつ.このとき (ア) が成立する. (証明) i.e. i.e. と置く.このときより である.とくにはの部分群であるから と成る.▢ (イ) が成立する. (証明) (ア)よりである.いま,に対して-加群でいう「積」を考える.(とくに)パラメタに対して () i.e. () i.e. と置きより となるようなを定義すればよい.▢ そして,について と置く.このとき(イ)の結果からであるので (-加群でいう積) という演算を定めると剰余群は-加群を成し,これをを法とするの剰余加群と呼ぶ.また, …