Good filtration of a module
ID: good-filtration-of-a-module
For a filtered algebra with finite-dimensional filtration pieces, a good filtration of a module on a finitely generated module is compatible with multiplication and has finitely generated associated graded module over the associated graded ring. Taking bounded-degree translates of a finite set of module generators supplies such a filtration of a module when the associated graded ring is Noetherian.
New to topics? Read the docs here!