Related papers: Certain functional identities on division rings

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

In this note, we introduce a new concept of a {\it generalized algebraic rational identity} to investigate the structure of division rings. The main theorem asserts that if a non-central subnormal subgroup $N$ of the multiplicative group…

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 $A$ be a centrally closed prime algebra over a characteristic 0 field $k$, and let $q:A\to A$ be the trace of a $d$-linear map (i.e., $q(x)=M(x,...,x)$ where $M:A^d\to A$ is a $d$-linear map). If $[q(x),x]=0$ for every $x\in A$, then…

The ring $\text{Diff}_{\mathbf{h}}(n)$ of $\mathbf{h}$-deformed differential operators appears in the theory of reduction algebras. In this thesis, we construct the rings of generalized differential operators on the $\mathbf{h}$-deformed…

We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

Let $\Omega \subset \mathbb{R}$ be a nonempty and open set, then for all $f, g, h\in \mathscr{C}^{2}(\Omega)$ we have \begin{multline*} \diff{2}{x}(f\cdot g\cdot h) -f\diff{2}{x}(g\cdot h)-g\diff{2}{x}(f\cdot h)-h\diff{2}{x}(f\cdot g) +…

For a nonempty topological space X, the ring of all real-valued functions on $X$ with pointwise addition and multiplication is denoted by $F(X)$ and continuous members of $F(X)$ is denoted by $C(X)$. Let $A(X)$ be a subring of $F(X)$ and…

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

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…

Let $k$ be an algebraically closed field of characteristic 0 and let $A$ be a finitely generated $k$-algebra that is a domain whose Gelfand-Kirillov dimension is in $[2,3)$. We show that if $A$ has a nonzero locally nilpotent derivation…

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…

Let $L_H$ denote the set of all normalized locally one-to-one and sense-preserving harmonic functions in the unit disc $\Delta$. It is well-known that every complex-valued harmonic function in the unit disc $\Delta$ can be uniquely…

Let $X$ and $Y$ be compact Hausdorff spaces, $E$ and $F$ be real or complex normed spaces and $A(X,E)$ be a subspace of $C(X,E)$. For a function $f\in C(X,E)$, let $\coz(f)$ be the cozero set of $f$. A pair of additive maps $S,T: A(X,E) \lo…

We construct the rings of generalized differential operators on the ${\bf h}$-deformed vector space of ${\bf gl}$-type. In contrast to the $q$-deformed vector space, where the ring of differential operators is unique up to an isomorphism,…

Let $\mathcal{H}$ be the class of harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$, where $h$ and $g$ are analytic in $\mathbb{D}$ with the normalization $h(0)=g(0)=h'(0)-1=0$. Let…

Let $D\subseteq B$ be an extension of integral domains and $E$ a subset of the quotient field of $D$. We introduce the ring of \textit{$D$-valued $B$-rational functions on $E$}, denoted by $Int^R_B(E,D)$, which naturally extends the…