arXiv++ Combinatorics

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 $\{1,2,\dots, n\}$. Furthermore, under the canonical inclusion into the $k$-generated free algebra, where $k\geq n$, 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 relation 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.

We prove that the minimal cardinality of the semitransitive subsemigroup in the singular part $\IS_n\setminus §_n$ of the symmetric inverse semigroup $\IS_n$ is $2n-p+1$, where $p$ is the greatest proper divisor of $n$, and classify all semitransitive subsemigroups of this minimal cardinality.

We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.

It is proved that the automorphism group of a semigroup being an inflation of its proper subsemigroup decomposes into a semidirect product of two groups one of which is a direct sum of full symmetric groups.