The property of a module, algebra, or ideal that it can be generated by a finite set of elements: there exists a finite tuple whose R-linear combinations (or algebra combinations) produce the whole object. Often abbreviated 'finitely generated' (fg).

Principle

Control by finite data: finite generation expresses that global algebraic structure can be built from finitely many generators, enabling noetherian arguments, induction on number of generators, and effective presentations.

Demonstration

The Z-module Z^n is finitely generated by the standard basis of n elements. The polynomial algebra k[x] is finitely generated as a k-algebra by one element x, while the ideal (x, y) in k[x,y] is finitely generated by x and y.

Misapplication

Confusing finite generation as an invariant under arbitrary base change or quotient without checking hypotheses; assuming finite generation implies finite presentation or freeness without additional conditions leads to errors.

Consequence

Finite generation yields compactness properties: submodules of finitely generated modules over noetherian rings are finitely generated, many algorithms terminate, and structural theorems (Hilbert basis, Krull dimension arguments) apply.

Reversal

Infinite generation means no finite set suffices; objects may require infinitely many generators, leading to pathologies for algorithms, failure of noetherian reduction, and subtler homological behavior.

Boundary

Finite generation is distinct from finite presentation (relations may be infinite) and from finite length (composition series); the property depends on the ring and category (module vs algebra) and must be stated precisely in context.

Semantic Tension

Tension between finite generation and finiteness notions like finite presentation, finite type, and finite projective dimension; these overlap only under additional ring-theoretic hypotheses and are not interchangeable.

Synthesis

Finite generation means the object is spanned by finitely many generators: a basic finiteness condition that enables noetherian techniques and effective descriptions but must be distinguished from stronger finiteness properties.