A C*-algebra is constructed which is separable, simple, nuclear, nonunital, and contains no nonzero projections. Some results on automorphisms of AF algebras are also obtained. A C*-algebra is said to be projectionless if it contains no projections other than 1 (if present) and 0. It has long been an open question whether there exists a projectionless simple C*-algebra (see [13, p. 18], [6, 1.9.6], [8, p. 81], [14, p. 242]). In this paper we construct a projectionless simple separable nuclear nonunital C*-algebra. It is quite possible that the methods of this paper can be modified to yield a projectionless simple unital C*-algebra. It is conjectured that the C*-algebra generated by the regular representation of the free group on two generators (known to be simple and unital) is projectionless. 1. Outline of construction. The general method of construction is motivated by the construction of the Bunce-Deddens weighted shift algebras [5] as described by Green [12, p. 248]. The algebra A is constructed as an inductive limit of C*-algebra An, each of which is a continuous field algebra on a circle T with a constant simple fiber B with the embedding j,,: A, -->A,,+1 inducing the twice around map z -> z2of T onto T. The algebra B will be the (unique) simple unital AF algebra whose ordered group KO(B) is isomorphic to the additive group of real algebraic numbers [10, 2.2]. B has the following properties: (1) B has a unique normalized trace , which is faithful. (2) If p and q are projections in B, then p q if and only if (p) = T(q). (3) If X is any algebraic number with 0 B such that f(l) = a(f(O)). Prim(A(a)) = {J,: 0 e PROPOSITION 1.1. A(a) is projectionless if (and only if) a(1) #6 1. Received by the editors December 13, 1978. AMS (MOS) subject classifications (1970). Primary 46L05. ? 1980 American Mathematical Society 0002-9939/80/0000-01 60/$02.25
Read full abstract