annihilator is an ideal
The right annihilator of a right -module in is an ideal.
Proof:
By the distributive law for modules, it is easy to see that is closed under addition and right multiplication.Now take and .
Take any . Then , but then since . So and .
An equivalent result holds for left annihilators.