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:
“The contest between the Future and the Past is one between Divinity entering, and Divinity departing. You are welcome to try your experiments, and, if you can, to displace the actual order by that ideal republic you announce, of nothing but God will expel God.”
—Ralph Waldo Emerson (1803–1882)