A maximal left ideal is a proper left ideal contained in no larger proper left ideal. In a unital Banach algebra it is norm closed: its closure is a left ideal, and if that closure were the entire algebra it would contain elements of within distance less than one of , hence invertible by the Neumann series. A proper left ideal contains no invertible element. The quotient is consequently a quotient Banach space and a simple module.
New to topics? Read the docs here!