  The Realization Problem for (von Neumann) regular rings asks what are the
conical refinement monoids which can be obtained as the monoids of isomorphism
classes of finitely generated projective modules over a regular ring. The
analogous realization question for the larger class of exchange rings is also
of interest. A refinement monoid is said to be wild if it cannot be expressed
as a direct limit of finitely generated refinement monoids. In this paper, we
consider the problem of realizing some concrete wild refinement monoids by
regular rings and by exchange rings. The most interesting monoid we consider is
the monoid M obtained by successive refinements of the identity
x_0+y_0=x_0+z_0. This monoid is known to be realizable by the algebra A = K[F]
of the monogenic free inverse monoid F, for any choice of field K, but A is not
an exchange ring. We show that, for any uncountable field K, M is not
realizable by a regular K-algebra, but that a suitable universal localization
of A provides an exchange, non-regular, K-algebra realizing M. For any
countable field F, we show that a skew version of the above construction gives
a regular F-algebra realizing M. Finally, we develop some connections with the
Atiyah Problem for the lamplighter group G (the wreath product of Z/2Z by Z).
We prove that the algebra A can be naturally seen as a *-subalgebra of the
group algebra KG, for any complex subfield K closed under conjugation, and we
determine the structure of the *-regular closure of A in the regular ring of G.
Using this, we show that the subgroup of R generated by the von Neumann
dimensions of matrices over KG contains the rational field.
