A subset U of a semigroup S is a generating set for S if every element of S may be written as a finite product of elements of U. The rank of a finite semigroup S is the size of a minimal generating set of S, and the nilpotent rank of S is the size of a minimal generating set of S consisting of nilpotents in S. A partition of a q-element subset of the set Xn = {1,2,..., n} is said to be of type τ if the sizes of its classes form the partition τ of the positive integer q ≤ n. A non-trivial partition τ of q consists of k < q elements. For a non-trivial partition τ of q < n, the semigroup S(τ), generated by all the transformations with kernels of type τ, is nilpotent-generated. We prove that if τ is a non-trivial partition of q < n, then the rank and the nilpotent rank of S(τ) are both equal to the number of partitions Xn of type τ.
展开▼
