algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety Mordell-Weil groups; genus 2 curves; Jacobian variety; Kummer surfaces; torsion group; rational points; computer algebra; Diophantine equations 