Separative cancellation for projective modules over exchange rings (Q1264279)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separative cancellation for projective modules over exchange rings |
scientific article |
Statements
Separative cancellation for projective modules over exchange rings (English)
0 references
16 March 1999
0 references
An \(R\)-module \(M\) has the exchange property if for every \(R\)-module \(A\) and any decompositions \(A=M'\oplus N=\bigoplus_{i\in I}A_i\), with \(M'\cong M\), there exist submodules \(A_i'\subseteq A_i\) such that \(A=M'\oplus\left(\bigoplus_{i\in I}A_i'\right)\). If the above condition is satisfied whenever the index set \(I\) is finite, \(M\) is said to satisfy the finite exchange property. A ring \(R\) is called an exchange ring if \(R_R\) satisfies the (finite) exchange property. A ring \(R\) is called a separative ring if the following condition holds for all \(A,B\in\text{FP}(R)\): \(A\oplus A\cong A\oplus B\cong B\oplus B\Rightarrow A\cong B\), where \(\text{FP}(R)\) is the class of all finitely generated projective modules over the ring \(R\). The separativity is shown to provide a key to a number of outstanding cancellation problems for finitely generated projective modules over exchange rings. In this paper, the authors develop some basic characterizations and initial applications of separativity, study stable rank conditions on exchange rings, prove the extension theorem for separative exchange rings, and give a corresponding extension result for the smaller class of strongly separative exchange rings. The results of this paper are particularly useful for the study of ring and module theory.
0 references
decompositions
0 references
finite exchange property
0 references
separative rings
0 references
finitely generated projective modules
0 references
cancellation problems
0 references
exchange rings
0 references
separativity
0 references
stable rank conditions
0 references