3
$\begingroup$

Let $s$ and $t$ be independent variables and let $p$ be a prime. Show that in the tower

$\mathbb Z$$_p$$(s^p,t^p)\lt\mathbb Z$$_p$$(s,t^p)\lt\mathbb Z$$_p$$(s,t)$

each step is simple but the full extension is not.

In fact it is easy to see that each step is simple, since we adjoin in each step only one element. In the first step we adjoin $s$ and in the next step we adjoin $t$. So the steps are simple extensions.

Of course the full extension will not be simple but how shall I explain or prove it?

Thanks for any detailed help..

$\endgroup$
0
$\begingroup$

Be careful that when you consider $K\lt F$, what you have in K are polynomials over polynomials like $f(s^p,t^p)/g(s^p,t^p)$.

And, adjoining only $s$, you need to show you can not obtain $t$ (which indeed is in $F$) from such polynomials. And similarly, adjoining only $t$, you need to show you can not obtain $s$ with those polynomials either (which again should be in $F$).

This proves that $F$ over $K$ is not a simple extension.

$\endgroup$
  • $\begingroup$ And if you adjoin $s+t$, or $(s+t^2-ts)/(s^2+t-1)$, or...? $\endgroup$ – Jyrki Lahtonen Apr 2 '14 at 6:32
0
$\begingroup$

Let the fields be (from left to right) $K$, $L$ and $F$ respectively.

Hint: Show that for all elements $z\in F$ we have $z^p\in K$. Show that this implies that any simple extension $K(z)$ of $K$ inside $F$ has degree $[K(z):K]=p$ (or $1$). But also show that $[F:K]=p^2$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.