We extend SAGBI basis theory to quotient rings and explain how the quotient ring SAGBI algorithm can be used to compute invariants. By an investigation of monomial subalgebras in quotients by binomial ideals, the algorithm is shown to terminate for computing invariants of the action of a torus or a finite abelian group.
No takes yet. Share an insight, caveat, or question.
Stillman et al. (1999) studied this question.