有限生成加群

数学において、有限生成加群（ゆうげんせいせいかぐん、英: finitely generated module）とは、有限な生成集合をもつ加群のことである。有限生成 R-加群はまた有限 R-加群 (finite R-module, module of finite type) や R 上有限 (finite over R) とも呼ばれる。 関連した概念に、有限余生成加群 (finitely cogenerated module)、有限表示加群 (finitely presented module)、有限関係加群 (finitely related module)、連接加群 (coherent module) があり、これらはすべてあとで定義される。ネーター環上では、有限生成、有限表示、連接加群の概念は一致する。 たとえば体上の有限生成加群とは単に有限次元ベクトル空間であり、有理整数環上の有限生成加群とは単に有限生成アーベル群である。