Scalar right action on a maximal-left-ideal quotient

ID: scalar-right-action-on-a-maximal-left-ideal-quotient

In a complex unital Banach algebra, right multiplication by induces a bounded module endomorphism of when . Every nonzero module endomorphism of this simple module is algebraically bijective, since its kernel and range are submodules. Its inverse is bounded by the bounded inverse theorem. Choosing in the nonempty spectrum of an element of forces . Applying this identity to gives , with uniqueness because .

New to topics? Read the docs here!