Searcharxiv⌕ Search

arXiv subjects

Dinesh Khurana

Publications and source records attributed to Dinesh Khurana.

10 recordsLinked to original sources
arXiv2026

Perspectivity and the perspective-Schröder-Bernstein Property

In this paper, we study various aspects of perspectivity in modules. We prove that the following classes of modules satisfy the perspective-Schröder-Bernstein property: modules with transitive perspectivity, quasi-continuous modules, Harada (and hence discrete) modules and quasi-discrete modules with the (finite) exchange property. Furthermore, we prove that for a semiregular ring, the Schröder-Bernstein property implies the perspective-Schröder-Bernstein property. We prove that for $A,B \subseteq ^{\oplus} M$, if all complements of $A$ are perspective with $B$, then all complements of $B$ are perspective with $A$. We also provide new characterizations of weakly perspective modules and modules in which perspectivity is transitive. Some applications of these results are given. We finally prove that perspectivity is transitive in a ring $R$ if and only if every special clean element of $R$ is perspective.

math.RA↗
arXiv2026

Rings in which one-sided strongly $π$-regular elements are strongly $π$-regular

In 1977, Hartwig and Luh asked if $a$ is an element of a Dedekind-finite ring $S$, then does $aS = a^2S$ imply $Sa = Sa^2$. This question was answered negatively by Dittmer, Khurana, and Nielsen in 2014. On the other hand, Dittmer et al. proved that the question of Hartwig and Luh has a positive answer for Dedekind-finite exchange rings. We explore the question of Hartwig and Luh for various other classes of Dedekind-finite rings. We will also prove that the condition in question is not left-right symmetric.

math.RA↗
arXiv2024

Ring Elements of Stable Range One

A ring element $\,a\in R\,$ is said to be of {\it right stable range one\/} if, for any $\,t\in R$, $\,aR+tR=R\,$ implies that $\,a+t\,b\,$ is a unit in $\,R\,$ for some $\,b\in R$. Similarly, $\,a\in R\,$ is said to be of {\it left stable range one\/} if $\,R\,a+R\,t=R\,$ implies that $\,a+b't\,$ is a unit in $\,R\,$ for some $\,b'\in R$. In the last two decades, it has often been speculated that these two notions are actually the same for any $\,a\in R$. In \S3 of this paper, we will prove that this is indeed the case. The key to the proof of this new symmetry result is a certain ``Super Jacobson's Lemma'', which generalizes Jacobson's classical lemma stating that, for any $\,a,b\in R$, $\,1-ab\,$ is a unit in $\,R\,$ iff so is $\,1-ba$. Our proof for the symmetry result above has led to a new generalization of a classical determinantal identity of Sylvester, which will be published separately in [KL$_3$]. In §\S4-5, a detailed study is offered for stable range one ring elements that are unit-regular or nilpotent, while \S6 examines the behavior of stable range one elements via their classical Peirce decompositions. The paper ends with a more concrete \S7 on integral matrices of stable range one, followed by a final \S8 with a few open questions.

math.RA↗
arXiv2023

A New Determinantal Formula for Three Matrices

For any three $\,n\times n\,$ matrices $\,A,B,X\,$ over a commutative ring $\,S$, we prove that $\,{\rm det}\,(A+B-AXB)={\rm det}\,(A+B-BXA) \in S$. This apparently new formula may be regarded as a ``ternary generalization'' of Sylvester's classical determinantal formula $\,{\rm det}\,(I_n-AB)={\rm det}\,(I_n-BA)\,$ for any pair of $\,n\times n\,$ matrices $\,A,B\,$ over $\,S$.

math.RA↗
arXiv2018

Commutators and Anti-Commutators of Idempotents in Rings

We show that a ring $\,R\,$ has two idempotents $\,e,e'\,$ with an invertible commutator $\,ee'-e'e\,$ if and only if $\,R \cong {\mathbb M}_2(S)\,$ for a ring $\,S\,$ in which $\,1\,$ is a sum of two units. In this case, the "anti-commutator" $\,ee'+e'e\,$ is automatically invertible, so we study also the broader class of rings having such an invertible anti-commutator. Simple artinian rings $\,R\,$ (along with other related classes of matrix rings) with one of the above properties are completely determined. In this study, we also arrive at various new criteria for {\it general\} $\,2\times 2\,$ matrix rings. For instance, $R\,$ is such a matrix ring if and only if it has an invertible commutator $\,er-re\,$ where $\,e^2=e$.

math.RA↗
arXiv2015

Unit-Regularity of Regular Nilpotent Elements

Let $a$ be a regular element of a ring $R$. If either $K:=\rm{r}_R(a)$ has the exchange property or every power of $a$ is regular, then we prove that for every positive integer $n$ there exist decompositions $$ R_R = K \oplus X_n \oplus Y_n = E_n \oplus X_n \oplus aY_n,$$ where $Y_n \subseteq a^nR$ and $E_n \cong R/aR$. As applications we get easier proofs of the results that a strongly $π$-regular ring has stable range one and also that a strongly $π$-regular element whose every power is regular is unit-regular.

math.RA↗
arXiv2010

A quantum-trace determinantal formula for matrix commutators, and applications

In this paper, we establish a determinantal formula for 2 x 2 matrix commutators [X,Y] = XY - YX over a commutative ring, using (among other invariants) the quantum traces of X and Y. Special forms of this determinantal formula include a "trace version", and a "supertrace version". Some applications of these formulas are given to the study of value sets of binary quadratic forms, the factorization of 2 x 2 integral matrices, and the solution of certain simultaneous diophantine equations over commutative rings.

math.RA↗
arXiv2009

A short proof of Grinshpon's theorem

Grinshpon has proved that if $S$ is a commutative subring of a ring $R$ and $A\in M_n(S)$ is invertible in $M_n(R)$, then $det(A)$ is invertible in $R$. We give a very short proof of the result.

math.RA↗
arXiv2008

Some Characterizations of VNL Rings

A ring R is said to be VNL if for any a in R, either a or 1-a is (von Neumann) regular. The class of VNL rings lies properly between the exchange rings and (von Neumann) regular rings. We characterize abelian VNL rings. We also characterize and classify arbitrary VNL rings without infinite set of orthogonal idempotents; and also the VNL rings having primitive idempotent e such that eRe is not a division ring. We prove that a semiperfect ring R is VNL if and only if for any right uni-modular row (a, b) in R^2, one of the a or b is regular in R. Formal triangular matrix rings that are VNL, are also characterized. As a corollary it is shown that an upper triangular matrix ring T_n(R) is VNL if and only if n=2 or 3 and R is a division ring.

math.RA↗