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.
Articles by others on the same topic
There are currently no matching articles.