Let A be a reduced ring containing ℚ and let ξ1,ξ2 be commuting locally nilpotent derivations of A. In this paper, we give an algorithm to decide the local nilpotency of derivations of the form ξ = a1ξ1 + a2ξ2, where a1,a2 are elements in A.

中文翻译：

---

归约 ℚ-代数推导的幂等性准则

让一种是一个包含ℚ然后让ξ1,ξ2是通勤的局部幂零导数一种. 在本文中，我们给出了一种算法来确定形式的导数的局部幂零性ξ = 一种1ξ1 + 一种2ξ2， 在哪里一种1,一种2是元素在一种.