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 gave this its own page, in order to have a convenient way to point to it: Lazard’s criterion.
I have now created filtered ring with redirect filtered algebra. I have no time but one should treat complete filtrations, and more carefully distinguish negative and positive filtrations (and ascending and descending) and -filtrations. Then treating the associated graded ring, symbol map, algebraic microlocalization and the induced Poisson structure on the associated graded ring if the latter is commutative. For this one should check the literature for conventions, so I should not do it with an important report due tomorrow morning. I have also created a stub for associated graded ring.
Remark: I am not sure if I was hearing Lazard(’s) property more often, I am not sure (so I am not yet putting a redirect).
Thanks! I have edited a bit more.
added disambiguation with Lazard theorem
and added these references:
Robert Hines, Lazard’s theorem (characterizing flatness) (2016) [pdf]
Stacks Project, Lazard’s theorem [tag:058G]
1 to 4 of 4