Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GLU

Go back to the tag's page.

type time link
assigned tag 0GLU 2021-07-17 6263ed5
Tags: Added new tags
created statement with label remark-functoriality-construct-extension in more-algebra.tex 2021-07-17 90d8833
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.