Transitivity for Weak and Strong Gr Obner

  • A. BOYLE BASESW. W. ADAMS, P. LOUSTAUNAUAbstract
  • Published 1993
Let R be a Noetherian integral domain which is graded by an ordered group ? and let x be a set of n variables with a term order. It is shown that a nite subset F of Rx] is a weak (respectively strong) Grr obner basis in Rx] graded by ? Z n if and only if F is a weak Grr obner basis in Rx] graded by f0g Z n and certain subsets of the set of leading… (More)