algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety Hopf fixed point theorem for a semi-algebraic map over a real closed field; constructible subset 