在抽象代数中，有限生成意谓一个代数结构中存在有限多个元素 formula_1，使得每个元素都能由这些元素的代数运算生成；或者形式地说，谓该结构能表成有限个生成元的自由对象的商（在适当的范畴内）。这类对象有时也称为有限型的。以下是常见的特例：