"Purely inseparable, algebraic extension if and only if trivial automorphism group"

360 Views Asked by At

Let $k \subset K$ be an algebraic field extension, with $\mathrm{char} \, k=p>0$. Is it true the following assertion?

$k \subset K$ is purely inseparable if and only if $\mathrm{Aut}_k(K)=\{1\}$; where $\mathrm{Aut}_k(K)$ are the automorphisms of $K$ which fix $k$. I showed the arrow $\Rightarrow$ and i think it works. What about the arrow $\Leftarrow$?.

Thanks to everyone.

1

There are 1 best solutions below

3
On BEST ANSWER

If you take $K=\Bbb F_5(t)$ and $k=\Bbb F_5(t^3)$ then the extension is separable but there are no automorphisms as there are no 3rd roots of $1$ in $k$ (besides $1$).