关于符号概型的单射自同态

基于 Gromov 关于符号代数簇自同态的开创性工作 [10]，我们引入概型上的元胞自动机概念，推广了 [7] 中的仿射代数元胞自动机。我们将已有结果推广至这一更一般的情形，并建立了关于代数闭域上代数簇的元胞自动机的闭像性质、满射性、可逆性与可反性的一些新结果。作为副产品，我们对 [7] 中提出的关于是否存在双射复仿射代数元胞自动机 $\tau \colon A^{\mathbb Z} \to A^{\mathbb Z}$ 其逆非代数的疑问，给出了否定回答。