Initial forms of stable invariants for additive group actions (Q404611)

Let \(k\) be an integral domain. Assume the additive group \(\mathbb{G}_a\) acts non-trivially on the polynomial algebra \(A=k[x_1,\ldots,x_n]\). A vertex \((i_1,\ldots,i_n)\) of the Newton polytope of \(f\in A\) is called an \textit{intruder} if all \(i_r\) are nonzero. The Derksen-Hadas-Makar-Limanov theorem [\textit{H. Derksen} et al., J. Pure Appl. Algebra 156, No. 2--3, 187--197 (2001; Zbl 0986.13005)] says that the invariants of such an action have no intruder. The author generalizes this result to stable invariants (Theorem 1.1) and proves a similar result for constants of locally finite higher derivations.