arithmetical ring
Theorem.
If is a commutative ring, then the following three conditions are equivalent:
- •
For all ideals , and of , one has .
- •
For all ideals , and of , one has .
- •
For each maximal ideal
of the set of all ideals of , the localisation (http://planetmath.org/Localization
) of at , is totally ordered by set inclusion.
The ring satisfying the conditions of the theorem is called an arithmetical ring.