Filtered algebra

Associated graded algebra

Let be a filtered algebra over with filtration . The associated graded algebra is the direct sum of vector spaces where and ¹ with multiplication given by #m/def/ralg

for and .

#state/develop | #lang/en | #SemBr