algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety sofic group; group ring; Kaplansky's conjectures; direct finiteness; symbolic variety; algebraic cellular automaton; surjunctivity; invertibility; garden of Eden theorem 