algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety finite field; projective space; algebraic variety; vanishing ideal; Gröbner basis; footprint bound; projective hypersurface 