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