  Krieger's embedding theorem provides clear necessary and sufficient
conditions for an arbitrary subshift to embed in a given topologically mixing
$\mathbb{Z}$-subshift of finite type. For certain families of
$\mathbb{Z}^d$-subshifts of finite type, Lightwood characterized the
\emph{aperiodic} subsystems. Here we remove the aperiodicity restriction and
thus generalize Krieger's theorem by providing clear necessary and sufficient
conditions for an arbitrary subshift to embed in a ``well-behaved'' subshift of
finite type over a countable abelian group. To the best of our knowledge, our
characterization of subsystems with non-trivial periodic points is new already
for the case of the full shift $\{0,1\}^{\mathbb{Z}^2}$. The new class of
subshifts for which we have a complete characterization of the subsystems,
admits two natural equivalent descriptions. The first description involves the
map extension property, introduced implicitly by Mike Boyle in the early 1980's
for $\mathbb{Z}$-subshifts. The second description involves the notion of an
absolute retract, introduced by Borsuk in the 1930's. Using an old result of
Boyle, we show that a $\mathbb{Z}$-subshift has the map extension property if
and only if it is a topologically mixing subshift of finite type. We prove that
a subshift over a countable abelian group has map extension property if and
only if it is an absolute retract, in a suitable sense. We show that various
natural examples of $\mathbb{Z}^d$ subshifts of finite type satisfy the map
extension property, hence our embedding theorem applies for them. These include
any subshift of finite type with a safe symbol and the $k$-colorings of
$\mathbb{Z}^d$ with $k \ge 2d+1$. We also establish a new theorem regarding
lower entropy factors of multidimensional subshifts, that extends Boyle's lower
entropy factor theorem from the one-dimensional case.
