algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety finite-dimensional Lie algebra; universal enveloping algebra; Hopf algebra; pro-algebraic k-group; deviation from left exactness; canonical map; exact sequences; isomorphisms 