Finitely generated field extension