Free Skew Boolean Intersection Algebras and Set Partitions

被引:0
|
作者
Kudryavtseva, Ganna [1 ,2 ,3 ]
机构
[1] Univ Ljubljana, Fac Civil & Geodet Engn, Jamova Cesta 2, Ljubljana 1000, Slovenia
[2] Inst Math, Phys & Mech, Jadranska Ulica 19, Ljubljana 1000, Slovenia
[3] Jozef Stefan Inst, Jamova Cesta 39, Ljubljana 1000, Slovenia
关键词
Skew Boolean intersection algebra; Set partition; Containment order; Normal form; Free algebra; Partition tree; Cantorian tree; NONCOMMUTATIVE STONE DUALITY; LATTICES;
D O I
10.1007/s11083-016-9414-z
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We show that atoms of the n-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of . Furthermore, under the canonical inclusion into the k-generated free algebra, where kaen, an atom of the n-generated free algebra decomposes into an orthogonal join of atoms of the k-generated free algebra in an agreement with the containment order on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the 'partition analogue' of the Cantor tree whose boundary is the 'partition variant' of the Cantor set.
引用
收藏
页码:1 / 22
页数:22
相关论文
共 50 条