Related papers: Products of commutators in matrix rings

Let $A$ be a finite-dimensional simple algebra that is not a field. We show that every $a\in A$ can be written as $a=(bc-cb)(de-ed)$ for some $b,c,d,e\in A$. This is not always true for infinite-dimensional simple algebras. In fact, for any…

Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$…

This paper is an attempt to find out which properties of a finite group G can be expressed in terms of commutators of elements of coprime orders. A criterion of solubility of G in terms of such commutators is obtained. We also conjecture…

The aim of this article is to describe necessary and sufficient conditions for simplicity of Ore extension rings, with an emphasis on differential polynomial rings. We show that a differential polynomial ring, R[x;id,\delta], is simple if…

For a matroid $M$, an element $e$ such that both $M\backslash e$ and $M/e$ are regular is called a regular element of $M$. We determine completely the structure of non-regular matroids with at least two regular elements. Besides four small…

A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…

It is shown that every commutative arithmetic ring $R$ has $lambda$-dimension $ leq 3$. An example of a commutative Kaplansky ring with $ lambda$-dimension 3 is given. If $R$ satisfies an additional condition then $ lambda$-dim($R$)

Regarding polynomial functions on a subset $S$ of a non-commutative ring $R$, that is, functions induced by polynomials in $R[x]$ (whose variable commutes with the coefficients), we show connections between, on one hand, sets $S$ such that…

Let $A_1,\ldots,A_s$ be unitary commutative rings which do not have non-trivial idempotents and let $A=A_1\oplus\cdots\oplus A_s$ be their direct sum. We describe all idempotents in the $2\times 2$ matrix ring $M_2(A[[X]])$ over the ring…

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…

Let $G$ be a finite group. A coprime commutator in $G$ is any element that can be written as a commutator $[x,y]$ for suitable $x,y\in G$ such that $\pi(x)\cap\pi(y)=\emptyset$. Here $\pi(g)$ denotes the set of prime divisors of the order…

Let $R$ be a commutative ring with identity. The ring $R\times R$ can be viewed as an extension of $R$ via the diagonal map $\Delta: R \hookrightarrow R\times R$, given by $\Delta(r) = (r, r)$ for all $r\in R$. It is shown that, for any $a,…

This paper aims to continue the studies initiated by Botha in [Linear Algebra Appl. 273 (1998), 65-82; Linear Algebra Appl. 286 (1999), 37-44; Linear Algebra Appl. 315 (2000), 1-23] by extending them to matrices over noncommutative division…

We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the…

Armendariz and semicommutative rings are generalizations of reduced rings. In \cite{IN}, I.N. Herstein introduced the notion of a hypercenter of a ring to generalize the center subclass. For a ring $R$, an element $a \in R$ is called…

Given a finite set $\{M_0,\dots,M_{d-1}\}$ of nonnegative $2\times 2$ matrices and a nonnegative column-vector $V$, we associate to each $(\omega_n)\in\{0,\dots,d-1\}^\mathbb N$ the sequence of the column-vectors…

The paper studies the question of existence of polynomials with given roots over associative non-commutative rings with identity. It is shown that in the case of an associative division ring for arbitrary n elements of this ring there…

The notion of clean rings and 2-good rings have many variations, and have been widely studied. We provide a few results about two new variations of these concepts and discuss the theory that ties these variations to objects and properties…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Let K denote a field. Given an arbitrary linear subspace V of M_n(K) of codimension lesser than n-1, a classical result states that V generates the K-algebra M_n(K). Here, we strengthen this in three ways: we show that M_n(K) is spanned by…