2000 Mathematics Subject Classification: 15A15, 15A24, 15A33, 16S50.For an n×n matrix A over an arbitrary unitary ring R, we obtain the following Cayley-Hamilton identity with right matrix coefficients: (λ0I+C0)+A(λ1I+C1)+… +An-1(λn-1I+Cn-1)+An (n!I+Cn) = 0, where λ0+λ1x+…+λn-1 xn-1+n!xn is the right characteristic polynomial of A in R[x], I ∈ Mn(R) is the identity matrix and the entries of the n×n matrices Ci, 0 ≤ i ≤ n are in [R,R]. If R is commutative, then C0 = C1 = … = Cn-1 = Cn = 0 and our...

Let F be a field, and let R be a finitely-generated F-algebra, which is a domain with quadratic growth. It is shown that either the center of R is a finitely-generated F-algebra or R satisfies a polynomial identity (is PI) or else R is algebraic over F. Let r ∈ R be not algebraic over F and let C be the centralizer of r. It is shown that either the quotient ring of C is a finitely-generated division algebra of Gelfand-Kirillov dimension 1 or R is PI.

The main result: Let $R$ be a $2$-torsion free semiprime ring and let $T:R\to R$ be an additive mapping. Suppose that $T\left(xyx\right)=xT\left(y\right)x$ holds for all $x,y\in R$. In this case $T$ is a centralizer.

Let $ℛ$ be a commutative ring, $𝒢$ be a generalized matrix algebra over $ℛ$ with weakly loyal bimodule and $𝒵\left(𝒢\right)$ be the center of $𝒢$. Suppose that $𝔮:𝒢\times 𝒢\to 𝒢$ is an $ℛ$-bilinear mapping and that ${𝔗}_{𝔮}:𝒢\to 𝒢$ is a trace of $𝔮$. The aim of this article is to describe the form of ${𝔗}_{𝔮}$ satisfying the centralizing condition $[{𝔗}_{𝔮}\left(x\right),x]\in 𝒵\left(𝒢\right)$ (and commuting condition $[{𝔗}_{𝔮}\left(x\right),x]=0$) for all $x\in 𝒢$. More precisely, we will revisit the question of when the centralizing trace (and commuting trace) ${𝔗}_{𝔮}$ has the so-called proper form from a new perspective. Using the aforementioned...

Let $D$ be a division ring finite dimensional over its center $F$. The goal of this paper is to prove that for any positive integer $n$ there exists $a\in D^{\left(n\right)},$ the $n$th multiplicative derived subgroup such that $F\left(a\right)$ is a maximal subfield of $D$. We also show that a single depth-$n$ iterated additive commutator would generate a maximal subfield of $D.$

Let $R$ be an associative ring with identity $1$ and $J\left(R\right)$ the Jacobson radical of $R$. Suppose that $m\ge 1$ is a fixed positive integer and $R$ an $m$-torsion-free ring with $1$. In the present paper, it is shown 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) $[x,[x,y^m]]=0$, for all $x,y\in R\setminus J\left(R\right)$. This result is also valid if (ii) is replaced by (ii)’ $[{\left(yx\right)}^m{x}^m-x^m{\left(xy\right)}^m,x]=0$, for all $x,y\in R\setminus N\left(R\right)$. Our results generalize many well-known commutativity theorems (cf. [1], [2], [3], [4], [5], [6], [9], [10], [11] and [14]).

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.