algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety difference field; abelian variety; theory ACFA; group definable in a model; model theoretic stability; 1-basedness; Manin-Mumford conjecture; model companion of the theory of fields with an automorphism 