algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety Ritt formal group; Hopf algebra; formalization of algebraic structure; algebra of differential operators; Lie algebras of formal groups 