# Modular Techniques For Noncommutative Gr\"obner Bases

## TL;DR

This paper extends modular techniques for computing Gr"obner bases from commutative to noncommutative G-algebras, providing a probabilistic algorithm with implementation and performance comparisons.

## Contribution

It introduces a probabilistic modular algorithm for noncommutative Gr"obner bases, extending methods from the commutative case and enabling parallel computation.

## Key findings

- Algorithm performs well on D-module theory examples
- Implementation in Singular shows competitive timings
- Parallel runs enhance computational efficiency

## Abstract

In this note, we extend modular techniques for computing Gr\"obner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the graded case. In the general case, our algorithm is probabilistic in the sense that the resulting Gr\"obner basis can only be expected to generate the given ideal, with high probability. We have implemented our algorithm in the computer algebra system {\sc{Singular}} and give timings to compare its performance with that of other instances of Buchberger's algorithm, testing examples from $D$-module theory as well as classical benchmark examples. A particular feature of the modular algorithm is that it allows parallel runs.