有限生成群
代数学における有限生成群（ゆうげんせいせいぐん、）は、適当な有限部分集合 を生成系とする群 を言う。すなわち有限生成群 の任意の元は、（有限集合 とそれに属する元の逆元の集合 の合併）の有限個の元の積に書ける。
定義により任意の有限群 は有限生成である（ ととればよい）。任意の有限生成無限群は可算でなければならないが、任意の可算群は必ずしも有限生成でない。実際、有理数全体の成す加法群 は有限生成でない可算群の例を与える。
有限生成群の任意の剰余群はまた有限生成である。有限生成群の部分群は有限生成とは限らない。