We study mathematical models of the structure of nilpotent subsemigroups of the semigroup PTD B n ( ) of partial contracting transformations of a Boolean, the semigroup TD B n ( ) of full contracting transformations of a Boolean, and the inverse semigroup ISD B n ( ) of contracting transformations of a Boolean. We propose a convenient graphical representation of the semigroups considered. For each of these semigroups, the uniqueness of its maximal nilpotent subsemigroup is proved. For PTD B n ( ) and TD B n ( ) , the capacity of a maximal nilpotent subsemigroup is calculated. For ISD B n ( ) , we construct estimates for the capacity of a maximal nilpotent subsemigroup and calculate this capacity for small n. For all indicated semigroups, we describe the structure of nilelements and maximal nilpotent subsemigroups of nilpotency degree k and determine the number of elements and subsemigroups for some special cases.
Main NotionsLet S be a semigroup with zero element 0. We call S nilpotent if there exists a number k such that S k = { } 0 . The minimal number k is called the nilpotency degree of the semigroup S. The set of all nilpotent subsemigroups of S is partially ordered by inclusion, and the maximal elements of this set are called the maximal nilpotent subsemigroups of S [1,2].In addition to general nilpotent subsemigroups, nilpotent subsemigroups with fixed nilpotency degree are also considered. The set of these subsemigroups is also partially ordered, and, hence, one can consider the maximal nilpotent subsemigroups of nilpotency degree k. For what follows, we need the propositions [3] presented below.Proposition 1. Let S be a finite semigroup. Then the following assertions are equivalent:(1) S is nilpotent;(2) every element a S ∈ nilpotent;(3) the unique idempotent of S is the zero element.Note that Proposition 1 is not always satisfied in the case of an infinite semigroup. For example, consider the semigroup T = ( , ) n m { n, m N ∈ , 0 < n < m} ∪ 0 { } with multiplication