A nilpotency criterion for derivations over reduced ℚ-algebras

Abstract

Let [Formula: see text] be a reduced ring containing [Formula: see text] and let [Formula: see text] be commuting locally nilpotent derivations of [Formula: see text]. In this paper, we give an algorithm to decide the local nilpotency of derivations of the form [Formula: see text], where [Formula: see text] are elements in [Formula: see text].