An (algebrically) simple Banach algebra. An (algebrically) simple Banach algebra.

******************************

In the case commutative, consider the familiar Banach algebra C.
In the non-commutative case, consider the algebra Mn(C) of all n ×n matrices with entries in C. Identifying Mn(C) with B(Cn) = K(Cn) we may regard Mn(C) as a noncommutative C*-algebra.
Suppose that Iij is the matrix with the ij-entry 1 and 0 elswhere. Then IijIab = djaIib, where d denotes Kronecker's d. Let D be a nontrivial two-sided ideal in Mn(C). There is a nonzero element A = åi,j = 1naijIij in D, hence ars ¹ 0 for some 1 £ r,s £ n. But IrsAIsr = (åj = 1narjIrj)Isr = arsIrr Î D. Hence Iij = IisIsrIrj Î D for all 1 £ i,j £ n. Therefore D = Mn(C), a contradiction.


File translated from TEX by TTH, version 2.70.
On 22 Feb 2001, 00:13.