Ideal quotient

From Wikipedia, the free encyclopedia

In abstract algebra, if I and J are ideals of a commutative ring A, their ideal quotient (I : J) is the set of all x in A such that

xJ is a subset of I.

Then (I : J) is itself an ideal in A. Because of the notation, (I : J) is sometimes referred to as a colon ideal.