Concerning problem 18 from Goodearl's book ``Von Neumann regular rings'' (Q809165)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Concerning problem 18 from Goodearl's book ``Von Neumann regular rings''
scientific article

    Statements

    Concerning problem 18 from Goodearl's book ``Von Neumann regular rings'' (English)
    0 references
    0 references
    0 references
    1991
    0 references
    The problem in question concerns the dimension function \(\mu_ M\) defined on nonsingular injective right modules A over a regular, right self-injective ring R, where M is a maximal ideal in the boolean algebra B(R) of central idempotents of R (see Chapter 12 of the reviewer's book Von Neumann Regular Rings [London (1979; Zbl 0411.16007) Pitman; Second Edition: Malabar (Florida) (1991) Krieger]). Problem 18 asks: given an infinite cardinal \(\alpha\), is \(\mu_ M(E(\alpha A))\) equal to the maximum of \(\mu_ M(A)\) and the successor of \(\alpha\) ? This was known to hold in case R is a prime ring [ibid, Theorem 12.16]. A counterexample to this problem was constructed by \textit{K. Eda}, but was published only in Japanese [Maximal quotient rings and Boolean extensions, in Proc. Symp. Logic and Foundations of Math. (Kyoto 1983), 141-179 (1984; Zbl 0597.03003)]. In the paper under review, the author - independently - constructs a similar counterexample, and also obtains a general formula for \(\mu_ M(E(\alpha A))\). Namely, \(\mu_ M(E(\alpha A))=\max \{\mu_ M(A),\alpha^+_ M\}\) where \(\alpha^+_ M\) is a certain cardinal (in general larger than the successor of \(\alpha\)) depending only on \(\alpha\) and M. A corollary is that if B(R) contains no independent subsets of cardinality \(\alpha\), then the assertion of Problem 18 is valid.
    0 references
    0 references
    0 references
    0 references
    0 references
    dimension function
    0 references
    nonsingular injective right modules
    0 references
    regular, right self-injective ring
    0 references
    central idempotents
    0 references
    infinite cardinal
    0 references
    counterexample
    0 references