In abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I : J) is the set
Then (I : J) is itself an ideal in R. The ideal quotient is viewed as a quotient because if and only if . The ideal quotient is useful for calculating primary decompositions. It also arises in the description of the set difference in algebraic geometry.
(I : J) is sometimes referred to as a colon ideal because of the notation. There is an unrelated notion of the inverse of an ideal, known as a fractional ideal which is defined for Dedekind rings.
Read more about Ideal Quotient: Properties, Calculating The Quotient, Geometric Interpretation
Famous quotes containing the word ideal:
“The Ideal Man should talk to us as if we were goddesses, and treat us as if we were children. He should refuse all our serious requests, and gratify every one of our whims. He should encourage us to have caprices, and forbid us to have missions. He should always say much more than he means, and always mean much more than he says.”
—Oscar Wilde (1854–1900)