数学において、与えられた群 "G" 上の加群（かぐん、）または "G"-加群 とは、アーベル群 "M" であって "M" の群構造と両立する "G" の作用を持つものをいう。これは"G" の表現に広く一般に用いることのできる概念である。群コホモロジーは "G"-加群の一般論の研究において重要な道具をいくつも提供する。"G"-加群という用語はもっといっぱんに、"G" が線型に（つまり "R"-加群の自己同型からなる群として）作用する"R"-加群に対しても用いられる。"G" を群とする。左 "G"-加群あるいは "G"-左加群は、アーベル群 "M" に左からの群作用 ρ: "G" × "M" → "M" でとなるものをあわせて考えたものである。右 "G"-加群、"G"-右加群 も右からの作用を考えて同様に定義される。左 "G"-加群 "M" が与えられたとき、"G" の右からの作用をで定義することにより、"M" を右 "G"-加群にすることができる。"G"-加群 "M

出典:wikipedia