无鞊同态映像的有限轨道大小上界

我们证明了对于在 $\overline{\mathbb{Q}}$ 上的代数簇上生成的动力系统（由有限多个无鞊同态构成），给定点是否具有有限轨道是可判定的。这通过在具有无鞊同态的代数动力系统上 establishment of an effective upper bound for the size of finite orbits 来实现。