Let $R$ be a prime ring with its Utumi ring of quotients $U$ and extended centroid $C$. Suppose that $F$ is a generalized derivation of $R$ and $L$ is a noncentral Lie ideal of $R$ such that $F\left(u\right){[F\left(u\right),u]}^n=0$ for all $u\in L$, where $n\ge 1$ is a fixed integer. Then one of the following holds: (1) ...

Let $R$ be a prime ring of characteristic different from 2, $Q_r$ its right Martindale quotient ring and $C$ its extended centroid. Suppose that $F$, $G$ are generalized skew derivations of $R$ with the same associated automorphism $\alpha$, and $p(x_1,...,x_n)$ is a non-central polynomial over $C$ such that $$\left[F\right(x),\alpha (y\left)\right]=G\left(\right[x,y\left]\right)$$ for all $x,y\in \{p(r_1,...,r_n):r_1,...,r_n\in R\}$. Then there exists $\lambda \in C$ such that $F\left(x\right)=G\left(x\right)=\lambda \alpha \left(x\right)$ for all $x\in R$.

Let $R$ be a noncommutative prime ring of characteristic different from 2, with its two-sided Martindale quotient ring $Q$, $C$ the extended centroid of $R$ and $a\in R$. Suppose that $\delta$ is a nonzero $\sigma$-derivation of $R$ such that $a{[\delta \left(x^n\right),x^n]}_k=0$ for all $x\in R$, where $\sigma$ is an automorphism of $R$, $n$ and $k$ are fixed positive integers. Then $a=0$.

Let $R$ be a prime ring with center $Z\left(R\right)$ and $I$ a nonzero right ideal of $R$. Suppose that $R$ admits a generalized reverse derivation $(F,d)$ such that $d\left(Z\right(R\left)\right)\ne 0$. In the present paper, we shall prove that if one of the following conditions holds: (i) $F\left(xy\right)\pm xy\in Z\left(R\right)$, (ii) $F\left(\right[x,y\left]\right)\pm \left[F\right(x),y]\in Z\left(R\right)$, (iii) $F\left(\right[x,y\left]\right)\pm \left[F\right(x),F(y\left)\right]\in Z\left(R\right)$, (iv) $F(x\circ y)\pm F\left(x\right)\circ F\left(y\right)\in Z\left(R\right)$, (v) $\left[F\right(x),y]\pm [x,F(y\left)\right]\in Z\left(R\right)$, (vi) $F\left(x\right)\circ y\pm x\circ F\left(y\right)\in Z\left(R\right)$ for all $x,y\in I$, then $R$ is commutative.

Let $R$ be a prime ring and $I$ a nonzero ideal of $R.$ The purpose of this paper is to classify generalized derivations of $R$ satisfying some algebraic identities with power values on $I.$ More precisely, we consider two generalized derivations $F$ and $H$ of $R$ satisfying one of the following identities: (1) ...

Let $f:A\to B$ and $g:A\to C$ be two ring homomorphisms and let $K$ and $K^{\text{'}}$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}\left(K\right)=g^{-1}\left(K^{\text{'}}\right)$. We investigate unipotent, symmetric and reversible properties of the bi-amalgamation ring $A{\bowtie }^{f,g}(K,K^{\text{'}})$ of $A$ with $(B,C)$ along $(K,K^{\text{'}})$ with respect to $(f,g)$.

Let $R$ be a prime ring of characteristic different from 2 and 3, $Q_r$ its right Martindale quotient ring, $C$ its extended centroid, $L$ a non-central Lie ideal of $R$ and $n\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...

Let $𝒜$ be a noncommutative prime ring equipped with an involution ‘$*$’, and let ${𝒬}_{ms}\left(𝒜\right)$ be the maximal symmetric ring of quotients of $𝒜$. Consider the additive maps $\mathscr{H}$ and $𝒯:𝒜\to {𝒬}_{ms}\left(𝒜\right)$. We prove the following under some inevitable torsion restrictions. (a) If $m$ and $n$ are fixed positive integers such that $(m+n)𝒯\left(a^2\right)=m𝒯\left(a\right)a^{*}+na𝒯\left(a\right)$ for all $a\in 𝒜$ and $(m+n)\mathscr{H}\left(a^2\right)=m\mathscr{H}\left(a\right)a^{*}+na𝒯\left(a\right)$ for all $a\in 𝒜$, then $\mathscr{H}=0$. (b) If $𝒯\left(aba\right)=a𝒯\left(b\right)a^{*}$ for all $a,b\in 𝒜$, then $𝒯=0$. Furthermore, we characterize Jordan left $\tau$-centralizers in semiprime rings admitting an anti-automorphism $\tau$. As applications, we find the...

Let $f:A\to B$ and $g:A\to C$ be two ring homomorphisms and let $J$ and $J^{\text{'}}$ be ideals of $B$ and $C$, respectively, such that $f^{-1}\left(J\right)=g^{-1}\left(J^{\text{'}}\right)$. In this paper, we investigate the transfer of the notions of Gaussian and Prüfer rings to the bi-amalgamation of $A$ with $(B,C)$ along $(J,J^{\text{'}})$ with respect to $(f,g)$ (denoted by $A{\bowtie }^{f,g}(J,J^{\text{'}})),$ introduced and studied by S. Kabbaj, K. Louartiti and M. Tamekkante in 2013. Our results recover well known results on amalgamations in C. A. Finocchiaro (2014) and generate new original examples of rings possessing these properties. ...