algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety reduction theory; finite generation of automorphism group; finite number of orbits; algebraic K3 surface; Néron-Severi group 