Related papers: Simple derivations in two variables
In the paper, we prove that the derivation $D=y\partial_x+(a_2(x)y^2+a_1(x)y+a_0(x))\partial_y$ of $K[x,y]$ with $a_2(x),a_1(x),a_0(x)\in K[x]$ is simple iff the following conditions hold: $(1)$ $a_0(x)\in K^*$, $(2)$ $\deg a_1(x)\geq1$ or…
We study the subgroup of $k$-automorphisms of $k[x,y]$ which commute with a simple derivation $D$ of $k[x,y].$ We prove, for example, that this subgroup is trivial when $D$ is a Shamsuddin simple derivation. In the general case of simple…
The first part of the paper will describe a recent result of K. Retert in (\cite{Ret}) for $k[x_1,\ldots,x_n]$ and $k[[x_1,\ldots,x_n]]$. This result states that if $\mathfrak{D}$ is a set of commute $k$-derivations of $k[x,y]$ such that…
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation…
It is proved that a differentiable with respect to each variable function $f:\mathbb R^2\to\mathbb R$ is a solution of the equation $ \frac{\partial u}{\partial x} + \frac{\partial u}{\partial y}=0$ if and only if there exists a function…
Let $k$ be a field of characteristic zero. Let $m$ and $\alpha$ be positive integers. For $n\geq 2$, let $R_n=k[x_1,x_2,\dots,x_n]$ with the $k$-derivation $d_n$ given by…
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…
Let $k$ be a field of characteristic zero, and let $i$ and $n$ be positive integers with $i\geq 2$ and $n>i$. Consider a non-invertible $k$-derivation $d_i$ of the polynomial ring $k[x_1,\ldots,x_i]$. Let $d_n$ be an extension of $d_i$ to a…
The famous Jacobian conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ having an invertible Jacobian is invertible ($K$ is a characteristic zero field). We show that if one of the following three equivalent conditions is satisfied, then $f$…
For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…
Let $A$ be a finite-dimensional algebra with two simple modules. It is shown that if the derived category of $A$ admits a stratification with simple factors being the base field $k$, then $A$ is derived equivalent to a quasi-hereditary…
Let $n$ and $s$ be fixed integers such that $n\geq 2$ and $1\leq s\leq \frac{n}{2}$. Let $M_n(\mathbb{K})$ be the ring of all $n\times n$ matrices over a field $\mathbb{K}$. If a map $\delta:M_n(\mathbb{K})\rightarrow M_n(\mathbb{K})$…
Let $R=K[X_1,\dots, X_n]$ be a polynomial ring in $n$ variables over a field $K$ of charactersitic zero and $d$ a $K$-derivation of $R$. Consider the isotropy group if $d$: $ \text{Aut}(R)_d :=\{\rho \in \text{Aut}_K(R)|\; \rho d…
Let k a characteristic zero field. We give a characterization for the finite quiver k-algebras, based on double derivations. More precisely, we prove that if an associative and unitary k-algebra have a family of double derivations…
In this paper we show that the image of any locally finite $k$-derivation of the polynomial algebra $k[x, y]$ in two variables over a field $k$ of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian…
Let X be a geometrically rational (or more generally, separably rationally connected) variety over a finite field K. We prove that if K is large enough then X contains many rational curves defined over K. As a consequence we prove that…
In the paper, we give an affirmative answer to the conjecture in \cite{13}. We prove that a Shamsuddin derivation $D$ is simple if and only if $\operatorname{Aut}(K[x,y_1,\allowbreak\ldots,y_n])_D=\{id\}$. In addition, we calculate the…
It is well known that a finite-dimensional Lie algebra over a field of characteristic zero is simple exactly when its derivation algebra is simple. In this paper we characterize those Lie algebras of arbitrary dimension over any field that…
Although the characterization of ring derivations has an extensive literature, up to now, all of the characterizations have had the following form: additivity and another property imply that the function in question is a derivation. The aim…
It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is…