Good filtration of a module (source code)

= Good filtration of a module

= Good filtrations of a module
{synonym}

For a <filtered algebra> $A$ 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>.