§ Finitely generated as vector space v/s algebra:
- To be finitely generated as a vector space over K from a generating set S means that we take elements of the form ∑ikisi, or abbreviated, elements of the form ∑KS
- To be finitely generated as a K algebra from a generating set S, we take elements of the form ∑ikisi+∑ijkijsisj+…. To abbreviate, elements of the form ∑C+CS+CS2+CS3⋯=C/(1−S).
As a trivial example, consider K[X]. This is not finitely generated as a
vector space since it doesn't have a finite basis: the obvious choice of
generating set {1,X,X2,…} is not finite. It is finitely
generated as a K-algebra with generating set {X}.