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.
|