1
$\begingroup$

Let $K$ be a field of characteristic $p$ and $L=K(X,Y)$ where $X$ and $Y$ are variables (i.e. $L$ is the field of fractions of the polynomial ring $K[X,Y]$.

Let $\alpha,\beta\in\overline L$ such that $\alpha^p=X$ and $\beta^p=Y$. Let's consider the extension $L(\alpha,\beta)/L$. Clearly, $L(\alpha)/L$ and $L(\beta)/L$ are extensions of degree $p$. But what about the degree of $$L(\alpha,\beta)/L\text{ ?}$$ It seems natural that $T^p-X$ is still irreducible over $L(\beta)$, because we essentially don't add anything about $X$ when we go up to $L(\beta)$.

However, I haven't found an elegant/rigorous way to show that. What I actually did some time ago was writing $T^p-X$ as the product of two polynomials in $L(\beta)$ and observing that it led to something "strange", but it was quite messy and not totally rigorous.

Is there a nice way to prove that ?

  • 1
    You know that $L(\alpha, \beta) = (L(\alpha))(\beta)$ and that $[L(\alpha, \beta): L] = [L(\alpha, \beta):L(\alpha)][L(\alpha):L]$ right?2012-06-10
  • 0
    As a remark, this is an example of a non-simple extension: each element has degree at most $p$ over $L$, and yet the degree of the extension is $p^2$.2012-06-10
  • 0
    @Eugene: Yes, of course. My question is only how to prove that $L(\alpha,\beta)$ still has degree $p$ over $L(\alpha)$.2012-06-10
  • 0
    @Klaus As Arturo already noted, $L(\alpha, \beta)$ has degree $p$ over $L(\alpha)$ as $T^p - Y$ is irreducible over $L(\alpha)$.2012-06-10
  • 0
    @Eugene This is precisely the part I'm not able to formulate in a rigorous way (maybe my question was not clear enough, sorry). Why is $T^p-Y$ still irreducible over $L(\alpha)$ ?2012-06-10

2 Answers 2