algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety simple Jordan algebra; formally real; reduced trace; invariant polynomials; automorphism group 