In mathematics, the annihilator of a subset S of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by each element of S. Over an integral domain, a module that has a nonzero annihilator is a torsion module, and a finitely generated torsion module has a nonzero annihilator. Wikipedia