Related papers: Additivity of multiplicative (generalized) maps ov…

Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper…

Let $R$ be a ring with identity, $M,N$ right modules over $R$. An additive mapping $\delta$ from $R$ to $R$ is called derivation on ring $R$ if it satisfies the Leibniz condition. If $\delta$ is a derivation on $R$ and $f:M \rightarrow N$…

Let $M_n(\mathbb{F})$ be the algebra of $n \times n$ matrices over a field $\mathbb{F}$ of characteristic not equal to $2$. If $n\ge 2$, we show that an arbitrary map $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ is Jordan multiplicative,…

The aim of this paper is to show that between standard operator algebras every bijective map with a certain multiplicativity property related to Jordan triple isomorphisms of associative rings is automatically additive.

Let $R$ be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over $R$ is surjective if and only if it is surjective over $\hat{R_{\mathfrak{m}}}$, the completion of $R$ with respect to…

A map $\phi$ on an associative ring is called a multiplicative Lie derivation if $\phi([x,y])=[\phi(x),y]+[x,\phi(y)]$ holds for any elements $x,y$, where $[x,y]=xy-yx$ is the Lie product. In the paper, we discuss the multiplicative Lie…

Let $\mathcal{U}=\left[ \begin{array}{cc} \mathcal{A} & \mathcal{M} \mathcal{N}& \mathcal{B} \end{array} \right]$ be a generalized matrix ring, where $\mathcal{A}$ and $\mathcal{B}$ are 2-torsion free. We prove that if $\phi…

We study the functional identity $G(x)f(x)=H(x)$ on a division ring $D$, where $f \colon D\to D$ is an additive map and $G(X)\ne 0, H(X)$ are generalized polynomials in the variable $X$ with coefficients in $D$. Precisely, it is proved that…

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…

A ring is *unit-additive* if a sum of units is always either a unit or nilpotent. For example, $k[X]$ and $k[X]/(X^2)$ are unit-additive, but $\mathbb Z$ is not. We prove a wide-ranging theorem about unit-additivity in semigroup rings,…

Suppose $\mathfrak{R}$ is a $2$,$3$-torsion free unital alternative ring having an idempotent element $e_1$ $\left(e_2 = 1-e_1\right)$ which satisfies $x \mathfrak{R} \cdot e_i = \{0\} \rightarrow x = 0$ $\left(i = 1,2\right)$. In this…

Let $\R$ be an alternative ring containing a nontrivial idempotent and $\D$ be a multiplicative Lie-type derivation from $\R$ into itself. Under certain assumptions on $\R$, we prove that $\D$ is almost additive. Let $p_n(x_1, x_2, \cdots,…

In this paper, we demonstrate that several classes of functions, specifically n-multiplicative isomorphisms, derivations, elementary maps, and Jordan elementary maps on a class of algebras that includes Jordan algebras with idempotents,…

The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow…

We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1)…

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and…

We prove that if an analytic map $f:=(f_1,\ldots ,f_n):U\subset \mathbb{C}^n\rightarrow \mathbb{C}^n$ admits an algebraic addition theorem then there exists a meromorphic map $g:=(g_1,\ldots ,g_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$…

We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…

In this article, we investigate additive properties of the Drazin inverse of elements in rings and algebras over an arbitrary field. Under the weakly commutative condition of $ab = \lambda ba$, we show that $a-b$ is Drazin invertible if and…

We determine a necessary and sufficient condition for a polynomial over an algebraically closed field $k$ to induce a surjective map on matrix algebras $M_n(k)$ for $n \ge 2$. The criterion is given in terms of critical points and uses…