finitely generated extension

field extension with a finite set of algebra generators