Proof. [05C5]
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
Proof.
By Lemma B.3 we may approximate by functions of the form for some vertical coherent fractional ideals on . On the generic fibre of a building block , the function is given as the maximum of the functions where runs through a finite set of generators of . Since the properties we are looking for are stable under taking the maximum, these functions have them by Lemma B.1. But they are also stable under uniform limits so we are done. ∎