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.