Bezout and semihereditary power series rings.
type: Item
instance of: scholarly article
title: Bezout and semihereditary power series rings.
zbMATH Open document ID: 1042.16034
DOI: 10.1016/S0021-8693(03)00418-6
published in: Journal of Algebra
publication date: 2004-01-14T00:00:00Z
review text: Throughout the paper all rings are associative with 1. For a ring \(R\), \(R[\![x]\!]\) denotes the ring of power series on one commuting variable \(x\) and with coefficients in \(R\). A ring \(R\) is said to be left (right) \(\aleph_0\)-injective provided any homomorphism from a countably generated left (right) ideal of \(R\) into \(R\) extends to a left (right) \(R\)-module endomorphism of \(R\). An \(\aleph_0\)-injective ring is a right and left \(\aleph_0\)-injective ring. A ring \(R\) is said to be directly finite if for any pair of elements \(a\) and \(b\) in \(R\) the equality \(ab=1\) implies \(ba=1\). A von Neumann regular ring \(R\) is said to be left upper \(\aleph_0\)-complete if any countable subset of the lattice \(L(_RR)\) of principal left ideals of \(R\) has a least upper bound in \(L(_RR)\). The author proves that if \(R\) is a left \(\aleph_0\)-injective von Neumann regular ring, then \(R[\![x]\!]\) is right Bezout. The following statements are shown to be equivalent for a directly finite ring \(R\): (1) \(R\) is a left \(\aleph_0\)-injective von Neumann regular ring; (2) (i) \(R[\![x]\!]\) is right Bezout; (ii) If \(I\) is a countably generated left ideal of \(R\) and \(e=e^2\in R\) is such that \(I\cap Re=0\), then the natural projection \(p\colon I\oplus Re\to Re\) is given by right multiplication by an element of \(R\). Also, a ring \(R\) is a two-sided \(\aleph_0\)-injective, left (or right) upper \(\aleph_0\)-complete von Neumann regular ring if and only if \(R\) is directly finite and \(R[\![x]\!]\) is a semihereditary Bezout ring.
reviewed by: Iuliu Crivei
Mathematics Subject Classification ID: 16W60
Mathematics Subject Classification ID: 16E50
Mathematics Subject Classification ID: 16D25
Mathematics Subject Classification ID: 16D50
zbMATH DE Number: 2026920
zbMATH Keywords: \(\aleph_0\)-injective rings
zbMATH Keywords: Bezout rings
zbMATH Keywords: power series rings
zbMATH Keywords: von Neumann regular rings
zbMATH Keywords: lattices of ideals
zbMATH Keywords: directly finite rings
zbMATH Keywords: idempotents
author: Dolors Herbera
MaRDI profile type: Publication
cites work: Modules with decompositions that complement direct summands
cites work: On \(\aleph _ 0\)-injective regular rings
cites work: Q3933092
cites work: Coherence and weak global dimension of \(RX\) when \(R\) is von Neumann regular
cites work: On semihereditary rings
cites work: Q4001907
cites work: Directly finite aleph-nought-continuous regular rings
cites work: Cancellation of finitely generated modules over regular rings
cites work: Anneaux de groupe hereditaires et semi-hereditaires
cites work: Homomorphisms of C* algebras to finite AW* algebras
cites work: On strongly bounded rings and duo rings
cites work: Onℵ- self-injectivity of strongly regular rings
full work available at URL: s0021-8693(03)00418-6
OpenAlex ID: W2085202028
Recommended article: On semilocal, Bézout and distributive generalized power series rings
Recommended article: On Bezout and distributive generalized power series rings.
Recommended article: Q4800206
Recommended article: Bezout modules and rings.
Recommended article: Duo, Bézout, and distributive rings of skew power series.
Recommended article: Noetherian Generalized Power Series Rings
Recommended article: Semisimple rings and von Neumann regular rings of generalized power series
Recommended article: Bezout rings, polynomials, and distributivity.
Recommended article: Bezout duo and distributive partial skew power series rings
Recommended article: Notes on generalizations of Bézout rings
description: scientific article; zbMATH DE number 2026920