Two-sided ideals in right self-injective regular rings (Q757548)

A complete description of the lattice of two-sided ideals in a purely infinite, regular, right self-injective ring R is obtained, under the assumption that R has a suitably large supply of right ideals that do not contain uncountable direct sums. The type decomposition of R immediately reduces the problem to the cases when R is of Type \(I_{\infty}\), \(II_{\infty}\), or III. In each of these cases, the author constructs a dimension function D on the lattice of principal right ideals of R, with values in the set of continuous functions from BS(R) (the spectrum of the Boolean algebra of central idempotents in R) to a space \(Z_*=Z_ I\), \(Z_{II}\), or \(Z_{III}\), where \[ Z_ I={\mathbb{Z}}^+\cup [\aleph_ 0,\gamma],\quad Z_{II}=[0,\infty)\cup [\aleph_ 0,\gamma],\quad Z_{III}=\{0\}\cup [\aleph_ 0,\gamma] \] for an appropriate cardinal \(\gamma\). (Each of the sets \(Z_*\) is given the order topology as well as the natural addition in which \(r+\alpha =\alpha\) for real numbers r and infinite cardinals \(\alpha\).) The dimension function D determines isomorphism and subisomorphism for principal right ideals of R. The author proves that the values of D coincide with the values of the dimension functions constructed by the reviewer and \textit{A. K. Boyle} [in Mem. Am. Math. Soc. 177 (1976; Zbl 0335.16024)]. Moreover, if \(\Delta\) denotes the set of those continuous functions from BS(R) to \(Z_*\) which are bounded above by D(R), and if L(\(\Delta\)) is the lattice of those order-ideals of \(\Delta\) that are closed under addition, then D induces an isomorphism from the lattice of two-sided ideals of R onto L(\(\Delta\)). For prime, regular, right self-injective rings, this isomorphism was obtained by the reviewer [in Ring Theory: Nonsingular Rings and Modules (New York, Dekker 1976; Zbl 0336.16001); Theorem 6.33].