Strongly semihereditary rings and rings with dimension.

DOI10.1007/S10468-011-9279-1MaRDI QIDQ694572zbMATH OpenOpenAlexFDO

Authors Lia Vaš

Publication date 13 December 2012

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0383

zbMATH Keywords

dimensionsequivalences on projectionsfinite Baer *-ringsfinite von Neumann algebrasLeavitt path algebrasrings of quotientsrings with involutionstrongly semihereditary rings

Mathematics Subject Classification ID

Homological dimension in associative algebras (16E10) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Representations of quivers and partially ordered sets (16G20) Associative rings of fractions and localizations (16S85) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) General theory of von Neumann algebras (46L10)

Abstract: The existence of a well-behaved dimension of a finite von Neumann algebra (see [19]) has lead to the study of such a dimension of finite Baer *-rings (see [26]) that satisfy certain *-ring axioms (used in [9]). This dimension is closely related to the equivalence relation $si{m}^{\ast }$ on projections defined by $psi{m}^{\ast }q$ iff $p=x{x}^{\ast }$ and $q=x^{\ast }x$ for some $x.$ However, the equivalence $si{m}^a$ on projections (or, in general, idempotents) defined by $psi{m}^{a}q$ iff $p=xy$ and $q=yx$ for some $x$ and $y,$ can also be relevant. There were attempts to unify the two approaches (see [10]). In this work, our agenda is three-fold: (1) We study assumptions on a ring with involution that guarantee the existence of a well-behaved dimension defined for any general equivalence relation on projections $sim.$ (2) By interpreting $sim$ as $si{m}^a,$ we prove the existence of a well-behaved dimension of strongly semihereditary rings with a positive definite involution. This class is wider than the class of finite Baer *-rings with dimension considered in the past: it includes some non Rickart *-rings. Moreover, none of the *-ring axioms from [9] and [26] are assumed. (3) As the first corollary of (2), we obtain dimension of noetherian Leavitt path algebras over positive definite fields. Secondly, we obtain dimension of a Baer *-ring $R$ satisfying the first seven axioms from [26] (in particular, dimension of finite $A{W}^{\ast }$-algebras). Assuming the eight axiom as well, $R$ has dimension for $si{m}^{\ast }$ also and the two dimensions coincide.

Review text

There is a dimension notion on finite Baer \(*\)-rings that satisfy certain \(*\)-ring axioms. This notion is related to the relation \(\sim\) on projections defined by \(p\sim q\) if and only if \(p=xx^*\) and \(q=x^*x\) for some \(x\). However a different relation is possible, namely, \(p\sim q\) if and only if \(p=xy\) and \(q=yx\) for some \(x\) and \(y\). Some attempts to give a unifying approach have been made (Berberian 1988). The aim of the present work is in words of its author: (1) To study conditions under which a ring with involution has a well-behaved dimension defined for a general equivalence relation on projections, (2) To find well-behaved dimensions on strongly semihereditary \(*\)-rings with positive definite involution, and (3) To obtain dimension on Noetherian Leavitt path algebras over positive definite fields. It is proved also that a dimension can be defined on Baer \(*\)-rings satisfying a suitable set of axioms. The dimension based on any of the two previously mentioned relations, agree under these conditions. Some additional results on right strongly semihereditary rings are also proved. Furthermore the author describes right strongly semihereditary rings in terms of relations between their maximal and total rings of quotients and characterizes extending Leavitt path algebras over finite graphs.

Recommendations

• scientific article; zbMATH DE number 4044015
• Dimension and torsion theories for a class of Baer *-rings.
• Semihereditary rings and related topics.
• On (strongly) Gorenstein (semi)hereditary rings
• scientific article; zbMATH DE number 4137930

Cites work

• \(*\)-regular Leavitt path algebras of arbitrary graphs.
• A simplification of Morita's construction of total right rings of quotients for a class of rings.
• Class of Baer *-rings defined by a relaxed set of axioms.
• Cyclic modules whose quotients have all complement submodules direct summands
• Dimension and torsion theories for a class of Baer *-rings.
• Dimension theory of arbitrary modules over finite von Neumann algebras and L2-Betti numbers I: Foundations
• Embedding nonsingular modules in free modules
• Equivalence of projections in Baer*-rings
• scientific article; zbMATH DE number 1805723 (Why is no real title available?)
• scientific article; zbMATH DE number 51523 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• scientific article; zbMATH DE number 613869 (Why is no real title available?)
• scientific article; zbMATH DE number 3277955 (Why is no real title available?)
• Isomorphism and Morita equivalence of graph algebras.
• Locally finite Leavitt path algebras.
• Noetherian Leavitt path algebras and their regular algebras.
• Nonstable \(K\)-theory for graph algebras.
• On regular rings with involution
• Perfect symmetric rings of quotients.
• Rings whose finitely generated modules are extending
• Semisimplicity and global dimension of a finite von Neumann algebra
• The regular algebra of a quiver.
• The Regular Ring and the Maximal Ring of Quotients of a Finite Baer *-Ring
• Two-Sided Localization of Bimodules

Cited in

(3)

• Classes of almost clean rings.
• Dimension and torsion theories for a class of Baer *-rings.
• Strongly semicommutative rings relative to a monoid.

This page was built for publication: Strongly semihereditary rings and rings with dimension.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694572)