Definition:Annihilator of Ideal of Ring
Jump to navigation
Jump to search
Definition
Let $A$ be a commutative ring with unity.
Let $I \subseteq A$ be an ideal.
Definition 1
The annihilator of $I$ is the ideal consisting of the elements $a \in A$ such that:
- $\forall x \in I: a \cdot x = 0$
where $0 \in A$ is its zero.
Definition 2
The annihilator of $I$ is the ideal quotient:
- $\ideal {0 : I}$
where $0$ is the zero ideal.
Also see
Generalizations
- Results about annihilators can be found here.