module)とは、ベクトル空間を一般化した概念で、係数(スカラー)を体の元とする代わりに、より一般の環の元としたものである。加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。加群は群の表現論に非常に近しい関連を持つ。加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。ベクトル空間においては、スカラーの全体は体を成し、ベクトルに対して分配律などの特定の条件を満足するスカラー乗法によって作用している。環上の加群においては、スカラーの全体は環であればよく、その意味で環上の加群の概念は重大な一般化になっている。可換環論における重要な概念であるイデアルおよび剰余環は、いずれも環上の加群とみることができ、イデアルや剰余環に関するさまざまな議論を加群の言葉によって統一的に扱うことができるようになる。非可換環論では、イデアルの(作用の入る向きとして)左右を区別するし、環上の加群においてもそれはより顕著になることだが、しかしさまざまに重要な環論的議論において片側(大抵は左)からの作用に関するものだけを条件として提示することが行われる。環上の加群の領域でどれだけたくさん存在するかというような議論からなるが、しかしながら環上の加群はベクトル空間に比べてかなり複雑である。どんな加群でも基底を持つわけではないし、基底を持つ(自由加群と呼ばれる)加群であっても基礎環(係数環)が不変基底数条件を満足しないならば階数も一意ではない。これはベクトル空間が(選択公理を仮定すれば)常に基底を持ち、基底の濃度が常に一定となることと対照的である。R-左加群などと呼んで区別する。本項では用語の一貫性を図るため、特に断りの無い場合は環も加群も単位的であると仮定する)。環準同型となることを要請するものになっている。環上の加群とは環作用を持つアーベル群のことである(群作用あるいは作用も参照)。この意味では、環上の加群の理論は群の(あるいは同じことだが群環の)ベクトル空間における作用を扱う群の表現論(線型表現論)の一般化である。