"Integrally Closed" Under Constructions
The following conditions are equivalent for an integral domain A:
- A is integrally closed;
- Ap (the localization of A with respect to p) is integrally closed for every prime ideal p;
- Am is integrally closed for every maximal ideal m.
1 → 2 results immediately from the preservation of integral closure under localization; 2 → 3 is trivial; 3 → 1 results from the preservation of integral closure under localization, the exactness of localization, and the property that an A-module M is zero if and only if its localization with respect to every maximal ideal is zero.
In contrast, the "integrally closed" does not pass over quotient, for Z/(t2+4) is not integrally closed.
The localization of a completely integrally closed need not be completely integrally closed.
Read more about this topic: Integrally Closed Domain
Famous quotes containing the word closed:
“She was so overcome by the splendor of his achievement that she took him into the closet and selected a choice apple and delivered it to him, along with an improving lecture upon the added value and flavor a treat took to itself when it came without sin through virtuous effort. And while she closed with a Scriptural flourish, he “hooked” a doughnut.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)