Corollary 5.40 . [02U5]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Corollary 5.40.

With the same hypothesis as Lemma 5.39, ${\operatorname{red}}(p)\in O(\Lambda)$ if and only if ${\operatorname{val}}(p)\in\operatorname{ri}(\Lambda)$ .