Square-free modules with the exchange property.
type: Item
instance of: scholarly article
title: Square-free modules with the exchange property.
zbMATH Open document ID: 1213.16003
published in: Journal of Algebra
publication date: 2010-04-21T00:00:00Z
review text: A right \(A\)-module \(M_A\) has the `\(\aleph\)-exchange property', for some cardinal \(\aleph\geq 2\), if whenever there are right \(A\)-module decompositions \(A=M\oplus N=\bigoplus_{i\in\aleph}A_i\) then there exist submodules \(A_i'\subseteq A_i\), for each \(i\in\aleph\), so that \(A=M\oplus(\bigoplus_{i\in\aleph}A_i')\). If \(M_A\) has the \(\aleph\)-exchange property for all cardinals \(\aleph\) (respectively, all finite cardinals), then we say \(M_A\) has the `full exchange property' (respectively, the `finite exchange property'). A module is called `square-free' if there is no nonzero submodule isomorphic to a square \(X\oplus X\). The main result of the paper is the one addressing its title, Theorem 9: ``If \(M\) is a square-free module with the finite exchange property then \(M\) has the full exchange property''. Actually the author proves a result in more generality that deals with topological conditions on a ring, which are the following: a ring \(R\) has a `left linear Hausdorff' topology if there is a ring topology with a basis of neighborhoods of zero, \(\mathcal U\), consisting of left ideals, satisfying \(\bigcap_{U\in\mathcal U}U=(0)\). A collection \(\{x_i\}_{i\in I}\) of elements of \(R\) is `summable' to \(r\in R\) if for every \(U\in\mathcal U\) there is a finite set \(F'\subseteq I\) (depending on \(U\)) such that \((\sum_{i\in F}x_i)-r\in U\) for all finite sets \(F\supseteq F'\). A family of elements is `\(\Sigma\)-Cauchy' if for every \(U\in\mathcal U\) there is a finite set \(F_U\subseteq I\) so that \(x_i\in U\) when \(i\not\in F_U\). Finally, a ring \(R\) is `\(\Sigma\)-complete' if all \(\Sigma\)-Cauchy families are summable. Also, a ring \(A\) is said to be `Abelian' if all idempotents are central, and a module is `Abelian' when its endomorphism ring is an Abelian ring. Thus, the more general aforementioned result, Theorem 8, reads: ``Let \(R\) be an exchange ring with a left linear, \(\Sigma\)-complete, Hausdorff topology. If \(R/J(…
Mathematics Subject Classification ID: 16D70
Mathematics Subject Classification ID: 16D10
Mathematics Subject Classification ID: 16W80
zbMATH DE Number: 5696933
zbMATH Keywords: exchange rings
zbMATH Keywords: direct sums
zbMATH Keywords: square-free modules
zbMATH Keywords: finite exchange property
zbMATH Keywords: full exchange property
zbMATH Keywords: left linear Hausdorff topologies
zbMATH Keywords: Abelian rings
zbMATH Keywords: direct summands
author: Pace P. Nielsen
reviewed by: Gonzalo Aranda Pino
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2009.12.035
OpenAlex ID: W2045107304
cites work: Separative cancellation for projective modules over exchange rings
cites work: Exchange Leavitt path algebras and stable rank
cites work: Refinements for infinite direct decompositions of algebraic systems
cites work: Module theory. Endomorphism rings and direct sum decompositions in some classes of modules
cites work: Q4224184
cites work: A CRASH COURSE ON STABLE RANGE, CANCELLATION, SUBSTITUTION AND EXCHANGE
cites work: Q3834188
cites work: Q3995216
cites work: Q4891434
cites work: Q4865882
cites work: Q4214881
cites work: Lifting Idempotents and Exchange Rings
cites work: Strong lifting.
cites work: ABELIAN EXCHANGE MODULES
cites work: Semi-commutativity and the McCoy condition.
cites work: Countable Exchange and Full Exchange Rings
cites work: The exchange property of quasi-continuous modules with the finite exchange property
cites work: On rings whose projective modules have the exchange property
cites work: Rings and modules with exchange properties
cites work: Endomorphism Rings of Projective Modules
cites work: Exchange rings and decompositions of modules
cites work: On modules for which the finite exchange property implies the countable exchange property
cites work: Classes of modules with the exchange property
DOI: 10.1016/J.JALGEBRA.2009.12.035
description: scientific article; zbMATH DE number 5696933