Related papers: On rational functional identities involving invers…

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…

Let $D$ be a noncommutative division ring. In a recent paper, Lee and Lin proved that if $\text{char}\, D\ne 2$, the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ on $D\setminus \{0\}$ with…

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…

Let $n\geq2$ be a natural number. Let $M_n(\mathbb{K})$ be the ring of all $n \times n$ matrices over a field $\mathbb{K}$. Fix natural number $k$ satisfying $1<k\leq n$. Under a mild technical assumption over $\mathbb{K}$ we will show that…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

In this paper, we mainly prove some results on the additivity of maps over rings under certain conditions. First, we discuss a special case of MARTINDALE III's theorem of \cite{1969M} as a bijective map $\varphi$ over a ring $R$ with a…

Recognizing when a ring is a complete matrix ring is of significant importance in algebra. It is well-known folklore that a ring $R$ is a complete $n\times n$ matrix ring, so $R\cong M_{n}(S)$ for some ring $S$, if and only if it contains a…

Let $R$ be a 2-torsion free unital ring and $N_n=N_n(R)$ the ring of strictly upper triangular matrices with entries in $R$ and center $Z=Z(N_n)$. It has been previously shown that any linear map $f:N_n\rightarrow N_n$ satisfying the…

In this paper, we tackle unresolved inquiries by Ferreira et al. \cite{bruno} in their recent publication, ``Functional Identity on Division Algebras". We delve into the intricate behavior of additive functions on matrix algebras over…

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,…

Let $r$ be a nonconstant noncommutative rational function in $m$ variables over an algebraically closed field $K$ of characteristic 0. We show that for $n$ large enough, there exists an $X\in M_n(K)^m$ such that $r(X)$ has $n$ distinct and…

The purpose of this paper is to characterize several classes of functional identities involving inverses with related mappings from a unital Banach algebra $\mathcal{A}$ over the complex field into a unital $\mathcal{A}$-bimodule…

Let $\Mn$ be the ring of all $n \times n$ matrices over a unital ring $\mathcal{R}$, let $\mathcal{M}$ be a 2-torsion free unital $\Mn$-bimodule and let $D:\Mn\rightarrow \mathcal{M}$ be an additive map. We prove that if $D(\A)\B+ \A…

We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…

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…

Let $D$ be a division ring with infinite center $F$; $\sigma$ be an anti-automorphism of $D$ and $m$ be a positive integer such that $\sigma^m\neq \mathrm{Id}$. In this paper, we show that if $D$ satisfies a $\sigma^m$-GRI, then $D$ is…

We have tried to translate some graph properties of AG(R) and Gamma(R) to the topological properties of Zariski topology. We prove that Rad(Gamma(R)) and Rad(AG(R)) are equal and they are equal to 3, if and only if the zero ideal of R is an…

Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi…

Let G be a connected reductive algebraic group acting on a scheme X. Let R(G) denote the representation ring of G, and let I be the ideal in R(G) of virtual representations of rank 0. Let G(X) (resp. G(G,X)) denote the Grothendieck group of…

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $Z(M)$ be the set of all zero-divisors on $M$. In 2008, D.F. Anderson and A. Badawi introduced the regular graph of $R$. In this paper, we generalize the regular graph of $R$…