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

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 $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

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

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.