I^(k)中迹极限C~*-代数的注记

给出了I^(k)中迹极限C~*-代数的某些性质.特别地给出了I^(k)中迹极限C~*-代数的的几个等价定义.利用此结果,证明了如果A是单的有单位元的C~*-代数,并且A具有唯一的标准迹,A=(t_4)(?)(A_n,p_n),其中A_n∈I^(k),则A=(t_4)(?)(A_n、p_n),其中A_n∈I(O).最后给出了I^(k)中迹极限C~*-代数的K_O-群的消去律性质.