Related papers: On Trace Zero Matrices and Commutators

Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base…

A non-zero $\mathbb{F}$-valued $\mathbb{F}$-linear map on a finite dimensional $\mathbb{F}$-algebra is called an $\mathbb{F}$-valued trace if its kernel does not contain any non-zero ideals. However, given an $\mathbb{F}$-algebra such a map…

For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to…

Let $R=\mathcal{O}_{\Q(\sqrt{d})}$ for $d<0$, squarefree, $d\neq -1,-3$. We prove Lehmer's conjecture for associated reciprocal polynomials of $R$-matrices; that is, any noncyclotomic $R$-matrix has Mahler measure at least…

Given rings $R \subseteq S$, consider the division closure $DC(R,S)$ and the rational closure $RC(R,S)$ of R in S. If S is commutative, then $DC(R,S)=RC(R,S)=RT^{-1}$, where $T = \{t\in R : t^{-1} \in S\}$. We show that this is also true if…

Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. Under various hypotheses, it is proved that the center of $\mbox{End}_R(M)$ coincides with the endomorphism ring of the trace ideal of $M$. These results are…

Motivated by a question of L. Robert, asking whether $\rm L(T(A)) = Lsc_{C}(T(A))$ for any separable C*-algebra A, we introduce and initiate the study of \emph{tracially reflexive C*-algebras}. We first prove that commutative C*-algebras…

We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…

Circulant matrices over finite fields and over commutative finite chain rings have been of interest due to their nice algebraic structures and wide applications. In many cases, such matrices over rings have a closed connection with diagonal…

A matrix-valued measure $\Theta$ reduces to measures of smaller size if there exists a constant invertible matrix $M$ such that $M\Theta M^*$ is block diagonal. Equivalently, the real vector space ${\mathscr A}$ of all matrices $T$ such…

Let $n$ be a natural number and $\mathcal{M}$ a set of $n \times n$-matrices over the nonnegative integers such that the joint spectral radius of $\mathcal{M}$ is at most one. We show that if the zero matrix $0$ is a product of matrices in…

In this paper we prove a version of Connes' trace theorem for noncommutative tori of any dimension~$n\geq 2$. This allows us to recover and improve earlier versions of this result in dimension $n=2$ and $n=4$ by Fathizadeh-Khalkhali. We…

Let R be a ring with derivation d, such that (d(xy))^n =(d(x))^n(d(y))^n for all x,y in R and n>1 is a fixed integer. In this paper, we show that if R is a prime, then d = 0 or R is a commutative. If R is a semiprime, then d maps R in to…

Let $\lambda_1 \geq \lambda_2 \geq \lambda_3 \geq \lambda_4 \geq \lambda_5 \geq -\lambda_1$ be real numbers such that $\sum_{i=1}^5 \lambda_i =0$. In \cite{oren}, O. Spector prove that a necessary and sufficient condition for $\lambda_1,…

In this paper we show that any Bohr-zero non-periodic set $B$ of traceless integer valued matrices, denoted by $\Lambda$, intersects non-trivially the conjugacy class of any matrix from $\Lambda$. As a corollary, we obtain that the family…

Let $M$ be an $mn\times mn$ matrix over a commutative ring $R$. Divide $M$ into $m \times m$ blocks. Assume that the blocks commute pairwise. Consider the following two procedures: (1) Evaluate the $n \times n$ determinant formula at these…

It is well known that the full matrix ring over a skew-field is a simple ring. We generalize this theorem to the case of semirings. We characterize the case when the matrix semiring $\mathbf{M}_n(S)$, of all $n\times n$ matrices over a…

A real square matrix $A$ of order $n \times n~ (n \geq 3)$ is called an $F_0$-matrix, if it is a $Z$-matrix (off-diagonal entries nonpositive), all of whose principal submatrices of orders at most $n-2$ are $M$-matrices while there is at…

Let $R$ be a commutative ring with unity and $R^{+}$ be $Z^*(R)$ be the additive group and the set of all non-zero zero-divisors of $R$, respectively. We denote by $\mathbb{CAY}(R)$ the Cayley graph $Cay(R^+,Z^*(R))$. In this paper, we…

We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to…