English

Simple derivations and their images

Algebraic Geometry 2022-04-12 v1 Commutative Algebra

Abstract

In the paper, we prove that the derivation D=yx+(a2(x)y2+a1(x)y+a0(x))yD=y\partial_x+(a_2(x)y^2+a_1(x)y+a_0(x))\partial_y of K[x,y]K[x,y] with a2(x),a1(x),a0(x)K[x]a_2(x),a_1(x),a_0(x)\in K[x] is simple iff the following conditions hold: (1)(1) a0(x)Ka_0(x)\in K^*, (2)(2) dega1(x)1\deg a_1(x)\geq1 or dega2(x)1\deg a_2(x)\geq1, (3)(3) there exist no lKl\in K^* such that a2(x)=la1(x)l2a0(x)a_2(x)=la_1(x)-l^2a_0(x). In addition, we prove that the image of the derivation D=x+i=1nγi(x)yikiiD=\partial_x+{\sum_{i=1}^n \gamma_i(x) y_i^{k_i}}{\partial_i} is a Mathieu-Zhao space iff DD is locally finite. Moreover, we prove that the image of the derivation D=i=1nγiyikiiD={\sum_{i=1}^n \gamma_i y_i^{k_i}}{\partial_i} of K[y1,,yn]K[y_1,\ldots,y_n] is a Mathieu-Zhao space iff ki1k_i\leq 1 for all 1in1\leq i\leq n, n2n\geq 2.

Cite

@article{arxiv.2204.05069,
  title  = {Simple derivations and their images},
  author = {Ruiyan Sun and Dan Yan},
  journal= {arXiv preprint arXiv:2204.05069},
  year   = {2022}
}

Comments

18pages

R2 v1 2026-06-24T10:44:25.795Z