5
$\begingroup$

I'd like to fine an example of field $K$ and elements $\alpha, \beta$ such that $\mathrm{char}(K) = p> 0 $, $[K(\alpha):K] = [K(\beta):K]$ but $K(\alpha) \not \cong K(\beta)$.

This obviously can't work if $K$ is a finite field. So I need to find a non-finite $K$. The only ones that pop into my head are $\mathbb F_p(t)$, $\mathbb F_p(t^p)$ and $\overline{\mathbb F}_p$ for $t$ an indererminate, but I'm struggling to find an example.

Any hints would be greatly appreciated.

Thanks

  • 0
    @QiaochuYuan I think that's the worst mistake I've made since I first learned what$a$field is. I now understand what's going on, and withdraw sheepishly. Thanks for your help2012-05-08

1 Answers 1

4

Let us try to save this question from the Well of Oblivion of Unanswered Questions, following the solution already detailed in the comments of Qiaochu and the OP Jonathan:

Take $K:=\mathbb F_3(t)\,,\,\alpha:=\sqrt{t}\,,\,\beta=\sqrt{-1}$

As $\,\alpha\,,\,\beta\notin K\,\,\,\text{but}\,\,\alpha^2\,,\,\beta^2\in K\,$ , the extensions $\,K(\alpha)\,,\,K(\beta)\,$ are both quadratic ones , so $\,[K:K(\alpha)]=[K:K(\beta)]=2\,$, yet these two fields cannot be isomorphic as, say $\,\beta\notin K(\alpha)\,$ (and also the other way around)