Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $K$ be a imperfect field. Let $L/K$ be a finite field extension.

Is $L$ imperfect?

Suppose that $L/K$ is separable. Is $L$ imperfect?

Suppose that $L/K$ is Galois. Is $L$ imperfect?

I'm looking for examples, counterexamples, explanations, and proofs of course.

Note: The converse holds. If $K$ is perfect, then any finite field extension of $K$ is perfect.

share|cite|improve this question
A field is perfect if the separable closure is algebraically closed. So if a field is not perfect the separable closure is not algebraically closed. This says that if $L/K$ is separable then $L$ is imperfect. I'll think a little more about the general case. – JSchlather Jan 23 '13 at 22:25
up vote 6 down vote accepted

Yes, if $K$ is imperfect then any finite extension $L$ of $K$ is also imperfect.
Indeed if $char.K=p$ and $a\in K$ has no $p$-th root in $K$, then any perfect field $P$ containing $K$ must contain all $a^{p^{-n}} \: (n\geq 1)$ and, since $[K(a^{p^{-n}}):K]=p^n$, the field $P$ must be of infinite dimension over $K$ (since its dimension is $\geq p^n$ for all $n$).
The fact that $L$ is separable or Galois over $K$ will not help: I'm sorry to say that $L$ will still be imperfect (but aren't we all...)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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