Subsemigroup, ideal and congruence growth of free semigroups

Abstract

The growth of cofinite subsemigroups of free semigroups is investigated. Lower and upper bounds for the sequence are given and it is shown to have superexponential growth of strict type n n for finite free rank greater than 1. Ideal growth is shown to be exponential with strict type 2 n and congruence growth is shown to be at least exponential. In addition we consider the case when the index is fixed and rank increasing, proving that for subsemigroups and ideals this sequence fits a polynomial of degree the index, whereas for congruences this fits an exponential equation of base the index. We use these results to describe an algorithm for computing values of these sequences and give a table of results for low rank and index.