algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety first-order theory; quantifier elimination; torsion points; categoricity; \(L_{\omega_1,\omega}\)-theory; universal covers; semi-abelian varieties over algebraically closed fields; complex numbers; algebraic group; Galois automorphism 