algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety Gröbner basis; ring with zero divisors; polynomial ideal; ideal membership; canonical form; algebraic geometry 