Suppose and put . If the left ideal were proper, it would lie in a maximal left ideal . But , so would imply . Thus , and has a left inverse with .
A left inverse alone is insufficient in a general operator algebra. Here differs from the identity by an element of . The same argument supplies a left inverse of . Then , hence . So is genuinely invertible.
Conversely, if , part (i) gives a maximal left ideal with . Maximality implies , so for some . Therefore cannot be invertible, since a proper left ideal contains no invertible element. Taking disproves the required universal invertibility. We have proved the unit criterion for the Jacobson radical in the requested form:

Articles by others on the same topic (0)

There are currently no matching articles.