加群
加群 （かぐん / module） M とは、演算が和で定義された群（参考：アーベル群）のことである。 加法群（additive group）ということもある。また、環 R に対して、写像 R×M → M; (r, a) → ra (r ∈ R, a ∈ M) で、 任意の r, s ∈ R, a, b ∈ M に対して、 • r(a + \b) = ra + rb • (rs)a = r(sa) をみたすものが存在するとき、M を環 R 上の加群、略してR-加群（R-module）という。 もし環 R が（乗法に関する）単位元 1 を持つとき、 • 1a = a という仮定も加えて、R-加群ということにする。
R-加群の一般化として、代数的構造 A に対して、A の表現 (ρ, V) が定まっているとき、V を A-加群ということもある。
例
執筆中
この記事はスタブ（書きかけ）です。この記事を加筆して下さる協力者を求めています。
