Let $m\ge 0,r\ge 0,s\ge 0,q\ge 0$ be fixed integers. Suppose that $R$ is an associative ring with unity $1$ in which for each $x,y\in R$ there exist polynomials $f\left(X\right)\in X^{2}ZZ\left[X\right],g\left(X\right),h\left(X\right)\in XZZ\left[X\right]$ such that $\{1-g\left(y{x}^m\right)\}[x,x^{r}y-x^{s}f\left(y{x}^m\right)x^q]\{1-h\left(y{x}^m\right)\}=0$. Then $R$ is commutative. Further, result is extended to the case when the integral exponents in the above property depend on the choice of $x$ and $y$. Finally, commutativity of one sided s-unital ring is also obtained when $R$ satisfies some related ring properties.

In this paper we investigate commutativity of rings with unity satisfying any one of the properties: $$\begin{array}{cc}& \{1-g\left(y{x}^m\right)\}[y{x}^m-x^{r}f\left(y{x}^m\right)x^s,x]\{1-h\left(y{x}^m\right)\}=0,\hfill \\ & \{1-g\left(y{x}^m\right)\}[x^{m}y-x^{r}f\left(y{x}^m\right)x^s,x]\{1-h\left(y{x}^m\right)\}=0,\hfill \\ & y^t[x,y^n]=g\left(x\right)[f\left(x\right),y]h\left(x\right)\mathrm{a}nd[x,y^n]y^t=g\left(x\right)[f\left(x\right),y]h\left(x\right)\hfill \end{array}$$ for some $f\left(X\right)$ in $X^2\mathbb{Z}\left[X\right]$ and $g\left(X\right)$, $h\left(X\right)$ in $\mathbb{Z}\left[X\right]$, where $m\ge 0$, $r\ge 0$, $s\ge 0$, $n>0$, $t>0$ are non-negative integers. We also extend these results to the case when integral exponents in the underlying conditions are no longer fixed, rather they depend on the pair of ring elements $x$ and $y$ for their values. Further, under different appropriate constraints on commutators, commutativity of rings has been studied. These results generalize...

Suppose that $R$ is an associative ring with identity $1$, $J\left(R\right)$ the Jacobson radical of $R$, and $N\left(R\right)$ the set of nilpotent elements of $R$. Let $m\ge 1$ be a fixed positive integer and $R$ an $m$-torsion-free ring with identity $1$. The main result of the present paper asserts that $R$ is commutative if $R$ satisfies both the conditions (i) $[x^m,y^m]=0$ for all $x,y\in R\setminus J\left(R\right)$ and (ii) $[{\left(xy\right)}^m+y^m{x}^m,x]=0=[{\left(yx\right)}^m+x^m{y}^m,x]$, for all $x,y\in R\setminus J\left(R\right)$. This result is also valid if (i) and (ii) are replaced by (i)${}^{\text{'}}$$...$

Let $p$, $q$ and $r$ be fixed non-negative integers. In this note, it is shown that if $R$ is left (right) $s$-unital ring satisfying $[f\left(x^p{y}^q\right)-x^{r}y,x]=0$ ($[f\left(x^p{y}^q\right)-y{x}^r,x]=0$, respectively) where $f\left(\lambda \right)\in {\lambda }^2\mathbb{Z}\left[\lambda \right]$, then $R$ is commutative. Moreover, commutativity of $R$ is also obtained under different sets of constraints on integral exponents. Also, we provide some counterexamples which show that the hypotheses are not altogether superfluous. Thus, many well-known commutativity theorems become corollaries of our results.

In this paper we investigate commutativity of ring $R$ with involution ${}^{\text{'}}{*}^{\text{'}}$ which admits a derivation satisfying certain algebraic identities on Jordan ideals of $R$. Some related results for prime rings are also discussed. Finally, we provide examples to show that various restrictions imposed in the hypotheses of our theorems are not superfluous.

Let $R$ be a prime ring, $I$ a nonzero ideal of $R$, $d$ a derivation of $R$ and $m,n$ fixed positive integers. (i) If ${\left(d[x,y]\right)}^m={[x,y]}_n$ for all $x,y\in I$, then $R$ is commutative. (ii) If $\mathrm{Char}R\ne 2$ and ${[d\left(x\right),d\left(y\right)]}_m={[x,y]}^n$ for all $x,y\in I$, then $R$ is commutative. Moreover, we also examine the case when $R$ is a semiprime ring.

The purpose of this note is to show how calculi on unital associative algebra with universal right bimodule generalize previously studied constructions by Pusz and Woronowicz [1989] and by Wess and Zumino [1990] and that in this language results are in a natural context, are easier to describe and handle. As a by-product we obtain intrinsic, coordinate-free and basis-independent generalization of the first order noncommutative differential calculi with partial derivatives.