Unital Grobner Bases over Arbitrary Ground Rings

Frederick Leitner, Robert Pawloski

Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free…