The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

Fix proof of existence separable solution

Thanks very much to Takeshi Saito who found the error and proposed the
solution. First he observed that we used multiplicativity of inseparble
degrees for field extensions which aren't algebraic and hence the proof
cannot work. He found a counterexample to a part of the proof. Then he
proposed the solution as follows:

"I think that the lemma itself is fine.
You just need to take an approximation of K2 by a separable extension."

All remaining mistakes are mine of course.

Be more precise using formally smooth

Tags: Added new tags

Better reference in more-algebra.tex

Existence of separable solutions in Epp