Related papers: The LFED Conjecture for some $\mathcal{E}$-derivat…

Let $K$ be a field of characteristic zero and $\mathcal A$ a $K$-algebra such that all the $K$-subalgebras generated by finitely many elements of $\mathcal A$ are finite dimensional over $K$. A $K$-$\mathcal E$-derivation of $\mathcal A$ is…

Let $K$ be a field of characteristic zero and $x$ a free variable. A $K$-$\mathcal E$-derivation of $K[x]$ is a $K$-linear map of the form $\operatorname{I}-\phi$ for some $K$-algebra endomorphism $\phi$ of $K[x]$, where $\operatorname{I}$…

Let K be a field of characteristic zero. We prove that images of a linear K-derivation and a linear K-E-derivation of the ring K[x 1 ,x 2 ,x 3 ] of polynomial in three variables over K are Mathieu-Zhao subspaces, which affirms the LFED…

Some cases of the LFED Conjecture, proposed by the second author [Z3], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions $k(x)$ of the polynomial algebra $k[x]$,…

This paper presents an $\mathcal{E}$-derivation analogue of a result on derivations due to van den Essen, Wright and Zhao. We prove that the image of a locally finite $K$-$\mathcal{E}$-derivation of polynomial algebras in two variables over…

Let $K$ be a field of characteristic $p$, $\delta$ a nonzero $\mathcal{E}$-derivation and $D=f(x_1)\partial_1$. We first prove that $\operatorname{Im}D$ is not a Mathieu-Zhao space of $K[x_1]$ if and only if $f(x_1)=x_1^rf_1(x_1^p)$ and…

Let $R$ be an integral domain of characteristic zero, $x=(x_1, x_2, ..., x_n)$ $n$ commutative free variables, and ${\mathcal A}_n:=R[x^{-1}, x]$, i.e., the Laurent polynomial algebra in $x$ over $R$. In this paper we first classify all…

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…

We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…

The famous Jacobian Conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ with invertible Jacobian, is invertible ($K$ is a characteristic zero field). A known result says that if $K[f(x),f(y)] \subseteq K[x,y]$ is an integral extension, then…

Let $K[X_d]=K[x_1,\ldots,x_d]$ be the polynomial algebra in $d$ variables over a field $K$ of characteristic 0. The classical theorem of Weitzenb\"ock from 1932 states that for linear locally nilpotent derivations $\delta$ (known as…

Let $R$ be a commutative ring and $\mathcal A$ an $R$-algebra. An $R$-$\mathcal E$-derivation of $\mathcal A$ is an $R$-linear map of the form $\operatorname{I}-\phi$ for some $R$-algebra endomorphism $\phi$ of $\mathcal A$, where…

In this paper we discuss a general framework in which we present a new conjecture, due to Wenhua Zhao, the Image Conjecture. This conjecture implies the Generalized Vanishing Conjecture and hence the Jacobian Conjecture. Crucial ingredient…

Let $K$ be a field of characteristic zero, $\mathcal A$ a $K$-algebra and $\delta$ a $K$-derivation of $\mathcal A$ or $K$-$\mathcal E$-derivation of $\mathcal A$ (i.e., $\delta=\operatorname{Id}_A-\phi$ for some $K$-algebra endomorphism…

For a field $\mathbb{F}$, let $L_k(\mathbb{F})$ be the Lie algebra of derivations $f(t)\frac{d}{dt}$ of the polynomial ring $\mathbb{F}[t]$, where $f(t)$ is a polynomial of degree $\geqslant k$. For any $k\geqslant -1$, we present a basis…

Let $K$ be a field and $\Gamma$ a finite quiver without oriented cycles. Let $\Lambda$ be the path algebra $K(\Gamma, \rho)$ and let $\mathscr{D}(\Lambda)$ be the dual extension of $\Lambda$. In this paper, we prove that each Lie derivation…

We prove the following result: Let K be a lattice, let D be a distributive lattice with zero, and let $\phi$: Con K $\to$ D be a {∨, 0}-homomorphism, where Conc K denotes the {∨, 0}-semilattice of all finitely generated…

Let $E=E(0,\infty)$ be a symmetric function space and $E(\mathcal{M},\tau)$ be a symmetric operator space associated with a semifinite von Neumann algebra with a faithful normal semifinite trace. Our main result identifies the class of…

The author introduces a conjecture about Makar-Limanov invariants of affine unique factorization domains over a field of characteristic zero. Then the author finds that the conjecture does not always hold when $\mathbbm{k}$ is not…

The L'vov-Kaplansky conjecture states that the image of a multilinear noncommutative polynomial $f$ in the matrix algebra $M_n(K)$ is a vector space for every $n \in {\mathbb N}$. We prove this conjecture for the case where $f$ has degree…