抽象代数学において、アーベル群(G,+)が有限生成(finitelygenerated)であるとは、Gの有限個の元x1,...,xsが存在して、Gのすべての元xがn1,...,nsを整数としてx=n1x1+n2x2+...+nsxsの形に書けるということである。
在抽象代数中，阿贝尔群(G,+)叫做有限生成的，如果存在G中有限多个元素x1,...,xs使得所有G中的x可以写为如下形式x=n1x1+n2x2+...+nsxsn1,...,ns是整数。