×

关于强单位MV-代数与(l)-群的等价性。 (英语) Zbl 1348.06009号

摘要:《美国数学学会学报》93、74–80(1959;Zbl 0093.01104号)]C.C.Chang公司证明了任何全序MV-代数(A)都与具有强单位(A)的全序(l)-群的段(A)同构。这是通过将\(A\)的可数副本相互叠加(由整数索引)的简单直观想法实现的。此外,他还证明了自\(G\cong\Gamma(G,u)^\ast\)以来,任何这样的群\(G\)都可以从其分段中恢复,从而建立了类别的等价性。收录于《功能分析杂志》65,15-63(1986;Zbl 0597.46059号)]D.蒙迪奇将这个结果推广到具有强单位的任意MV-代数和(l)-群。他将\(A\)的表示作为链\(A_i\)的次直积,并观察到\(A\hookrightarrow\prod_i G_i)其中\(G_i=A_i^\ast\)。然后他让\(A^\ast\)是\(prod_i G_i)中\(A\)生成的\(l\)-子组。他证明了这一观点的有效性,并通过他的概念以一种相当精细的方式建立了类别的等价性好的序列及其复杂的算法。在这个注释中,除了Chang的结果外,本质上是自包含的,我们直接利用乘积-群的算术给出了这个等价性的简单证明,完全避免了好序列的概念。

MSC公司:

05年6月 MV-代数
03G25号 与逻辑相关的其他代数
06英尺15英寸 有序的组
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Caramello,O.和A.C.Russo,《MV-代数和具有强单位的格序阿贝尔群之间的Morita-等价性》,《代数杂志》2014年。doi:10.1016/j.jalgebra.2014.08.080021-8693/·Zbl 1320.06011号
[2] Chang C.C.:Lukasiewicz公理完备性的新证明。《美国数学学会学报》88,467-490(1959)·doi:10.1090/S0002-9947-1958-0094302-9
[3] Cignoli,R.、I.D’Ottaviano和D.Mundici,《多值推理的代数基础》,《逻辑趋势》第7卷,Kluwer学术出版社,2000年·Zbl 0937.06009
[4] Mundici D.:Lukasiewicz句子演算中AF C*-代数的解释。功能分析杂志65,15-63(1986)·Zbl 0597.46059号 ·doi:10.1016/0022-1236(86)90015-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。