命题102.假定R1和R2是在上的冯·诺伊曼代数使得,并且满足施列德性质.如果R1和R2是真正无限的,那么在中存在一个稠矢量集,导致是贝尔关联态.
证明.参见[Halvorson and Clifton,2000].
注释103.如果在上的冯·诺伊曼代数的一个网满足属性B和非平凡性,那么命题102的假说适合于代数和,只要和是强类空分离的.
注释:对AQFT中局域代数独立性在1990年之前的成果的综合评论参看[Summers,1990].对于最近成果,参看[Summers,1997;Florig and Summers(弗洛里希和萨默斯),1997;Redei(瑞德),1998;Halvorson and Clifto