×
丹尼尔·蒙迪奇

通过De Concini-Procesi定理绘制Bratteli图。 （英语） Zbl 1486.46066号

Commun公司。康斯坦普。数学。 23，第7号，文章ID 2050073，58 p.（2021）.
摘要：AF代数（\mathfrak{A}）被称为\（AF\ell\）代数如果其投影的Murray-von-Neumann阶是晶格。文献中存在的许多（如果不是大多数）有趣的AF代数类是AF代数。我们构造了一个算法，该算法在输入AF（ell）代数（mathfrak{a}）的Elliott半群的有限表示（通过生成器和关系）时，生成（mathbrak{a{）的Bratteli图。我们将这个结果推广到当（mathfrak{A}）具有可判定单词问题的无限表示时，即递归群表示的经典理论意义上的情况。应用于一大类AF代数，包括文献中明确描述了Bratteli图的几乎所有AF代数。我们主要算法的核心是组合多面体版本的De Concini-Procesi定理，该定理用于消除复曲面簇中的不确定性点。

引用于1文件

MSC公司：

46层35 （C^*）-代数的分类
05年6月 MV代数
20层06 有序阿贝尔群，Riesz群，有序线性空间
08A50号 单词问题（代数结构方面）
2016年11月 数字理论算法；复杂性
19年49月 \其他环的（K_0\）
20英尺10英寸 单词问题、其他决策问题、与逻辑和自动机的联系（群论方面）
2005年5月20日 自由半群，生成器和关系，单词问题
46升80 \（K）理论和算子代数（包括循环理论）
47升40 极限代数，\（C^*\）-代数的子代数
65年第68季度 算法和问题复杂性分析

关键词：

AF代数;Bratteli图;Elliott分类;Elliott局部半群;单纯群;Murray-von Neumann阶;AF代数;按生成器和关系表示;格罗森迪克\（K_0\）-组;De Concini-Procesi消元定理;去角化;单词问题;MV代数;Schauder基础
PDF格式BibTeX公司 XML格式引用
\textit{D.Mundici}，Commun（社区）。康斯坦普。数学。23，第7号，文章ID 2050073，58 p.（2021；Zbl 1486.46066）
全文： 内政部

参考文献：

[1] Adámek，J.和Rosicky，J.，《本地呈现和可访问类别》，第189卷（剑桥大学出版社，1994年）·Zbl 0795.18007号
[2] 带两点对偶的Behncke，H.，Leptin，H.（C{}^ast）-代数，J.Funct。分析10（1972）330-335·Zbl 0235.46089号
[3] Blackadar，B.，没有非平凡投影的简单C*-代数，Proc。阿默尔。数学。Soc.78（1980）504-508·Zbl 0393.46046号
[4] B.Blackadar，算子代数的K-理论，第1版。（施普林格·弗拉格，柏林，1986年）。MSRI出版物，第5卷，第2版。（剑桥大学出版社，1998年）·兹比尔0597.46072
[5] Boca，F.，与Farey镶嵌相关的AF代数，Can。《数学杂志》60（2008）975-1000·Zbl 1158.46039号
[6] Bratteli，O.，有限维C*-代数的归纳极限，Trans。阿默尔。数学。Soc.171（1972）195-234·Zbl 0264.46057号
[7] Busaniche，M.和Mundici，D.，《鲁滨逊几何在Łukasiewicz逻辑中的一致性》，Ann.Pure Appl。Logic147（2007）1-22·Zbl 1125.03016号
[8] A.L.Cauchy，《公牛报》。巴黎哲学学会，（3）3（1816）133-135。在数学习题中复制。（1826）114-116，以及《机动车辆》（1887）146-148。
[9] Chang，C.C.，多值逻辑的代数分析，Trans。阿默尔。数学。Soc.88（1958）467-490·Zbl 0084.00704号
[10] Chang，C.C.，Łukasiewicz公理完备性的新证明，Trans。阿默尔。数学。Soc.93（1959）74-80·兹比尔0093.01104
[11] Cignoli，R.、D’Ottaviano，I.M.L.和Mundici，D.，《多值推理的代数基础》，第7卷（Kluwer，Dordrecht，2000）·Zbl 0937.06009
[12] Cignoli，R.，Elliott，G.A.和Mundici，D.，从Murray-von-Neumann阶重建（C^\ast）-代数，Adv.Math.101（1993）166-179·Zbl 0823.46053号
[13] Davidson，K.R.，《C*代数示例》，第6卷（美国数学学会，普罗维登斯，RI，1996）·Zbl 0958.46029号
[14] Davis，M.、Sigal，R.和Weyuker，E.J.，《计算性、复杂性和语言：理论计算机科学基础》，第二版。（学术出版社，Harcourt，Brace&Company，圣地亚哥，1994）。
[15] De Concini，C.和Procesi，C.，完全对称变种。二、 交集理论，摘自《代数群及相关主题》，霍塔·R（Hotta，R.）主编（荷兰阿姆斯特丹，1985年），第481-513页·Zbl 0596.14041号
[16] Dixmier，J.，Sur les C*-algèbres，公牛。Soc.数学。France88（1960）95-112·Zbl 0124.32403号
[17] Dixmier，J.，关于Glimm，J.Funct考虑的一些C*-代数。分析1（1967）182-203·Zbl 0152.33003号
[18] Effros，E.G.，《维数和（C^\ast）代数》，第46卷（美国数学学会，普罗维登斯，RI，1981）。
[19] Elliott，G.A.，关于全序群和（K_0），Lect。注释数学734（1979）1-49·Zbl 0418.06010号
[20] Elliott，G.A.，《关于半单有限维代数序列的归纳极限的分类》，J.Algebra38（1976）29-44·Zbl 0323.46063号
[21] Ewald，G.，组合凸性与代数几何，第168卷（Springer，Berlin，1996）·兹比尔0869.52001
[22] Goodearl，K.R.，带插值的部分有序阿贝尔群，第20卷（美国数学学会，普罗维登斯，RI，1986）·Zbl 0589.06008号
[23] W.R.Hamilton，《关于统一之根新体系的备忘录》，Philos。Mag.12（1856）446。
[24] McNaughton，R.，关于无限值句子逻辑的一个定理，J.符号逻辑16（1951）1-13·Zbl 0043.00901号
[25] Mundici，D.，《ukasiewicz句子演算中AF（C^\ast）-代数的解释》，J.Funct。分析65（1986）15-63·Zbl 0597.46059号
[26] Mundici，D.，Farey恒星细分，超简单群，和AF C*-代数的（K_0），高级数学68（1988）23-39·兹伯利0678.06008
[27] Mundici，D.，三值逻辑的C*-代数，收录于Proc。1988年逻辑讨论会，（阿姆斯特丹北霍兰德，1989年），第61-77页·Zbl 0694.03017号
[28] Mundici，D.，带哥德尔不完全同构问题的简单Bratteli图，Trans。阿默尔。数学。Soc.356（2004）1937-1955·Zbl 1042.46033号
[29] Mundici，D.，识别Farey-Stern-Brocot AF代数，Mem。Renato Caccioppoli，Rendiconti Lincei-Mat.Appl.20（2009）327-338·Zbl 1185.46042号
[30] Mundici，D.，《高等Łukasiewicz微积分和MV代数》，第35卷（柏林施普林格出版社，2011年）·Zbl 1235.03002号
[31] Mundici，D.，《Elliott幺半群中的单词问题》，《高级数学》335（2018）343-371·Zbl 1404.46061号
[32] Mundici，D.和Panti，G.，在Elliott的局部半群中扩展加法，J.Funct。分析117（1993）461-471·Zbl 0799.46077号
[33] Mundici，D.和Panti，G.，《无限值逻辑中的可判定和不可判定素数理论》，《纯粹应用》。Logic108（2001）269-278·Zbl 1130.03019号
[34] 尼古拉耶夫，I.V.，《非交换几何：函数方法》，第66卷（德格鲁伊特，柏林，2017年）·Zbl 1388.14001号
[35] Oda，T.，《凸体与代数几何》（Springer，Berlin，1988）·Zbl 0628.52002号
[36] Pimsner，M.和Voiculescu，D.，《将无理旋转代数嵌入AF-代数》，J.Operat。Theory4（1980）201-210·Zbl 0525.46031号
[37] Rourke，C.P.和Sanderson，B.J.，《分段线性拓扑导论》（Springer，Berlin，1972）·兹比尔0254.57010
[38] Semadeni，Z.，Banach连续函数空间中的Schauder基，第918卷（Springer，Berlin，1982）·Zbl 0478.46014号
[39] J.R.Shoenfield，《数学逻辑》，最初由（Addison-Wesley，Reading，MA，1967）出版，再版（CRC出版社，Boca Raton，Fl，2018）·Zbl 0155.01102号
[40] Stallings，J.R.，《多面体拓扑讲座》（塔塔基础研究所，孟买，1967年）·Zbl 0182.26203号
[41] 图灵，A.M.，《关于可计算实数及其在Entscheidungsproblem中的应用》，Proc。伦敦。数学。Soc.（2）42（1937）230-265。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。