Related papers: Identities involving additive maps on division rin…

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

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…

This paper introduces a new approach to associating a graph with a commutative ring. Let $R$ be a commutative ring with identity. The unit-zero divisor graph of a commutative ring $R$, denoted by $G_{UZ}(R)$, offers a novel framework for…

In characteristic zero, Zinovy Reichstein and the author generalized the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative…

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

P. V. Chung showed that there are many multiplicative functions $f$ which satisfy $f(m^2+n^2) = f(m^2)+f(n^2)$ for all positive integers $m$ and $n$. In this article, we show that if more than $2$ squares in the additive condition are…

Let $G$ be the real reductive group and let $G_0$ be the identity component. Let us assume that the unitary dual $\hat{G_0}$ is known. In this paper (in Section 5) the unitary dual $\hat{G}$ is constructed. Automorphisms of $G_0$ generated…

Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…

We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result…

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…

In this paper, we show that a map $\delta$ over a triangular ring $\mathcal{T}$ satisfying $\delta(ab+ba)=\delta(a)b+a \tau(b)+\delta(b)a+b\tau(a)$, for all $a,b\in \mathcal{T}$ and for some maps $\tau$ over $\mathcal{T}$ satisfying…

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…

Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. Assume that $p$ is good for the root system of $G$ and that the covering map $G_{sc} \rightarrow G$ is separable.…

Given a polynomial matrix P(x) of grade g and a rational function $x(y) = n(y)/d(y)$, where $n(y)$ and $d(y)$ are coprime nonzero scalar polynomials, the polynomial matrix $Q(y) :=[d(y)]^gP(x(y))$ is defined. The complete eigenstructures of…

We study the monodromy map for logarithmic $\mathfrak g$-differential systems over an oriented surface $S_0$ of genus $g$, with $\mathfrak g$ being the Lie algebra of a complex reductive affine algebraic group $G$. These logarithmic…

Studying the algebraic structure of the double ${\cal D}Y(g)$ of the yangian $Y(g)$ we present the triangular decomposition of ${\cal D}Y(g)$ and a factorization for the canonical pairing of the yangian with its dual inside ${\cal D}Y(g)$.…

Let $R$ be a ring with unity. The \emph{idempotent graph} $G_{\text{Id}}(R)$ of a ring $R$ is an undirected simple graph whose vertices are the set of all the elements of ring $R$ and two vertices $x$ and $y$ are adjacent if and only if…

Let $A,B$ be C*-algebras, $B_A(0;r)$ the open ball in $A$ centered at $0$ with radius $r>0$, and $H:B_A(0;r)\to B$ an orthogonally additive holomorphic map. If $H$ is zero product preserving on positive elements in $B_A(0;r)$, we show, in…

In this paper we study arithmetic computations in the nonassociative, and noncommutative free polynomial ring $\mathbb{F}\{x_1,x_2,\ldots,x_n\}$. Prior to this work, nonassociative arithmetic computation was considered by Hrubes, Wigderson,…