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

【Abstract】 This paper presents several property on C^*-algebras of tracial limit of C^*-algebras in I^k.Especially some equivalent conditions on C^*-algebra of tracial limit of C^*-algebras in I^k are given.With those results,it is shown that if A is a simple unital C^*-algebra and A=（t₄）（?）（A_n,p_n）,with A_n∈I^k,which has an unique normalized trace,then A=（t₄）（?）（B_n,q_n）,with B_n∈I^O.And the cancellation property of K_O-group on C^*-algebras of tracial limit of C^*-algebras in I^k is also obtained.更多还原