There are 132 069 776 transformation semigroups on 4 points…
…and here they are. If it is not clear why this is so exciting, then this little note may be helpful.
So slightly more than 132 million – up to conjugation, of course. The grand total is 3 161 965 550, but under normal circumstances we are only interested in the conjugacy class representatives.
How do we know? We enumerated all subsemigroups of computationally. It is actually not that difficult, standard search algorithms with some semigroupspecific optimizations, making the search parallel by using Reesquotients (see draft paper for details). Well, once it’s done, it always looks easy, but it actually took a while (2 years) to finish the calculation. It was a hobby project in the beginning, which became and ‘official’ research project, by the sheer amount of invested time.
The above archive is a bit of a surprise package, the file size is 1.2GB and you need 9.2GB of disk space when uncompressed. The semigroups are classified according to their size and the numbers of , , and classes. For instance, suppose you are looking for degree 4 transformation semigroups of size 42 with 6 classes ,13 classes and 3 classes. Then you need to find the file
T4_S042_L006_R013_D003.gens
then you can fire up GAP and the Semigroups
package and use the ReadGenerators
function to load the semigroups, or rather the generating sets for them. Nice and easy, isn’t it? Well, we are planning to make this a bit more accessible with some web interface magic, hopefully in the near future.
For the above example, the file contains only one semigroup, stored in exactly 42 bytes. 🙂
If the required file doesn’t exist, then there is no degree 4 transformation semigroup with the specified numbers. Or we made a mistake at some point.
Speaking of that, we believe that the archive has no errors and omissions. The enumeration uses simple graphsearch algorithms, so the correctness is easy to see. However, with realworld actual physical computers, you can never know. Please let us know if something looks suspicious.
Also lease let us know if you find this database helpful/interesting/exciting/useful.
Here is a talk summarizing the project (in case you can put up with my heavy accent, the audio quality gets better once the mic is switched on).

July 16, 2014 at 7:16 amRefined classification of the degree 4 transformation semigroups  Computational Semigroup Theory

August 12, 2014 at 2:24 amOur Mathematical Universe by Max Tegmark  Mathreader's Blog