2004/05/28 by Román, M. García, Román, S. García
#16Z05 #33F10 #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.math/0405550
We propose a new more efficient method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra. Arising from the ideas this method involves, we introduce the notion of two-sided syzygy, which reveals to be useful in the computation of the intersection of bimodules. Further applications are left for a sequel.