Proper
-realizability can be alternetively described as follows: a group
of type
for which the
-skeleton of the universal cover of a
is proper homotopy equivalent to a
-manifold. Similarly, we may say that a
group
is proper
-realizable,
for short, if the
-skeleton of the universal cover of a
is properly homotopy equivalent to a
-manifold. As in the
-dimensional case, the embedding theorems [J.R65],[DR93] and [CFLQ03] only ensure proper homotopy equivalence to
-manifolds. We ask ourselves which kind of algebraic properties consecuences has this property on
and when, for which
, this property becomes trivial.