We survey recent progress on the realization problem for von Neumann regular rings, which asks whether every countable conical refinement monoid can be realized as the monoid of isoclasses of finitely generated projective right R-modules over a von Neumann regular ring R.This survey consists of four sections. Section 1 introduces the realization problem for von Neumann regular rings, and points out its relationship with the separativity problem of [7]. Section 2 surveys positive realization results for countable conical refinement monoids, including the recent constructions in [5] and [4]. We analyze in Section 3 the relationship with the realization problem of algebraic distributive lattices as lattices of two-sided ideals over von Neumann regular rings. Finally we observe in Section 4 that there are countable conical monoids which can be realized by a von Neumann regular K-algebra for some countable field K, but they cannot be realized by a von Neumann regular F -algebra for any uncountable field F .
The problemAll rings considered in this paper will be associative, and all the monoids will be commutative.For a unital ring R, let V(R) denote the monoid of isomorphism classes of finitely generated projective right R-modules, where the operation is defined byThis monoid describes faithfully the decomposition structure of finitely generated projective modules. The monoid V(R) is always a conical monoid, that is, whenever x + y = 0, we have x = y = 0. Recall that an order-unit in a monoid M is an element u in M such that for every x ∈ M there is y ∈ M and n ≥ 1 such that x+y = nu. Observe that [R] is a canonical order-unit