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

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$ and $S$ be commutative rings with unity, $f:R\to S$ a ring homomorphism and $J$ an ideal of $S$. Then the subring $R{\bowtie }^{f}J:=\{(a,f\left(a\right)+j)\mid a\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along $J$ with respect to $f$. In this paper, we determine when $R{\bowtie }^{f}J$ is a (generalized) filter ring.

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...

We characterize clean elements of $ℛ\left(L\right)$ and show that $\alpha \in ℛ\left(L\right)$ is clean if and only if there exists a clopen sublocale $U$ in $L$ such that ${𝔠}_L\left(\mathrm{coz}(\alpha -\mathbf{1})\right)\subseteq U\subseteq {𝔬}_L\left(\mathrm{coz}\left(\alpha \right)\right)$. Also, we prove that $ℛ\left(L\right)$ is clean if and only if $ℛ\left(L\right)$ has a clean prime ideal. Then, according to the results about $ℛ\left(L\right),$ we immediately get results about ${𝒞}_c\left(L\right).$

In this paper, we introduce a new kind of rings that behave like semicommutative rings, but satisfy yet more known results. This kind of rings is called $P$-semicommutative. We prove that a ring $R$ is $P$-semicommutative if and only if $R\left[x\right]$ is $P$-semicommutative if and only if $R[x,x^{-1}]$ is $P$-semicommutative. Also, if $R\left[\right[x\left]\right]$ is $P$-semicommutative, then $R$ is $P$-semicommutative. The converse holds provided that $P\left(R\right)$ is nilpotent and $R$ is power serieswise Armendariz. For each positive integer $n$, $R$ is $P$-semicommutative...

A $*$-ring $R$ is strongly 2-nil-$*$-clean if every element in $R$ is the sum of two projections and a nilpotent that commute. Fundamental properties of such $*$-rings are obtained. We prove that a $*$-ring $R$ is strongly 2-nil-$*$-clean if and only if for all $a\in R$, $a^2\in R$ is strongly nil-$*$-clean, if and only if for any $a\in R$ there exists a $*$-tripotent $e\in R$ such that $a-e\in R$ is nilpotent and $ea=ae$, if and only if $R$ is a strongly $*$-clean SN ring, if and only if $R$ is abelian, $J\left(R\right)$ is nil and $R/J\left(R\right)$ is $*$-tripotent. Furthermore, we explore...

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 $ℛ$ be a semiprime ring with unity $e$ and $\phi$, $\varphi$ be automorphisms of $ℛ$. In this paper it is shown that if $ℛ$ satisfies $$2𝒟\left(x^n\right)=𝒟\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒟\left(x\right)+𝒟\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒟\left(x^{n-1}\right)$$ for all $x\in ℛ$ and some fixed integer $n\ge 2$, then $𝒟$ is an ($\phi$, $\varphi$)-derivation. Moreover, this result makes it possible to prove that if $ℛ$ admits an additive mappings $𝒟,𝒢:ℛ\to ℛ$ satisfying the relations $$\begin{array}{c}2𝒟\left(x^n\right)=𝒟\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒢\left(x\right)+𝒢\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒢\left(x^{n-1}\right),\\ 2𝒢\left(x^n\right)=𝒢\left(x^{n-1}\right)\phi \left(x\right)+\varphi \left(x^{n-1}\right)𝒟\left(x\right)+𝒟\left(x\right)\phi \left(x^{n-1}\right)+\varphi \left(x\right)𝒟\left(x^{n-1}\right),\end{array}$$ for all $x\in ℛ$ and some fixed integer $n\ge 2$, then $𝒟$ and $𝒢$ are ($\phi$, $\varphi$)derivations under some torsion restriction. Finally, we apply these purely ring theoretic results to semi-simple Banach algebras. ...