Definition Let be a ring and a left -module. Let . The annihilator of is the subset As an ideal is a left ideal of . Proof Let . Then Therefore . Next, let , Hence, .