Lifting units in clean rings. (Q375205): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Clean rings are those in which every element is a sum of a unit plus an idempotent; they form a proper subclass of the class of exchange rings. The focus of this paper is on the property of lifting units modulo an ideal \(I\) of a clean ring \(R\), and on the related property of surjectivity of the natural map \(K_1(R)\to K_1(R/I)\). It is first proved that if \(R/I\) is a local ring, then units lift from \(R/I\) to \(R\), an implication that does not hold for exchange rings in general. The main theorem shows that \(K_1(R)\to K_1(R/I)\) is surjective under the following hypotheses: \(R/I\) is semiperfect; \(K_0(I)\) is torsionfree; \((R/I)/J(R/I)\) is a direct sum of matrix rings over division rings which are algebraic over their centers. If, in addition, separative cancellation holds for all finitely generated projective \(R\)-modules \(A\), \(B\) with \(A=IA\) and \(B=IB\) (meaning that \(A\oplus A\cong A\oplus B\cong B\oplus B\Rightarrow A\cong B\)), it follows from a result of \textit{F. Perera} [Reine Angew. Math. 522, 51-62 (2000; Zbl 0953.46029)] that units lift modulo \(I\). As an application, the author proves that the first known example of a non-clean exchange ring (originally constructed by G. Bergman for a different purpose) is stably non-clean: no matrix ring over this ring is clean. | |||
Property / review text: Clean rings are those in which every element is a sum of a unit plus an idempotent; they form a proper subclass of the class of exchange rings. The focus of this paper is on the property of lifting units modulo an ideal \(I\) of a clean ring \(R\), and on the related property of surjectivity of the natural map \(K_1(R)\to K_1(R/I)\). It is first proved that if \(R/I\) is a local ring, then units lift from \(R/I\) to \(R\), an implication that does not hold for exchange rings in general. The main theorem shows that \(K_1(R)\to K_1(R/I)\) is surjective under the following hypotheses: \(R/I\) is semiperfect; \(K_0(I)\) is torsionfree; \((R/I)/J(R/I)\) is a direct sum of matrix rings over division rings which are algebraic over their centers. If, in addition, separative cancellation holds for all finitely generated projective \(R\)-modules \(A\), \(B\) with \(A=IA\) and \(B=IB\) (meaning that \(A\oplus A\cong A\oplus B\cong B\oplus B\Rightarrow A\cong B\)), it follows from a result of \textit{F. Perera} [Reine Angew. Math. 522, 51-62 (2000; Zbl 0953.46029)] that units lift modulo \(I\). As an application, the author proves that the first known example of a non-clean exchange ring (originally constructed by G. Bergman for a different purpose) is stably non-clean: no matrix ring over this ring is clean. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Kenneth R. Goodearl / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16U60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16E20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16E50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6220535 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
clean rings | |||
Property / zbMATH Keywords: clean rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lifting units | |||
Property / zbMATH Keywords: lifting units / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
K-theory | |||
Property / zbMATH Keywords: K-theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
separativity | |||
Property / zbMATH Keywords: separativity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
idempotents | |||
Property / zbMATH Keywords: idempotents / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sums of units | |||
Property / zbMATH Keywords: sums of units / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exchange rings | |||
Property / zbMATH Keywords: exchange rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
matrix rings | |||
Property / zbMATH Keywords: matrix rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
separative cancellation | |||
Property / zbMATH Keywords: separative cancellation / rank | |||
Normal rank |
Revision as of 11:22, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lifting units in clean rings. |
scientific article |
Statements
Lifting units in clean rings. (English)
0 references
28 October 2013
0 references
Clean rings are those in which every element is a sum of a unit plus an idempotent; they form a proper subclass of the class of exchange rings. The focus of this paper is on the property of lifting units modulo an ideal \(I\) of a clean ring \(R\), and on the related property of surjectivity of the natural map \(K_1(R)\to K_1(R/I)\). It is first proved that if \(R/I\) is a local ring, then units lift from \(R/I\) to \(R\), an implication that does not hold for exchange rings in general. The main theorem shows that \(K_1(R)\to K_1(R/I)\) is surjective under the following hypotheses: \(R/I\) is semiperfect; \(K_0(I)\) is torsionfree; \((R/I)/J(R/I)\) is a direct sum of matrix rings over division rings which are algebraic over their centers. If, in addition, separative cancellation holds for all finitely generated projective \(R\)-modules \(A\), \(B\) with \(A=IA\) and \(B=IB\) (meaning that \(A\oplus A\cong A\oplus B\cong B\oplus B\Rightarrow A\cong B\)), it follows from a result of \textit{F. Perera} [Reine Angew. Math. 522, 51-62 (2000; Zbl 0953.46029)] that units lift modulo \(I\). As an application, the author proves that the first known example of a non-clean exchange ring (originally constructed by G. Bergman for a different purpose) is stably non-clean: no matrix ring over this ring is clean.
0 references
clean rings
0 references
lifting units
0 references
K-theory
0 references
separativity
0 references
idempotents
0 references
sums of units
0 references
exchange rings
0 references
matrix rings
0 references
separative cancellation
0 references