Quotient norm on an irreducible Banach module
ID: quotient-norm-on-an-irreducible-banach-module
For a unital irreducible action and , the annihilator is a maximal left ideal and is closed. Thus supplies the displayed complete norm on the module, with contractive action. Every module endomorphism is bounded for this quotient norm: its value at the cyclic vector is , so it is induced by bounded right multiplication by on the quotient. The Gelfand-Mazur theorem then makes the module's commutant consist of scalar operators. This constructs one compatible norm; it does not by itself establish continuity in a different preassigned norm.
New to topics? Read the docs here!