Let be a ring with 1, let be a left -module, and let be a right ideal. We define the annihilator of in to be . Prove that is a submodule of .
We use the submodule criterion.
Certainly ; then .
Let , let , and let . Now since is a right ideal. Then . Thus .
Thus is a submodule of .