Let $q$ be a power of a prime number, $K$ be a field containing $\textbf{F}_q$ and of transcendance degree one over it. Can I found $x\in K$ such that $K$ is a finite and separable field extension of $\textbf{F}_q(x)$?

Many thanks!

Asked

Active

Viewed 32 times

1

Let $q$ be a power of a prime number, $K$ be a field containing $\textbf{F}_q$ and of transcendance degree one over it. Can I found $x\in K$ such that $K$ is a finite and separable field extension of $\textbf{F}_q(x)$?

Many thanks!

Stabilo

- 1,350
- 8
- 18

1

This is possible if and only if $K$ is finitely generated over $\Bbb F_q$.
This is the existence of a *separating transcendence basis*.

Angina Seng

- 153,379
- 28
- 92
- 192