On regular rings with involution

DOI10.1007/BF01772930MaRDI QIDQ790214zbMATH OpenOpenAlexFDO

Authors Pere Ara, Pere Menal

Publication date 1984

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01772930

zbMATH Keywords

*- regular rings*-finite \(C^*\)-algebra473.16013\(\aleph_ 0\)-continuous *-regular ringclassical orderclassical ring of quotientsdirectly finite ringsfinite Rickart \(C^*\)-algebramatrix algebravon Neumann regular rings with involution

Mathematics Subject Classification ID

von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) General theory of topological algebras with involution (46K05) General theory of (C^*)-algebras (46L05)

Review text

This paper is concerned with *-regular rings, i.e., (von Neumann) regular rings with involution in which every principal right ideal is generated by a projection. Handelman has asked whether every *-regular ring is directly finite (that is, \(xy=1\) implies \(yx=1)\). Here the authors prove that every *-regular ring is at least *-finite, that is, \(xx^*=1\) implies \(x^*x=1\). In a related result, they prove that any ring of positive characteristic with a proper involution (that is, \(xx^*=0\) implies \(x=0)\) must be *-finite. The remaining major result of the paper concerns the regular ring of a finite Rickart \(C^*\)-algebra (i.e., a *- finite \(C^*\)-algebra in which the right annihilator of any element is a principal right ideal generated by a projection). \textit{D. Handelman} proved that any finite Rickart \(C^*\)-algebra T is a *-subring of an \(\aleph_ 0\)-continuous *-regular ring Q such that the projections in Q all lie in T [Studies in Analysis, Adv. Math., Suppl. Stud., Vol. 4, 171- 196 (1979; Zbl 0511.46054); Theorem 2.1]. He later showed that if the 2\(\times 2\) matrix algebra \(M_ 2(T)\) is a finite Rickart \(C^*\)- algebra, then T is a classical order in Q, that is, all non-zero-divisors in T are invertible in Q and all elements of Q can be expressed in the forms \(ab^{-1}\) and \(c^{-1}d\) for \(a,b,c,d\in T\) with b and c non- zero-divisors [Adv. Math. 48, 1-15 (1983; Zbl 0524.46037); Theorem 8.3]. This result was used by \textit{D. Handelman}, \textit{J. Lawrence}, and the reviewer to show that if T has no one-dimensional representations, then T is a classical order in Q [Mem. Am. Math. Soc. 234 (1980; Zbl 0435.16005), Theorem III.16.9]. (A simplification of these arguments, due to Berberian, appears in another paper of \textit{D. Handelman} [Rocky Mt. J. Math. 11, 337-381 (1981; 473.16013), Corollary 1.2].) In the present paper, the authors give a very nice short direct proof that T is always a classical order in Q. This is done by showing that T has a classical ring of quotients Q' which is *-regular, and then observing that Q' may be identified with Q.

Recommendations

• Left and right projections are equivalent in Rickart C^*-algebras
• K-Theoretic Triviality for Rickart C ∗ -Algebras and ℵ 0 -Continuous Regular Rings
• Rickart \(C^*\)-algebras are \(\sigma\)-normal
• scientific article; zbMATH DE number 7960
• Dimension and torsion theories for a class of Baer *-rings.
• \(K\)-theory for Rickart \(C^*\)-algebras
• scientific article; zbMATH DE number 1302985
• Polar decomposition in Rickart \(C^*\)-algebras
• On the spectral theory for Rickart ordered *-algebras
• Ring C^*-algebras

Cites work

• Affine representations of Grothendieck groups and applications to Rickart 𝐶*-algebras and ℵ₀-continuous regular rings
• Any orthocomplemented complete modular lattice is a continuous geometry
• Complemented Modular Lattices
• Coordination Applied to Finite Baer ∗ Rings
• scientific article; zbMATH DE number 3638054 (Why is no real title available?)
• scientific article; zbMATH DE number 3277955 (Why is no real title available?)
• On rings of operators
• The Regular Ring and the Maximal Ring of Quotients of a Finite Baer *-Ring
• The regular ring and the maximal ring of quotients of a finite Baer ^*- ring
• The regular ring of a finite AW\(^*\)-algebra

Cited in

(24)

• Von Neumann regular rings with only finitely many symmetric idempotents
• A note on rings with involution
• The Jordan regular ring associated to a finite JBW-algebra
• Matrix rings over *-regular rings and pseudo-rank functions
• Direct finiteness of representable regular -rings
• Characterizations of normal elements in rings with involution
• Rings of quotients of finite \(AW^{\ast}\)-algebras: representation and algebraic approximation
• On involution rings
• Near-rings with involution
• Star, left-star, and right-star partial orders in Rickart *-rings.
• The diamond partial order for strong Rickart rings
• scientific article; zbMATH DE number 4004397 (Why is no real title available?)
• Noetherian Leavitt path algebras and their regular algebras.
• scientific article; zbMATH DE number 166987 (Why is no real title available?)
• Strongly regular jordan triple systems are shift-free
• A question on -regular rings
• Invo-regular unital rings
• Regularity of rings with involution
• Representations of *-regular rings and their ortholattices of projections
• Rings with Invertible Regular Elements
• On representability of *-regular and regular involutive rings in endomorphism rings of vector spaces.
• IFP for Rings with Involution
• Strongly semihereditary rings and rings with dimension.
• Left and right projections are equivalent in Rickart C^*-algebras

This page was built for publication: On regular rings with involution

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