A non-commutative F5 algorithm with an application to the computation of Loewy layers

Abstract

We provide a non-commutative version of the F5 algorithm, namely for right-modules over path algebra quotients. It terminates, if the path algebra quotient is a basic algebra. In addition, we use the F5 algorithm in negative degree monomial orderings to compute Loewy layers.

21 pages; minor revision

References in corpus (4)

• The F5 Criterion revised
• The computation of the cohomology rings of all groups of order 128
• The Mod-2 Cohomology Ring of the Third Conway Group is Cohen-Macaulay
• Gröbner bases for p-group algebras

Cited by in corpus (1)

• Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra