Abstract
A separative ring is one whose finitely generated projective modules satisfy the propertyA⊕A⋟A⊕B⋟B⊕B⇒A⋟B. This condition is shown to provide a key to a number of outstanding cancellation problems for finitely generated projective modules over exchange rings. It is shown that the class of separative exchange rings is very broad, and, notably, closed under extensions of ideals by factor rings. That is, if an exchange ringR has an idealI withI andR/I both separative, thenR is separative.
Similar content being viewed by others
References
P. Ara,Aleph-nought-continuous regular rings, Journal of Algebra109 (1987), 115–126.
P. Ara,Left and right projections are equivalent in Rickart C * -algebras, Journal of Algebra120 (1989), 433–448.
P. Ara,Strongly π-regular rings have stable range one, Proceedings of the American Mathematical Society124 (1996), 3293–3298.
P. Ara,Extensions of exchange rings, Journal of Algebra (to appear).
P. Ara, K. R. Goodearl, K. C. O'Meara and E. Pardo,Diagonalization of matrices over regular rings, Linear Algebra and its Applications (to appear).
P. Ara, K. R. Goodearl, E. Pardo and D. V. Tyukavkin,K-theoretically simple von Neumann regular rings, Journal of Algebra174 (1995), 659–677.
P. Ara, K. C. O'Meara and D. V. Tyukavkin,Cancellation of projective modules over regular rings with comparability, Journal of Pure and Applied Algebra107 (1996), 19–38.
G. Baccella,Semiartinian V-rings and semiartinian von Neumann regular rings, Journal of Algebra173 (1995), 587–612.
G. Bergman, Personal correspondence, 1990.
B. Blackadar,K-Theory for Operator Algebras, MSRI Publications 5, springer-Verlag, New York, 1986.
B. Blackadar,Rational C * -algebras and non-stable K-theory, Rocky Mountain Journal of Mathematics20 (1990), 285–316.
B. Blackadar,Projections in C * -algebras, inC * -Algebras: 1943–1993 (R. S. Doran, ed.), Contemporary Mathematics167 (1994), 131–149.
B. Blackadar and D. Handelman,Dimension functions and traces on C * -algebras, Journal of Functional Analysis45 (1982), 297–340.
G. Brookfield, Ph.D. Thesis, University of California at Santa Barbara, 1997.
L. G. Brown,Homotopy of projections in C * -algebras of stable rank one, inRecent Advances in Operator Algebras (Orléans, 1992), Astérisque232 (1995), 115–120.
L. G. Brown and G. K. Pedersen,C * -algebras of real rank zero, Journal of Functional Analysis99 (1991), 131–149.
L. G. Brown and G. K. Pedersen,On the geometry of the unit ball of a C * -algebra, Journal für die reine und angewandte Mathematik469 (1995), 113–147.
V. P. Camillo and H.-P. Yu,Stable range one for rings with many idempotents, Transactions of the American Mathematical Society347 (1995), 3141–3147.
A. H. Clifford and G. B. Preston,The Algebraic Theory of Semigroups, Vol. 1, Math. Surveys 7, American Mathematical Society, Providence, 1961.
P. M. Cohn,Algebra, Vol. 1, Second Ed., Wiley, New York, 1982.
P. Crawley and B. Jónsson,Refinements for infinite direct decompositions of algebraic systems, Pacific Journal of Mathematics14 (1964), 797–855.
J. Cuntz,K-theory for certain C * -algebras, Annals of Mathematics113 (1981), 181–197.
H. Dobbertin,Refinement monoids, Vaught monoids, and Boolean algebras, Mathematische Annalen265 (1983), 473–487.
E. G. Evans, Jr.,Krull-Schmidt and cancellation over local rings, Pacific Journal of Mathematics46 (1973), 115–121.
L. Fuchs,Partially Ordered Algebraic Systems, Pergamon Press, Oxford, 1963.
K. R. Goodearl,Direct sum properties of quasi-injective modules, Bulletin of the American Mathematical Society82 (1976), 108–110.
K. R. Goodearl,Von Neumann Regular Rings, Pitman, London, 1979; second ed., Krieger, Malabar, Fl., 1991.
K. R. Goodearl,Notes on Real and Complex C * -Algebras, Shiva Math. Series 5, Nantwich (Cheshire), 1982.
K. R. Goodearl,Torsion in K 0 of unit-regular rings, Proceedings of the Edinburgh Mathematical Society38 (1995), 331–341.
K. R. Goodearl,Von Neumann regular rings and direct sum decomposition problems, inAbelian Groups and Modules, Padova 1994 (A. Facchini and C. Menini, eds.), Kluwer, Dordrecht, 1995, pp. 249–255.
K. R. Goodearl and R. B. Warfield, Jr.,Algebras over zero-dimensional rings, Mathematische Annalen223 (1976), 157–168.
P. A. Grillet,Interpolation properties and tensor products of semigroups, Semigroup Forum1 (1970), 162–168.
J. Hannah and K. C. O'Meara,Products of idempotents in regular rings, II, Journal of Algebra123 (1989), 223–239.
E. Hewitt and H. S. Zuckerman,The ℓ 1 -algebra of a commutative semigroup, Transactions of the American Mathematical Society83 (1956), 70–97.
I. Kaplansky,Elementary divisors and modules, Transactions of the American Mathematical Society66 (1949), 464–491.
N. Kimura and Y.-S. Tsai,On power cancellative archimedean semigroups, Japan Academy, Proceedings48 (1972), 553–554.
P. Menal,Spectral Banach algebras of bounded index, Journal of Algebra154 (1993), 27–66.
P. Menal and J. Moncasi,On regular rings with stable range 2, Journal of Pure and Applied Algebra24 (1982), 25–40.
J. Moncasi,Rang estable en anells regulars, Ph.D. Thesis, Universitat Autònoma de Barcelona, 1984.
J. Moncasi,A regular ring whose K 0 is not a Riesz group, Communications in Algebra13 (1985), 125–131.
W. K. Nicholson,Litting idempotents and exchange rings, Transactions of the American Mathematical Society229 (1977), 269–278.
K. C. O'Meara and C. Vinsonhaler,Separative cancellation in torsion-free abelian groups (to appear).
E. Pardo,Monoides de refinament i anells d'intercanvi, Ph.D. Thesism Universitat Autònoma de Barcelona, 1995.
E. Pardo,Comparability, separativity and exchange rings, Communications in Algebra24 (1996), 2915–2929.
M. Rørdam,On the structure of simple C * -algebras tensored with a UHF-algebra, II, Journal of Functional Analysis107 (1992), 255–269.
J. Stock,On rings whose projective modules have the exchange property, Journal of Algebra103 (1986), 437–453.
L. N. Vaserstein,Stable rank of rings and dimensionality of topological spaces, Functional analysis and its Applications5 (1971), 102–110.
R. B. Warfield, Jr.,Exchange rings and decompositions of modules, Mathematische Annalen199 (1972), 31–36.
R. B. Warfield, Jr.,Cancellation of modules and groups and stable range of endomorphism rings, Pacific Journal of Mathematics91 (1980), 457–485.
F. Wehrung,Injective positively ordered monoids I, II, Journal of Pure and Applied Algebra83 (1992), 43–82, 83–100.
F. Wehrung,Embedding simple commutative monoids into simple refinement monoids, Semigroup Forum (to appear).
T. Wu and W. Tong,Finitely generated projective modules over exchange rings, Manuscripta Mathematica86 (1995), 149–157.
H.-P. Yu,Stable range one for exchange rings, Journal of Pure and Applied Algebra98 (1995), 105–109.
S. Zhang,Diagonalizing projections in multiplier algebras and in matrices over a c * -algebra, Pacific Journal of Mathematics145 (1990), 181–200.
S. Zhang,A Riesz decomposition property and ideal structure of multiplier algebras, Journal of Operator Theory24 (1990), 204–225.
S. Zhang,Certain C * -algebras with real rank zero and their corona and multiplier algebras, Part I, Pacific Journal of Mathematics155 (1992), 169–197.
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of the first and fourth authors was partially supported by a grant from the DGICYT (Spain) and by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya. That of the second author was partially supported by a grant from the NSF (USA). The final version of this paper was prepared while he was visiting the Centre de Recerca Matemàtica, Institut d'Estudis Catalans in Barcelona, and he thanks the CRM for its hospitality.
Rights and permissions
About this article
Cite this article
Ara, P., Goodearl, K.R., O’Meara, K.C. et al. Separative cancellation for projective modules over exchange rings. Isr. J. Math. 105, 105–137 (1998). https://doi.org/10.1007/BF02780325
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02780325