伪自由积逻辑的自同构群
The automorphism group of falsum-free product logic
摘要:
关于n-1生成元上的自由MV-代数的自同构群,有一些是已知的,许多是未知的。在本文中,我们表明,这个群体出现的稳定1的所有自同构的更大的群的自由cancellative箍在n个生成元。这两个群在同一个空间上有对偶作用,即(n-1)维立方体。较大的群具有更丰富的动力学,代价是失去了McNaughton同胚的两个关键特征:有理点的扩张子的保持和勒贝格测度的保持。我们在这里提出一些基本结果,一些例子,和一些问题。
英文摘要:
A few things are known, and many are unknown, on the automorphism group of the free MV-algebra over n-1 generators. In this paper we show that this group appears as the stabilizer of 1 in the larger group of all automorphisms of the free cancellative hoop over n generators. Both groups have a dual action on the same space, namely the (n-1)-dimensional cube. The larger group has a richer dynamics, at the expense of loosing the two key features of the McNaughton homeomorphisms: preservation of denominators of rational points, and preservation of the Lebesgue measure. We present here some basic results, some examples, and some problems.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。