左不变作用生成的Groupoid C~＊－代数动力系统

本文引进了由左不变作用生成的ＧｒｏｕｐｏｉｄＣ＊－代数动力系统．研究了它与由１－ｃｏｃｙｃｌｅ生成的ＧｒｏｕｖｏｉｄＣ＊－代数动力系统的关系．得到了两个共变同构定理及两个对偶定理．     

von Neumann代数中套子代数上的Lie同构

本文给出因子von Neumann代数中的幂等算子在广义Lie积下的一个刻画; 得到因子von Neumann代数中套子代数的幂等算子在Lie积下的一个特征．作为应用, 研究了因子von Neumann代数中套子代数上的Lie同构,并证明因子von Neumann 代数中套子代数之间的Lie同构,要么是同构与广义迹之和,要么是负反同构与广义迹之和．     

套代数中的检测问题

本文回答了套代数中的Ｋａｐｌａｎｓｋｙ检测问题，包括套代数的酉等价和同构．还将套代数的同构定理推广到套代数的直和代数上．     

套代数上的Jordan同构

本文主要研究了套代数上的Jordan同构.证明了套代数algβ和algγ之间的每一个Jordan同构　,要么是同构;要么是反同构.进而,存在可逆算子Y∈B（H）,使得对任意T∈algβ,要么　（T）=Y-1TY;要么　（T）=Y-1JT＊JY,这里J是一个共轭线性对合算子.     

Von Neumann代数中的套子代数

本文主要讨论因子Ｖｏｎ Ｎｅｕｍａｎｎ代数中套子代数上的线性满等距和自伴导子．证明了因子Ｖｏｎ Ｎｅｕｍａｎｎ代数中套子代数上的每个线性满等距是同构乘酉算子或者是反同构乘酉算子；给出了其上自伴导子是内导子的条件并得到有限因子 Ｖｏｎ Ｎｅｕｍａｎｎ代数中套子代数上的每个自伴导子都是内导子．     

代数自由积上的线性泛函的延拓

本文研究了C^＊-代数及其＊-稠子代数的＊-代数自由积．利用自由积的性质，得到了这两类自由积上的线性泛函到C^＊-代数（泛）自由积上的态延拓的充要条件，从而证明了这类延拓对于一般的C^＊-代数也是成立的．     

量子环面上一类导子李代数的结构和自同构群

本文研究量子环面上的一类导子李代数,它包含了Virasoro-Like代数及其q类似．首先证明了这 类导子李代数之间的同构一定是分次同构,并进一步给出了代数同构的充要条件及同构映射的具体表达 式,最后确定了该类李代数的自同构群．     

因子von Neumann代数中套子代数上的Jordan同构

研究了因子yon Neumann代数中套子代数上的Jordan同构,证明了套子代数algMβ和algMγ之间的每一个Jordan同构φ:要么是同构;要么是反同构.     

有限维代数扩张的同构与维数群

对于有限维C＊-代数A，证明了其本质扩张的同构与酉等价是一致的，由此证明了扩张群Ext（A）中的等价类是区分该类扩张代数的完全不变量，并利用Bratteli图计算出它们的维数群．     

关于正定关联BCC—代数

首先指出在ＢＣＣ－代数中，下述两个条件并不等价：（１）（ｘ＊ｚ）＊（ｙ＊ｚ）＝（ｚ＊ｙ＿＊ｚ；（２）（ｘ＊ｙ＊ｙ＝ｘ＊ｙ。随后给出由Ｗ．Ａ．Ｄｕｄｅｋ１９９２年定义的正关联ＢＣＣ－代数的一个简单的公理系统。     

The completeness of the isomorphism relation for countable Boolean algebras

We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen's classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete invariants cannot be improved in an essential way. We also give a stronger form of the Vaught conjecture for Boolean algebras which states that, for any complete first-order theory of Boolean algebras that has more than one countable model up to isomorphism, the class of countable models for the theory is Borel complete. The results are applied to settle many other classification problems related to countable Boolean algebras and separable Boolean spaces. In particular, we will show that the following equivalence relations are Borel complete: the translation equivalence between closed subsets of the Cantor space, the isomorphism relation between ideals of the countable atomless Boolean algebra, the conjugacy equivalence of the autohomeomorphisms of the Cantor space, etc. Another corollary of our results is the Borel completeness of the commutative AF -algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups.

     

Morita equivalence of C*-correspondences passes to the related operator algebras

We revisit a central result of Muhly and Solel on operator algebras of C*-correspondences. We prove that (possibly non-injective) strongly Morita equivalent C*-correspondences have strongly Morita equivalent relative Cuntz–Pimsner C*-algebras. The same holds for strong Morita equivalence (in the sense of Blecher, Muhly and Paulsen) and strong Δ-equivalence (in the sense of Eleftherakis) for the related tensor algebras. In particular, we obtain stable isomorphism of the operator algebras when the equivalence is given by a σ-TRO. As an application we show that strong Morita equivalence coincides with strong Δ-equivalence for tensor algebras of aperiodic C*-correspondences.     

On isomorphisms of integral table algebras

For integral table algebras with integral table basisT, we can consider integralR-algebraRT over a subringR of the ring of the algebraic integers. It is proved that anR-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras     

Every Banach Space is Reflexive

The title above is wrong, because the strong dual of a Banach space is too strong to assert that the natural correspondence between a space and its bidual is an isomorphism. However, for many applications it suffices to replace the norm on the first dual by the weak*-structure in order to solve the non-reflexiveness problem [1]. But in this way, only the original vector space is recovered by taking the second dual. In this work we introduce a suitable numerical structure on vector spaces such that Banach balls, or more precisely totally convex modules, arise naturally in duality, namely as a category of Eilenberg–Moore algebras. This numerical structure naturally overlies the weak*-topology on the algebraic dual, so the entire Banach space can be reconstructed as a second dual. Moreover, the isomorphism between the original space and its bidual is the unit of an adjunction between the two-dualisation functors. Notice that the weak*-topology is normable only if it lives on a finite dimensional space; in that case the original space is trivial as well, hence reflexive. So the overlying numerical structure should be something more general than a norm or a seminorm and thus approach theory [2, 3] enters the picture.     

Isomorphisms of formal matrix incidence rings

Abstract—In a paper published in 2008 P. A. Krylov showed that formal matrix rings Ks(R) and Kt(R) are isomorphic if and only if the elements s and t differ up to an automorphism by an invertible element. Similar dependence takes place in many cases. In this paper we consider formal matrix rings (and algebras) which have the same structure as incidence rings. We show that the isomorphism problem for formal matrix incidence rings can be reduced to the isomorphism problem for generalized incidence algebras. For these algebras, the direct assertion of Krylov’s theorem holds, but the converse is not true. In particular, we obtain a complete classification of isomorphisms of generalized incidence algebras of order 4 over a field. We also consider the isomorphism problem for special classes of formal matrix rings, namely, formal matrix rings with zero trace ideals.     

Equivalences for blocks of the Weyl groups

We describe the source algebras of the blocks of the Weyl groups of type B and type D in terms of the source algebras of the blocks of the symmetric groups. As a consequence, we show that Puig's conjecture on the finiteness of the number of isomorphism classes of source algebras for blocks of finite groups with a fixed defect group holds for these classes of groups. We also show how certain isomorphisms between subalgebras of block algebras of the symmetric groups can be lifted to block algebras of the Weyl groups of type B.

     

On the isomorphism problem for finite dimensional diagram algebras

somorphism problems for finite dimensional algebras can be computationally hard. When the algebras are monomial, it is shown, refining work of Shirayanagi, that there is a simple definitive combinatorial method. However, examples show that no such criterion is possible if the class of algebras is expanded to that of diagram algebras (in the sense of Fuller). The presentation of a diagram algebra is field independent but the existence of an isomorphism between two such is not. (Subject classes: 16G30, 16P10, 20M25).