 Ideal quotient

For ideals $I,J$ in a commutative ring, the ideal quotient is $(I:J)=\{r\in R:rJ\subseteq I\}$. Closure under subtraction and multiplication by arbitrary ring elements proves it is an ideal. If $I\subseteq J=(a)$, then $I=a(I:J)$: write $x=ar\in I$ and observe that $rJ=xR\subseteq I$. Consequently, if also $(I:J)=(b)$, then $I=(ab)$ is a principal ideal.

In algebra, particularly in the context of commutative rings, the term "ideal quotient" refers to a concept that is used to define the relationship between ideals.