Given an F-algebra and a subset , The subgroup generated by is the smallest F-subalgebra containing .

A finitely generated algebra is any algebra generated from a finite set.