- To be finitely generated as a vector space over from a generating set means that we take elements of the form , or abbreviated, elements of the form
- To be finitely generated as a algebra from a generating set , we take elements of the form . To abbreviate, elements of the form .
As a trivial example, consider . This is not finitely generated as a vector space since it doesn't have a finite basis: the obvious choice of generating set is not finite. It is finitely generated as a -algebra with generating set .