在抽象代数中,有限生成意谓一个代数结构中存在有限多个元素 x 1 , … , x n {\displaystyle x_{1},\ldots ,x_{n}} ,使得每个元素都能由这些元素的代数运算生成;或者形式地说,谓该结构能表成有限个生成元的自由对象的商(在适当的范畴内)。这类对象有时也称为有限型的。
以下是常见的特例: