纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B■E■A→0是有单位元C~*-代数E的一个扩张,其中A是有单位元纯无限单的C~*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了K_0(E)={[p]| p是E\B中的投影};当B是稳定C~*-代数时,证明了对任意紧的Hausdorff空间X,有■(C(X,E))/■_0(C(X,E))≌K_1(C(X,E)).     

一类具有弱无孔性质的c*-代数

证明了一类C~*-代数的弱无孔性质可以遗传到通过此类C~*-代数迹逼近后得到的C~*-代数中.同时证明了具有弱无孔性质的C~*-代数经过具有迹Rokhlin性质的有限群作用后得到的交叉积C~*-代数也具有弱无孔性质。     

多重C~*-动力系统在Hilbert C~*-模上的膨胀

研究了多重C~*-动力系统在Hilbert C~*-模上表示的膨胀.设(A,α)是一个多重C~*-动力系统,(π,T,E)是(A,α)的行压缩协变表示,证明了存在(π,T,E)的等距膨胀(ρ,V,F).     

迹稳定秩1的C~*-代数的稳定有限性与弱迹稳定秩1

主要给出了迹稳定秩1的C~*-代数的稳定有限性,证明了如果A是有单位元迹稳定秩1的C~*-代数,则A是稳定有限的,引入了弱迹稳定秩1的定义,并且证明了如果有单位元的C~*-代数A是迹稳定秩1的,则A是弱迹稳定秩1的．对于单的具有SP性质的有单位元的C~*-代数A,如果A是弱迹稳定秩1的,则A是迹稳定秩1的．同时给出了迹稳定秩1的C~*-代数的一个等价条件,证明了一个有单位元的可分的C~*-代数A是迹稳定秩1的,等价于A=(t_4)limn→∞(A_n,p_n),其中tsr(A_n)=1．     

C~*标准代数中效应的序列同构

主要借助于C~*标准算子代数中的有限秩算子对一般的效应元进行刻画.证明了C~*标准算子代数A的效应代数E(A)上的每个序列自同构和自同构ψ都具有形式ψ(A)=UAU~*,其中A∈E(A),U为酉算子或反酉算子.     

性质S的注记

本文刻划了性质S的几个等价条件。在一定条件下,证明了性质S可以遗传到子C~*-代数上去,从而部分地肯定回答了Lance,E.C.的一个问题。另外,还讨论了群在具有性质S的C~*-代数上的作用。     

纯无限单C*-代数的扩张代数的K-理论

给出了纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻划.证明了K0(E)等于E中所有无限投影的Murry-von Neumann等价类所成的交换群,K1(E)等于E中酉元的同伦等价类所成的交换群.作为一个应用,最后给出了A中酉元可提升的等价条件,其中K为可分无限维Hilbert空间上紧箅子全体所成的C*-代数.     

纯无限单C*-代数的扩张代数的K-理论Ⅱ

给出了有单位元的纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻画.证明了K0(E)同构于E中所有具有无限余投影的无限投影的Murry-yon Neumann等价类全体所成的交换群,它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群.还证明了对扩张代数E中的任·满的正元a,存在元索z ∈E,使得x*ax=1,其中K为可分无限维Hilbert空间上紧算子全体所成的C*一代数.     

第6卷 B 辑 第1期(1985)目录和提要

c~*-代数上非单位的正线性映象李炳仁通常讨论 C~*-代数到 C~*代数的正线性映象总假定它把单位元变作单位元.本文讨论的 C~*-代数不要假定有单位元.主要结果有两个:1)如果Φ是 C~*-代数 A 到 C~*-代数 B 的正线性映象,如同 A 上的正线性泛函那样,Φ的范数有如下的表达式‖Φ‖=sup{‖Φ(a)‖|a∈A_+,‖a‖≤1}=‖Φ(v_l)‖=‖Φ(v_l~2)‖,这里{v_l}是 A 的一个逼近单位元;2)如果Φ是 C~*-代数 A 到 C~* -代数 B 的 n-正线性映象,并且     

遗传C~*-子代数与可补闭子模的关系定理

设 E是 Hilbert C~*-模,证明了E的每个闭子模均可补的充要条件是 K(E)的每个非零遗传C~*-子代数B,均有形式B=pK(E)p,其中p为L(E)中投影元。     

(AF)实C~*-代数的等价定义

本文给出了有限维实Ｃ~*-代数复化中标准矩阵单位基的描述,继而给出了（ＡＦ）实Ｃ~*-代数的等价定义．     

Simple generalized inductive limits of C*-algebras

We give a necessary and sufficient condition where a generalized inductive limit becomes a simple C~*-algebra. We also show that if a unital C~*-algebra can be approximately embedded into some tensorially self absorbing C~*-algebra C(e.g., uniformly hyperfinite(UHF)-algebras of infinite type, the Cuntz algebra O_2),then we can construct a simple separable unital generalized inductive limit. When C is simple and infinite(resp.properly infinite), the construction is also infinite(resp. properly infinite). When C is simple and approximately divisible, the construction is also approximately divisible. When C is a UHF-algebra and the connecting maps satisfy a trace condition, the construction has tracial rank zero.     

C^＊—模理论的若干结果

本文把代数结构与分析体系结合起来，运用同调的方法，较系统地确定了A上C^*－模的部分理论，这里A为复数域C上的交换C^*－代数。即不仅定义了与C^*－模有关的某些新概念，而且还得到了有关C^*－模的若干结果。     

AF C~*-代数中的子代数上的保幂等映射和局部导子

证明了从AFC-代数E中的子代数A到任意赋范代数B上的范数连续保幂等映射是Jordan同态,以及从A到任意赋范E-双模M上的局部导子是导子,从而推广了Crist关于局部导子的结果．     

Stacey Crossed Products Associated to Exel Systems

There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we consider Exel crossed products associated to transfer operators which extend to be unital on the multiplier algebra. We show that every Exel crossed product is isomorphic to a Stacey crossed product, though by a different endomorphism of a different C*-algebra. We apply this result to a variety of Exel systems, including those associated to shifts on the path spaces of directed graphs.     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．