# All AI-algebras are AT-algebras

It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)?

This seems a little bit odd because a building block of an AT-algebra can be embedded in a building block of an AI-algebra. Is there any example to clarify this?

-
The way you phrase this question makes it seem like a (non-trivial!) exercise. If this is a known result then presumably you are able to look up the papers in which this is proved. On the other hand, if this is an open question then I think you should give more details about which cases you already know how to do, where you have tried looking, and so on. –  Yemon Choi Jun 6 '13 at 23:01
It is a well-known result. Its proof is on page 57 of "Classification of Nuclear $C^{\ast}$-Algebras, Entropy in Operator Algebras, M. Rordam, E. Stormer". I am looking for an intuitive description or possibly an example. As I mentioned before, its converse makes more sense to me. –  David Jun 7 '13 at 0:23
The way you phrase it is wrong. When you assume that the C*-algebras in question are unital and simple, then I guess that it is true. –  Gabor Szabo Jul 4 '13 at 21:31