Divisorial Ideal
Let denote the intersection of all principal fractional ideals containing a nonzero fractional ideal I. Equivalently,
where
- (ideal quotient)
If then I is called divisorial. In other words, a divisorial ideal is a nonzero intersection of some nonempty set of fractional principal ideals. If I is divisorial and J is a nonzero fractional ideal, then I : J is divisorial.
An integral domain that satisfies the ascending chain conditions on divisorial ideals is called a Mori domain.
Read more about this topic: Fractional Ideal
Famous quotes containing the word ideal:
“Truth is that concordance of an abstract statement with the ideal limit towards which endless investigation would tend to bring scientific belief, which concordance the abstract statement may possess by virtue of the confession of its inaccuracy and one-sidedness, and this confession is an essential ingredient of truth.”
—Charles Sanders Peirce (1839–1914)