  Results from a few years ago of Kennedy and Schafhauser characterize
simplicity of reduced crossed products $A \rtimes_\lambda G$, where $A$ is a
unital C*-algebra and $G$ is a discrete group, under an assumption which they
call vanishing obstruction. However, this is a strong condition that often
fails, even in cases of $A$ being finite-dimensional and $G$ being finite. In
this paper, we give the complete, two-way characterization, of when the crossed
product is simple, in the case of $G$ being an FC-hypercentral group. This is a
large class of amenable groups that, in the finitely-generated setting, is
known to coincide with the set of groups which have polynomial growth. With
some additional effort, we can learn even more about the ideal structure of
$A\rtimes_\lambda G$ for the slightly less general class of FC-groups. Finally,
for minimal actions of arbitrary discrete groups on unital C*-algebras, we are
able to generalize a result by Hamana for finite groups, and characterize when
the crossed product $A \rtimes_\lambda G$ is prime. All of our
characterizations are initially given in terms of the dynamics of $G$ on
$I(A)$, the injective envelope of $A$. If $A$ is separable, this is shown to be
equivalent to an intrinsic condition on the dynamics of $G$ on $A$ itself.
