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

共 50 条

[31] STATES ON PROJECTION LOGICS OF VON-NEUMANN-ALGEBRAS
HAMHALTER, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (10) : 1889 - 1892
[32] Complexity of equational theory of relational algebras with standard projection elements
Szabolcs Mikulás
Ildikó Sain
András Simon
Synthese, 2015, 192 : 2159 - 2182
[33] Complexity of equational theory of relational algebras with standard projection elements
Mikulas, Szabolcs
Sain, Ildiko
Simon, Andras
SYNTHESE, 2015, 192 (07) : 2159 - 2182
[34] von Neumann Algebras and Ergodic Theory
Sunder, V. S.
PERSPECTIVES IN MATHEMATICAL SCIENCES II: PURE MATHEMATICS, 2009, 8 : 199 - 208
[35] On the dimension theory of von Neumann algebras
Sherman, David
MATHEMATICA SCANDINAVICA, 2007, 101 (01) : 123 - 147
[36] Perturbation theory of von Neumann entropy
Chen Xiao-Yu
CHINESE PHYSICS B, 2010, 19 (04)
[37] Perturbation theory of von Neumann entropy
陈小余
Chinese Physics B, 2010, (04) : 64 - 70
[38] Von neumann algebraic Hp theory
Blecher, David P.
Labuschagne, Louis E.
FUNCTION SPACES, 2007, 435 : 89 - +
[39] VON NEUMANN, GODEL AND COMPLEXITY THEORY
Urquhart, Alasdair
BULLETIN OF SYMBOLIC LOGIC, 2010, 16 (04) : 516 - 530
[40] INDEX THEORY IN VON NEUMANN ALGEBRAS
OLSEN, CL
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 47 (294) : R3 - 71

← 1 2 3 4 5 →