ON THE EQUATIONAL THEORY OF PROJECTION LATTICES OF FINITE VON NEUMANN FACTORS

被引：10
|
作者：
Herrmann, Christian [1 ]
机构：
[1] Tech Univ Darmstadt, FB Math, D-64289 Darmstadt, Germany
来源：
JOURNAL OF SYMBOLIC LOGIC | 2010年 / 75卷 / 03期
关键词：
von Neumann algebra; projection lattice; continuous geometry; equational theory; MODULAR LATTICES; WORD PROBLEMS; ALGEBRA; LOGIC; RING;
D O I：
10.2178/jsl/1278682219
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
For a finite von Neumann algebra factor M. the projections form a modular ortholattice L(M). We show that the equational theory of L(M) coincides with that of some resp. all L(C(nxn)) and is decidable. In contrast, the uniform word problem for the variety generated by all L(C(nxn)) is shown to be undecidable.
引用
收藏
页码：1102 / 1110
页数：9
相关论文
共 43 条
  • [1] Isometries between projection lattices of von Neumann algebras
    Mori, Michiya
    JOURNAL OF FUNCTIONAL ANALYSIS, 2019, 276 (11) : 3511 - 3528
  • [2] The equational theory of Kleene lattices
    Andreka, Hajnal
    Mikulas, Szabolcs
    Nemeti, Istvan
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (52) : 7099 - 7108
  • [3] Finite von Neumann algebra factors with property Γ
    Christensen, E
    JOURNAL OF FUNCTIONAL ANALYSIS, 2001, 186 (02) : 366 - 380
  • [4] The equational theory of the weak Bruhat order on finite symmetric groups
    Santocanale, Luigi
    Wehrung, Friedrich
    JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2018, 20 (08) : 1959 - 2003
  • [5] On locally finite varieties with undecidable equational theory
    Jackson, M
    ALGEBRA UNIVERSALIS, 2002, 47 (01) : 1 - 6
  • [6] Quantum groups with projection on von Neumann algebra level
    Kasprzak, Pawel
    Soltan, Piotr M.
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2015, 427 (01) : 289 - 306
  • [7] Complexity of equational theory of relational algebras with standard projection elements
    Mikulas, Szabolcs
    Sain, Ildiko
    Simon, Andras
    SYNTHESE, 2015, 192 (07) : 2159 - 2182
  • [8] Complexity of equational theory of relational algebras with standard projection elements
    Szabolcs Mikulás
    Ildikó Sain
    András Simon
    Synthese, 2015, 192 : 2159 - 2182
  • [9] ON SIMILARITY DEGREES OF FINITE VON NEUMANN ALGEBRAS
    Wu, Jinsong
    Wu, Wenming
    Wang, Liguang
    TAIWANESE JOURNAL OF MATHEMATICS, 2012, 16 (06): : 2275 - 2287
  • [10] On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices
    Herrmann, Christian
    ALGEBRA UNIVERSALIS, 2022, 83 (01)
12345