On square stable range one matrices over commutative rings
A ring \(R\) satisfies the stable range one condition (sr1) if for any \(a,b\in R\) such that \(Ra+Rb=R\), there exists an element \(y\in R\) such that \(a+b y\) is a unit in \(R\). This condition ensures strong cancellation properties for modules, implying that \(A\oplus B\cong A\oplus C\) leads to \(B\cong C\). A variation of the stable range one condition (sr1) for elements and rings was introduced by Khurana and Lam as follows: an element \(a\) of a unital ring \(R\) has left square stable range one (ssr1) if, for each \(b \in R\) such that \(Ra + Rb = R\) there exists \(y\in R\) such that \(a^2 + yb\) is a unit of \(R\). A ring \(R\) is said to have left ssr1 if all its elements satisfy this property. The condition for right ssr1 for elements and rings is defined symmetrically.\N\NRecently, in a paper by D. Khurana and T. Y. Lam, it was shown that this condition is left-right symmetric for elements (and, by extension, for rings).\N\NIn this paper, over commutative rings, the authors examine \(2\times 2\) matrices that satisfy the ssr1 condition. Their indagations indicate significant differences from the stable range one (sr1) condition, requiring the development of specialized techniques. The authors characterize \(2 \times 2\) matrices that possess ssr1 in several cases: implicitly over commutative rings, nilpotent matrices over commutative reduced rings, and explicitly over elementary divisor domains. As applications, it is proved that over commutative Bézout domains, ring multiples of idempotent \(2\times 2\) matrices have ssr1. Additionally, the authors characterize ssr1 matrices with a zero row (or zero column) and offer an explicit description of ssr1 integral matrices. Building on these results, the paper further shows that the Jacobson Lemma for ssr1 holds for \(2\times 2\) integral matrices, contingent on a conjecture regarding the greatest common divisors of their entries.
- Clean matrices and unit-regular matrices.
- Diagonability of idempotent matrices
- Elementary divisor domains and Bézout domains
- scientific article; zbMATH DE number 11573 (Why is no real title available?)
- Matrix invertible extensions over commutative rings. II: Determinant liftability
- On stable range one matrices
- Ring elements of stable range one
- Rings of square stable range one
This page was built for publication: On square stable range one matrices over commutative rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6919525)
