algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety semiabelian variety; Mordell-Lang conjecture; finite field; integral point; Frobenius map; F-structure; stable theory; quantifier elimination 