自由幂等幺半群

自由幂等幺半群是幺半群满足身份的和由一组元素生成。如果这样一个幺半群的生成集是有限的，那么自由幂等幺半群本身也是有限的。中的元素数幺半群取决于发电机组的大小和发电机组的尺寸唯一地确定一个自由幂等幺半群。关于零字母，自由幂等元幺半群有一个元素（恒等式）。有一个字母的自由幂等单半群有两个元素.它有两个字母，有七个元素：一般来说上的自由幂等幺半群字母是1、2、7、160、332381、。..（OEIS）A005345号).这些是由解析表达式给出的

哪里是一个二项式系数.产品可以进行分析，得出总和

根据多对数 就其索引和这个超然的牧师 关于它的第二个论点。