Noncommutative Gröbner Bases and Ext groups; Application to the Steenrod Algebra

Weinan Lin

We consider a theory of noncommutative Gröbner bases on decreasingly filtered algebras whose associated graded algebras are commutative. We transfer many algorithms that use commut…