algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety level of affine algebra; sum of squares; real point; semi-algebraic set; positiv-stellensatz; Positivstellensatz 