Random ubiquitous transformation semigroups
arXiv:1705.05709 · doi:10.1007/s00233-018-09992-7
Abstract
A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set is a generating set such that no proper subset of is also a generating set. A semigroup is ubiquitous if every irredundant generating set of is of the same cardinality. We are motivated by a naïve algorithm to find a small generating set for a semigroup, which in practice often outputs a smallest generating set. We give a sufficient condition for a transformation semigroup to be ubiquitous and show that a transformation semigroup generated by randomly chosen transformations asymptoticly satisfies the sufficient condition. Finally, we show that under this condition the output of the previously mentioned naïve algorithm is irredundant.
18 pages