Proposition 2.35 . [00I7]
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
Proposition 2.35.
Let be a Banach -algebra and be a Banach -module. If is Noetherian as a -algebra and is finitely generated as -module, then any -sub-module of is closed, and is a Banach finite -module. ([FvdP, Lemma 1.2.3]