The Kaplansky condition and rings of almost stable range 1 (Q2845450)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The Kaplansky condition and rings of almost stable range 1 |
scientific article; zbMATH DE number 6203429
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Kaplansky condition and rings of almost stable range 1 |
scientific article; zbMATH DE number 6203429 |
Statements
The Kaplansky condition and rings of almost stable range 1 (English)
0 references
30 August 2013
0 references
\(K\)-Hermite
0 references
elementary divisor ring
0 references
Kaplansky condition
0 references
stable rang
0 references
almost stable rang 1
0 references
0.85997015
0 references
0 references
0 references
0.7880832
0 references
0.7867041
0 references
0 references
0.77364194
0 references
All rings in this review are commutative with unity. Two rectangular matrices \(A\) and \(B\) in \(M_{s,t}(R)\) are equivalent if there exist invertible matrices \(P\in M_{s,s}(R)\) and \(Q\in M_{t,t}(R)\) such that \(B=PAQ\). The ring \(R\) is \(K\)-Hermite if every rectangular matrix \(A\) over \(R\) is equivalent to an upper or a lower triangular matrix (the term `\(K\)-Hermite ring' was introduced by \textit{T. Y. Lam} [Serre's problem on projective modules. Springer Monographs in Mathematics. Berlin: Springer Verlag, (2006; Zbl 1101.13001)]). A ring \(R\) is an elementary divisor ring (EDR) if and only if every rectangular matrix \(A\) over \(R\) is equivalent to a diagonal matrix. By Irving Kaplansky, a \(K\)-Hermite ring \(R\) is an EDD ring if and only if it satisfies condition: for any three elements \(a,b,c\) in \(R\) that generate the ideal \(R\), there exist elements \(p,q\in R\) so that \((pa,pb+qc)=R\) (the Kaplansky's condition) [\textit{I. Kaplansky}, Trans. Am. Math. Soc. 66, No. 2, 464--491 (1949; Zbl 0036.01903)].NEWLINENEWLINEThe author presents some variants of the Kaplansky condition. One of the results:NEWLINENEWLINETheorem 2.9. Let \(R\) be a \(K\)-Hermite ring. The following conditions are equivalent:NEWLINENEWLINE(1) \(R\) is an elementary divisor ring.NEWLINENEWLINE(2) For any elements \(x,y,z\in R\) such that \((x,y)=R\), there exists an element \(\lambda\in R\) such that \(x+\lambda y=uv\), where \((u,z)=(v,1-z)=R\). Moreover, the elements \(u\) and \(v\) can be chosen such that \((u,v)=R\).NEWLINENEWLINEA ring \(R\) is called Bézout ring if each finitely generated ideal of \(R\) is principal. The author presents an example of a Bézout ring that is an elementary divisor ring but does not have almost stable rang 1. This result is the answer to a question of \textit{W. Wm. McGovern} [J. Pure Appl. Algebra 212, No 2, 340--348 (2008, Zbl 1159.13010)].
0 references