Abstract
Let I1 ⊂ I2 ⊂ . . . be an increasing sequence of ideals of the ring Z[X], X = (x1, . . . , xn), and let I be their union. We propose an algorithm to compute the Gr¨obner base of I under the assumption that the Gr¨obner bases of the ideal QI of the ring Q[X] and of the ideals I ⊗ (Z/mZ) of the rings (Z/mZ)[X] are known. Such an algorithmic problem arises, for example, in the construction of Markov and semi-Markov traces on cubic Hecke algebras.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
