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!
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!
Copyright © 2021 JogjaFile Inc.
This is possible if and only if $K$ is finitely generated over $\Bbb F_q$. This is the existence of a separating transcendence basis.