Definition:Ideal Quotient

Definition
Let $A$ be a commutative ring with unity.

Let $\mathfrak a, \mathfrak b \subseteq A$ be ideals of $A$.

Their ideal quotient is the ideal consisting of elements whose product with $\mathfrak b$ is a subset of $\mathfrak a$:
 * $(\mathfrak a : \mathfrak b) = \left\{ x \in A : x \mathfrak b \subseteq \mathfrak a \right\}$.

Also see

 * Ideal Quotient is Ideal

Special cases

 * Definition:Annihilator of Ideal of Ring