Ideal Structures in Idealizations and Cardinalities of Annihilating Ideals

We describe the ideals of an idealization $D\ltimes M$ by triples $(I,N,φ)$, where $I$ is an ideal of $D$, $N$ is a submodule of $M$ with $IM\subseteq N$, and $φ\in\operatorname{Hom}_D(I,M/N)$. For a domain $D$ and torsion-free $M$, the nonzero proper ideals of $D\ltimes M$ with nonzero annihilator