Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added some material to Puiseux series, notable the proof that for $K$ algebraically closed of characteristic zero, they form the algebraic closure of the field of Laurent series $K((x))$. This is to be connected with a number of unwritten topics like Hensel’s lemma, Newton polygon, complete local ring, and others.
Meanwhile, I noticed that the term “local field” has, besides physics meanings, two closely related distinct mathematical meanings. One for which we have a page local field is (non-discrete) “locally compact Hausdorff topological field”, but another is “field of fractions of a complete DVR”. It’s somewhat strange that two such closely related but distinct concepts have the same name – a terrible source of confusion.
I have now edited local field, mentioning alternative uses of this phrase, notably in Serre’s Corps Locaux. More to come.
Nice!
I have now added some more hyperlinks and cross-links.
1 to 3 of 3