Definition:Annihilator of Ideal of Ring

From ProofWiki
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.